Re: [Logica-l] Prêmio CAPES de tese 2022
Parabéns à Evelyn, Daniel e Ole! Cezar Em 2022-08-12 08:53, Joao Marcos escreveu: https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318 O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn Erickson, orientada por Daniel Durante (e co-orientada por Ole Hjortland). A tese pode ser encontrada aqui: Rational theory revision in logic: beyond abductivism https://repositorio.ufrn.br/handle/123456789/44906?mode=full Parabéns aos envolvidos! Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bec13384c99170bbf53ef39802571d6b%40cfh.ufsc.br.
Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera
Caro Walter, cara Juliana, parabéns pela excelente e importante iniciativa! Já estou acompanhando e recomendando às minhas turmas. Abraços, Cezar Em 2022-04-28 23:15, Walter Carnielli escreveu: Colegas: Gostaríamos de compartilhar com vocês que nosso curso "Pensamento Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): https://www.coursera.org/learn/pensamento-critico-argumentacao?aid=true está nos Highlights da plataforma Coursera, até na frente de cursos em língua. inglesa: Trending University Partner Courses 1) Pensamento Crítico, Lógica e Argumentação from Universidade Estadual de Campinas 2)The Structured Query Language (SQL) from University of Colorado Boulder 3)Training and Practicing in English Public Speaking from Shanghai Jiao Tong University O Jornal da Unicamp também noticiou o curso: "Curso livre e gratuito aborda lógica, argumentação e pensamento crítico" - Jornal da Unicamp, 13/04/2022 https://www.unicamp.br/unicamp/noticias/2022/04/13/curso-livre-e-gratuito-aborda-logica-argumentacao-e-pensamento-critico Na semana de 25 de abril já contávamos com 4.460 "Total Learners" e 85.455 visualizações recentes. Para nós é uma grata surpresa saber que tanta gente se interessa pelo pensamento crítico, por um pouco de lógica e pela argumentação! Abs, Walter & Juliana -- Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/fddb4acf88879629acefb31c6de7bbd3%40cfh.ufsc.br.
Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC
Parabéns, Ciro! Um grande abraço, Cezar Em 2022-04-08 13:35, jean-yves beziau escreveu: https://sites.google.com/view/unilog-2022/7th-congress/logic-prizes JYB, Founder and Organizer of the World Logic Prizes Contest -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCMOBSJE5i5z%3DctWiMo6umtfviCj54Q--bzSs7ODR32NQ%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCMOBSJE5i5z%3DctWiMo6umtfviCj54Q--bzSs7ODR32NQ%40mail.gmail.com?utm_medium=email_source=footer -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6ece577a7c28a91ab70de70b7c406b37%40cfh.ufsc.br.
Re: [Logica-l] Anais do EBL 2019
Obrigado pela notícia, Petrucio! Parabéns e agradecimentos aos editores pelo ótimo trabalho. Abraços, Cezar Em 2022-01-24 16:32, Petrucio Viana escreveu: Boa tarde! É com grande prazer e orgulho que anunciamos a publicação do volume especial do Journal of Applied Logics - IfCoLog Journal, Volume 9-1: Volume 9, Number 1: January 2022 contendo os anais do XIX EBL (EBL 2019). Para quem se interessar, o volume está completamente acessível em http://www.collegepublications.co.uk/ifcolog/?00053 O volume foi editado por Itala M. Loffredo D'Ottaviano, Ricardo Silvestre, Leandro Suguitani e Petrucio Viana (eu), durante esse difícil período que estamos (ainda) atravessando. Queremos tornar pública a nossa gratidão aos autores e pareceristas que se prontificaram a trabalhar duro nas submissões. A maioria dos artigos passou por um longo processo de leituras, modificações, revisões, novas leituras, novas modificações, novas revisões, etc. numa labuta incansável pela busca de um certo patamar de qualidade que, acreditamos, conseguimos ao final. Dada a abrangência de escopo e a época em que iniciamos os trabalhos de edição, foi bastante custoso conseguir pareceristas e nós gostaríamos de externar a nossa mais profunda gratidão aos especialistas que se prontificaram a dedicar seu tempo pandêmico a esse trabalho. Enfim, que venha o próximo EBL http://ebl2021.ufba.br e que os futuros editores encontrem tanto prazer em trabalhar nos anais do XX EBL (EBL 2022) quanto nós encontramos em trabalhar nesse volume que agora tornamos público. Petrucio Viana IME-UFF em nome dos editores -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVTtG5-cnKTF5s3o63oGsFBBTQFkqUXB0XxB8KefdKB5pQ%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVTtG5-cnKTF5s3o63oGsFBBTQFkqUXB0XxB8KefdKB5pQ%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3a5c394f6800f70bf267f58927d270a6%40cfh.ufsc.br.
Re: [Logica-l] o resultado das somas
Parabéns, Elaine! Que coisa bacana! Abraços, Cezar Em 2022-01-04 14:45, Joao Marcos escreveu: https://ufrn.br/imprensa/reportagens-e-saberes/54449/o-resultado-das-somas Com meus parabéns à professora Elaine Pimentel, que soube *fazer a diferença* neste tempo que passou aqui conosco. JM -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhVzFHEzcHx%2Bxq7T5xHkd5Geuy-mw_JiohQW4VmEuxYbw%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhVzFHEzcHx%2Bxq7T5xHkd5Geuy-mw_JiohQW4VmEuxYbw%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/91cc82f0cc5a88b7f8453584fcebe331%40cfh.ufsc.br.
Re: [Logica-l] Andrea Loparic
Que triste notícia... Andréa foi minha orientadora de mestrado, um exemplo para todos nós. Conversamos bastante recentemente, terminando mais um artigo em colaboração... ela vai fazer muita falta mesmo. Cezar Em 2021-10-25 10:49, Gisele Secco escreveu: Pessoal Acabo de ser informada do falecimento de nossa querida Andrea. Manifesto meus mais carinhosos sentimentos à sua memória e a seus familiares e amigos. Um abraço, G. -- Gisele Dalva Secco UFSM/Brasil +55 55 3220 8440 -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnpx5Y4Szck7VMK4Zc72%2BNvXHfNM%3DmAzufTki%3DJSj9_xLg%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnpx5Y4Szck7VMK4Zc72%2BNvXHfNM%3DmAzufTki%3DJSj9_xLg%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5fb45645bd6fe09a52fec540158267f3%40cfh.ufsc.br.
[Logica-l] nova diretoria da SBL
Caras e caros colegas, inicia-se hoje o mandato da nova diretoria da SBL, sob a presidência de nossa colega Elaine Pimentel. Desejamos à nova diretoria uma feliz e excelente gestão, e desde já asseguramos nossa total colaboração para qualquer coisa que se faça necessária. Cordialmente, a Diretoria 2019-2021 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/40fbf65e72ddd5b5f8796848c0ac5ccc%40cfh.ufsc.br.
Re: [Logica-l] Re: Validade dedutiva
Caro Anderson, em meu curso de Lógica I eu apresento uma concepção semelhante à que vocẽ mencionou sobre validade de um argumento. Um argumento é válido se sua conclusão é consequência lógica as premissas -- ou seja, se não é possível que as premissas sejam verdadeiras e a conclusão falsa. Mas apresento isso como uma concepção informal, pré-teórica do que seja validade -- pois é preciso explicitar o que se entende aí, por exemplo, por 'possível'. Do meu ponto de vista, os exemplos de argumento que vocẽ apresentou, isto é: (1) Héspero é o planeta Vênus. Logo, Fósforo é o planeta Vênus. (2) Todos os homens são mortais. Logo, Sócrates é mortal. não são válidos. Onde está escrito que Héspero é Fósforo, ou que Sócrates é humano? Na direção do que diz Walter, também considero um argumento como (2) um entimema -- todo mundo sabe que Sócrates é humano, não precisa explicitar etc. Para um exemplo parecido: (3) João tem duas maçãs e duas laranjas. Logo, João tem quatro frutas. Também não seria válido: estamos pressupondo que maçãs e laranjas são frutas, e também que 2 + 2 = 4! Você poderia dizer que a conclusão é uma consequência biológico-aritmética da premissa ... mas acho estranho dizer que é consequência lógica. Se você diz: "peço que aceite que não há situação possível em que Sócrates não seja um homem". Veja, na minha opinião você já está pressupondo por trás disso uma concepção metafísica segundo a qual humanos são essencialmente humanos. Para um exemplo desse tipo, veja este, que vem da Idade Média: (4) Sócrates é uma pedra. Logo, Sócrates é um asno. A conclusão seria consequência necessária (metafísica?) da premissa, pois entende-se que é impossível que Sócrates seja uma pedra, por ser essencialmente humano. Um exemplo de que do impossível tudo se segue. Seria um caso de consequência necessária, como seus exemplos (1) e (2) Mas eu não diria que a conclusão de (4) é consequência lógica -- consequência dedutiva -- da premissa. Além disso tudo, acho que temos a questão também de saber de que lógica estamos falando. Um argumento pode ser dedutivamente válido na lógica L1 e não em L2. Para finalizar, a questão do que seja consequência lógica é interessantíssima. O que digo às minhas turmas é que temos diferentes teorias (lógicas) que tentam precisar essa noção informal do "sempre que as premissas são verdadeiras, a conclusão também é" (ou variações disso). Abraços, Cezar Em 2021-04-25 16:42, Anderson Nakano escreveu: Caro Bruno, caro Walter. Muito obrigado pelas respostas! Não sei muito bem o que o Bruno quer dizer com a "perspectiva clássico-formal". De todo modo, em um curso de Lógica I, é costumeiro começar com as noções de lógica tratadas de maneira informal. Nessa parte, explicamos o que é um argumento, o que é uma prova (informal), o que é um contraexemplo, uma premissa, etc. Os livros introdutórios de lógica variam na profundidade destinada a essa parte informal (o do Mortari, p. ex., destina cerca de 50 páginas; o Hurley, em "A concise introduction to logic", demora 200 páginas para chegar ao tratamento formal, o que torna o título do livro um tanto quanto hilário). Nesta parte informal, definimos o que é um argumento, o que é validade dedutiva, etc. Um argumento é definido tipicamente como um conjunto de (pelo menos duas) sentenças, em que uma é chamada de conclusão do argumento e as outras são as premissas do argumento. Adiciona-se a essa definição a intenção de que as premissas forneçam alguma justificação para a verdade da conclusão. Muito bem. Vamos considerar o argumento composto de uma premissa e de uma conclusão: "Todos os homens são mortais. Logo, Sócrates é mortal". A questão é: este argumento ele é dedutivamente válido ou não? Bom, imagino que isso dependa da definição de validade dedutiva. Walter diz que a premissa "Sócrates é homem" deve ser acrescida para tornar o argumento [dedutivamente] válido. Infiro disso que ele não considera o argumento tal como ele se apresenta acima como _já_ dedutivamente válido. A questão é: por que ele não o seria? Por isso, insisto na minha pergunta inicial: qual é a definição de validade dedutiva que vocês usam? Bruno, em relação à analiticidade, não sei como você a entende, mas no meu uso (mas, veja, também, o uso que Kripke faz do termo em N) do termo um enunciado analítico é tanto necessário quanto _a priori_. De modo que tua sentença "o argumento é analítico mas não é alvo de conhecimento a priori" me soa como uma contradição em termos. Abraços, Anderson Em domingo, 25 de abril de 2021 às 16:14:42 UTC-3, carniell escreveu: Caro Anderson c/c tod@s Já discutimos um pouco me privado, mas com a discussão está atraindo a atenção (pelo menos do meu ex-orientando Bruno Ramos, com su análises. cuidadosas) talvez seja melhor tomar a pública a discussão: Sim, Anderson, você tem razão quando diz que pode-se tratar o caso como um entimema (ou argumento com premissas ocultas). Contudo, acho que
[Logica-l] [OFF] Nota da SBL sobre a troca de presidentes na Capes
Caras e caros colegas, nota da SBL sobre a troca de presidentes na Capes: http://sbl.org.br/pmwiki.php/Main/Notes#NotaCAPES2021 Abraços, Cezar -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/992b1fe20da88ec4b5368a781e51a340%40cfh.ufsc.br.
Re: [Logica-l] [OFF] Nota da SBF sobre a troca de presidentes na Capes
Caras e caros colegas, acabo de ver (com preocupação) a notícia e as mensagens. A SBL está redigindo uma nota também; assim que estiver pronta vamos publicá-la. Abraços, Cezar Em 2021-04-16 16:57, Ruy Jose Guerra Barretto de Queiroz escreveu: Prezados e Prezadas, Na esteira do que levantou Marcelo, e do que propuseram Walter, Itala e Chico, acrescento meu apoio. Também acho que a SBL deveria emitir uma nota oficial. Um abraço, Ruy Em sex., 16 de abr. de 2021 às 15:37, Francisco Miraglia Neto escreveu: Car@s, Também apoio a proposta do Walter, endossada pela Ítala. Abraços, Chico Miraglia On 16 Apr 2021, at 15:16, Walter Carnielli wrote: A SBL certamente deveria se posicionar também, como fez (muito bem) em várias ocasiões. Abs, Walter Em sex., 16 de abr. de 2021 às 14:35, Joao Marcos escreveu: http://www.sbfisica.org.br/v1/home/index.php/pt/acontece/1305-nota-em-defesa-da-capes JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhJtPvLOxn84-V00NnG30LeuxhsrCVxLkcGFSmM81SzvA%40mail.gmail.com. -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfFoeBYwu0FFVosBQmzKCY9HQvPmY2Xf1RcDOK18p6HmA%40mail.gmail.com. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7ABF1EFB-E02B-4A0B-8021-FBD853BDFFBE%40ime.usp.br. -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7QhO8tcGT7uw5FCuzyFgxjzotmCu%2BoVRs8Msez_3jWx_mA%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7QhO8tcGT7uw5FCuzyFgxjzotmCu%2BoVRs8Msez_3jWx_mA%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e29f67d18307dc9bd9687e24a3d7f9cc%40cfh.ufsc.br.
Re: [Logica-l] Texto Kotas & da Costa: Some problems on logical matrices and valorizations
Olá, eu tenho o livro... mas em papel. Se não for encontrado de outro jeito, posso tentar escanear ao menos o artigo. Abraços, Cezar Em 2021-03-17 16:19, Julio Stern escreveu: Se conseguirem o texto, por favor enviem-me uma copia. Grato ---Julio Stern - FROM: Itala Maria Loffredo D'Ottaviano SENT: Wednesday, March 17, 2021 4:12 PM TO: Abilio Rodrigues Filho CC: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA SUBJECT: Re: [Logica-l] Texto Kotas & da Costa: Some problems on logical matrices and valorizations Abílio: Penso que tenho o livro, mas está no CLE. Itals Em qua., 17 de mar. de 2021 às 12:41, Abilio Rodrigues Filho escreveu: Prezadxs, Espero que todxs estejam bem. Alguém teria disponível em pdf o artigo abaixo (ou o volume completo)? Kotas, I. and N. C. A. da Costa, 'Some problems on logical matrices and valorizations', in Proceedings o f the Third Brazilian Conference on Mathematical Logic, edited by A. E. Arruda, N. C. A. da Costa and A. M. Sette, Soc. Brasileira de Logica, 1980, pp. 131-146. Abraços Abilio -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com [1]. -- Prof. Dr. Itala M. Loffredo D'Ottaviano Full Professor in Logic and the Foundations of Science Centre for Logic, Epistemology and the History of Science University of Campinas -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4pehacnVyGnwKPxfbWP6e2dV-g%2B6ndodDeV9EKH-7Bsg%40mail.gmail.com [2]. -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPZP284MB02167BA3A78A338710465A18B66A9%40CPZP284MB0216.BRAP284.PROD.OUTLOOK.COM [3]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com?utm_medium=emailutm_source=footer [2] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4pehacnVyGnwKPxfbWP6e2dV-g%2B6ndodDeV9EKH-7Bsg%40mail.gmail.com?utm_medium=emailutm_source=footer [3] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPZP284MB02167BA3A78A338710465A18B66A9%40CPZP284MB0216.BRAP284.PROD.OUTLOOK.COM?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bd8ccf7578574350eb533812425ee022%40cfh.ufsc.br.
Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação
Cara Itala, caras e caros colegas, obrigado por sua mensagem, e pela sugestão de contabilizar o apoio à chapa inscrita para a eleição da diretoria da SBL. Estamos organizando as coisas de modo que a Assembleia seja também transmitida por algum meio (Google Meet, Zoom, etc.). Não vejo problemas em registrar em ata -- e concordo que seria importante -- que, além dos votos dos fisicamente presentes e votos por correspondência, houve um número x de manifestações informais de apoio à chapa eleita por parte de participantes por videoconferência. Obrigado pelas gentis palavras sobre o trabalho da atual Diretoria! Abraços, Cezar Em 2021-03-04 11:31, Itala Maria Loffredo D'Ottaviano escreveu: Caras e Caros: Face ao desencadeamento do processo eleitoral, à necessidade estatutária do voto pelo correio e à dificuldade justificada do encaminhamento dos votos, penso que a atual Diretoria pode adotar medidas excepcionais e adaptativas. Poucos associados poderão enviar seus votos. Porém, o apoio à Chapa inscrita tem sido publicamente expresso. Sugiro que a atual Diretoria passe a computar, em paralelo, o apoio explicitado por nossas mensagens, como votos favoráveis à Chapa inscrita. No final do processo, criativamente, haverá uma forma de expressar o apoio da SBL à Diretoria eleita, indicando o número total de apoios recebidos. De minha parte, desde já, quero manifestar meu total apoio à Chapa candidata, além de meu apreço pessoal aos colegas que estão se dispondo a assumir a responsabilidade pela direção da Sociedade. Quero também agradecer aos colegas da Diretoria cujo mandato se finda, cumprimentando-os pelo excelente trabalho desenvolvido. Abraços, da Itala -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/263adae1677d93124e701b58507886ff%40cfh.ufsc.br.
[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"
Caras e caros colegas, parabéns ao João, Daniel, Jefferson e todos os demais envolvidos nessas fantásticas iniciativas! Que continuem mais ainda. Aproveito para lembrar que no site da SBL temos uma seção de "Material didático", que pode ser acessada aqui: http://sbl.org.br/pmwiki.php/Main/Ensino Seria ótimo se pudéssemos disponibilizar também lá os links para o trabalho de vocẽs. Abraços, fiquem bem, Cezar Em 2020-10-21 11:19, 'Durante' via LOGICA-L escreveu: Parabéns, João, Excelente iniciativa. A UFRN está mesmo na vanguarda. Parabéns!!! Aproveito sua mensagem e faço uma propagandinha aqui também. Eu, aqui na filosofia, também estou produzindo um material didático introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o ParaTodxs - Natal). Videoaulas: https://danieldurante.weebly.com/videoaulas_logica.html Livro: https://philpapers.org/go.pl?id=MAGPTN=MAGPTNv1 O foco são meus alunos de filosofia, muito pouco alfabetizados matematicamente. É lógica misturada com filosofia da lógica. Então, o curso será um pouco sonolento para muitos estudantes de outras áreas. E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. Mas tem funcionado para meus alunos. De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente grava assim mesmo! Devo acabar a introdução à lógica proposicional na próxima semana e farei algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. Só semântica. Sem sistemas de prova. Comentários, sugestões e principalmente correções, porque certamente há muitos deslizes, também são muito bem-vindos. Saudações, Daniel. Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos escreveu: * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Introdução Computacional à Lógica Matemática http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica Trata-se de uma _videopédia_ que aborda temas básicos ligados à Lógica Clássica (e um pouco de Lógica Intuicionista, também), com sabor levemente computacional, cobrindo (presentemente) os temas: - relações de consequência - sintaxe lógica proposicional e de primeira ordem - o formalismo da Dedução Natural - as estruturas de interpretação (clássicas) de primeira ordem Faço observar que o material foi criado para cobrir um curso introdutório (formal) correspondente a aproximadamente 30 horas-aula, e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30 verbetes, totalizando cerca de 10 horas de gravação cuidadosamente editada. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Este material foi construído ao longo de dois meses de trabalho intenso, nos quais contei principalmente com a ajuda de Vitor Greati e de Patrick Terrematte. Comentários e sugestões dos colegas que possam impactar eventuais futuras atualizações desta videopédia são sempre bem-vindos! Com votos de que possa haver algo aqui que venha a ser útil à nossa comunidade, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5ce648ac2814319e4e62942ac94d83f7%40cfh.ufsc.br.
[Logica-l] nota da Sociedade Brasileira de Lógica
Caras e caros colegas, Esta Diretoria da Sociedade Brasileira de Lógica tem realizado vários esforços, desde o seu primeiro mandato, no sentido de apoiar ações efetivas que visem aumentar a pluralidade, diversidade e a inclusão na comunidade lógica brasileira. Em absoluta coerência com essas ações, vimos por meio desta nota tornar público nosso repúdio a qualquer atitude preconceituosa, excludente, discriminatória, hipersexualizadora e/ou objetificante. Nossas atitudes, que, cremos, também sejam desta Sociedade, são pautadas no ideal da pluralidade de ideias e no respeito à diversidade de grupos, gêneros, etnias, e crenças. A Diretoria 17/09/2020 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c341022590da88259016a03a1fafe413%40cfh.ufsc.br.
Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"
Caras e caros colegas, apoio totalmente as colocações da Elaine, bem como as observações feitas por outras e outros colegas, e registro minha indignação com mais este episódio protagonizado pelo editor da newsletter em questão. Abraços, Cezar Em 2020-09-17 09:59, Elaine Pimentel escreveu: Prezados colegas, Confesso que pretendia simplesmente ignorar mais essa provocação idiota. Mas, refletindo um pouco, achei que seria bom colocar aqui uma opinião -- que não é só minha, diga-se de passagem. 1. Isso passa longe de ser apenas uma "estética questionável". Também já ouvi de um amigo uma vez que é apenas "um tipo diferente de humor" -- não há nada de humor e definitivamente não é um problema de estética. É ofensivo, repugnante e condenável. 2. Acho que chega de "passar pano" para esse tipo de atitude. Como boicotes individuais parecem não funcionar e criar polêmica só alimenta o ego do pavão, daqui para frente vou ajudar a divulgar também as pessoas coniventes com essas iniciativas. Por exemplo, colaborar com essa newsletter é ser conivente. Quem sabe assim a comunidade internacional como um todo começa a perceber que não há mais espaço para esse tipo de coisa? É realmente incrível! Com todo o trabalho e esforço que estamos fazendo para trazer a discussão sobre gênero para a pauta, temos que parar para discutir sobre "piadinhas" estilo 4a série... Se bem que é bem típico do momento que estamos vivendo aqui no Brasil :-/ A+, Elaine. On Thu, Sep 17, 2020 at 8:06 AM Joao Marcos wrote: Neil Barton (@CantorsCoffee) tweeted at 5:57 AM on Wed, Sep 16, 2020: Hey folks writing the paraconsistent newsletter: Given that we have something of a diversity problem in foundations of math, how about we don't use sexualised images of women as the cover for our newsletters? cf. https://t.co/OD16xkMzkn (https://twitter.com/CantorsCoffee/status/1306155120233676801?s=03) -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_qUXyzDVfaDrrW4PWzSvTbACkFe%3DmaP27Fe-jMECNXw%40mail.gmail.com [1]. -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ [2] Lattes: http://lattes.cnpq.br/3298246411086415 -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BX5%2B6KCLtgMO7FOD2RisT3g0nNd3zCfS7SyDSrADSzSug%40mail.gmail.com [3]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_qUXyzDVfaDrrW4PWzSvTbACkFe%3DmaP27Fe-jMECNXw%40mail.gmail.com?utm_medium=emailutm_source=footer [2] http://sites.google.com/site/elainepimentel/ [3] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BX5%2B6KCLtgMO7FOD2RisT3g0nNd3zCfS7SyDSrADSzSug%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0ea1f6bc9c15e190168f6cf7dc81c8d5%40cfh.ufsc.br.
[Spam] Re: [Logica-l] Lógicas Brasileiras - o site
Caras Gisele, Valeria, Elaine, Nastassja, obrigado pela notícia, que nos deixa muito felizes. Parabéns pela excelente iniciativa de vocês, que tem todo o apoio da SBL. Abraços, Cezar P.S. Em tempo: o email da SBL é este aqui: cont...@sbl.org.br Em 2020-08-01 12:52, Gisele Secco escreveu: Estimados seres lógicos É com alegria e entusiasmo que Valeria, Elaine e eu - com o apoio de Nastassja - estamos colocando no ar o site do projeto Lógicas Brasileiras [1]. Tudo está em construção, em especial o site (que contém um blog [2]), mas resolvemos publiciza-los o quando antes para que, com sua colaboração, possamos abrir a roda e trazer mais gente e mais ideias para enriquecer a iniciativa e fazer das práticas lógicas realizadas em nosso país práticas mais inclusivas - e não só para seres que se identificam como mulheres. Convidamos a todas e todos a navegar pelo site, ler as postagens do blog, os materiais didáticos [3] que disponbilizamos inicialmente, e a nos seguirem nossos perfis nas redes sociais, Instagram [4] e Twitter [5]. Mas, sobretudo, convidamos vocês a 1. Considerar colaborar com o projeto, entrando em contato pelo e-mail logicasbrasilei...@gmail.com para nos contar como gostaria de faze-lo, seja com um post sobre alguma experiência relevante à temática do blog (como discente ou docente), seja com uma memória de alguma professora ou colega da área de lógica, com uma resenha de algum livro escrito por uma lógica ou filósofa da lógica ou matemática com ligações com a lógica etc..); 2. As mulheres da lista (cis, trans, todas e todes), gostaríamos de convidar especialmente para, se assim desejarem, responder às perguntas que inserimos neste post [6] - queremos iniciar uma pesquisa qualitativa e, futuramente fazer uma pesquisa quantitativa sobre a presença de mulheres na lógica em nossas universidades. Muito obrigada desde já pelas sugestões e críticas construtivas. Um abraço cordial, e um bom final de semana, G. -- Gisele Dalva Secco UFSM/Brasil +55 55 3220 8440 -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnraXXFGJrkt4aZb0aQRYERivH%2BNPB3FiMmo4r9ncJRuzA%40mail.gmail.com [7]. Links: -- [1] https://logicasbrasileiras.wordpress.com [2] https://logicasbrasileiras.wordpress.com/blog/ [3] https://logicasbrasileiras.wordpress.com/materias-de-ensino-2/ [4] https://www.instagram.com/logicasbrasileiras/ [5] https://twitter.com/logicasbrasile1 [6] https://logicasbrasileiras.wordpress.com/2020/08/01/logicas-brasileiras-passos-iniciais/ [7] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnraXXFGJrkt4aZb0aQRYERivH%2BNPB3FiMmo4r9ncJRuzA%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/72d6bcc86a0f645d9b038ebc2acfb9c1%40cfh.ufsc.br.
[Spam] Re: [Logica-l] on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio
Meu querido João, obrigado compartilhar a notícia. É uma bela homenagem à Carolina; parabéns aos editores e autores pela realização. Um grande e carinhoso abraço, Cezar Em 2020-07-15 16:30, Joao Marcos escreveu: O belo editorial do volume da Synthese dedicado à memória de Carolina Blasio está finalmente online: https://doi.org/10.1007/s11229-020-02778-x https://rdcu.be/b5DtB ### Estes são os artigos que compõem o *Varieties of Entailment*. Todos estão livremente disponíveis online. 1. Sergey Drobyshevich, “Tarskian consequence relations bilaterally: some familiar notions” https://doi.org/10.1007/s11229-019-02267-w https://rdcu.be/b5Duw 2. Yaroslav Shramko and Heinrich Wansing, “The nature of entailment: an informational approach” https://doi.org/10.1007/s11229-019-02474-5 https://rdcu.be/b5Duy 3. Eduardo Barrio, Federico Pailos, and Damian Szmuc, “(Meta)Inferential Levels of Entailment beyond the Tarskian Paradigm” https://doi.org/10.1007/s11229-019-02411-6 https://rdcu.be/b5Duz 4. Rohan French and David Ripley, “Two Traditions in Abstract Valuational Model Theory” https://doi.org/10.1007/s11229-019-02447-8 https://rdcu.be/b5DuA 5. Emmanuel Chemla and Paul Egré, “From Many-Valued Consequence to Many-Valued Connectives” https://doi.org/10.1007/s11229-019-02344-0 https://rdcu.be/b5DuD 6. Arnon Avron, “Quasi-canonical Systems and Their Semantics” https://doi.org/10.1007/s11229-018-02045-0 https://rdcu.be/b5DuF 7. Sergio Marcelino and Carlos Caleiro, “Axiomatizing non-deterministic many-valued generalized consequence relations” https://doi.org/10.1007/s11229-019-02142-8 https://rdcu.be/b5DuH 8. Elaine Pimentel, Luiz Carlos Pereira, and Valeria de Paiva, “An Ecumenical Notion of Entailment” https://doi.org/10.1007/s11229-019-02226-5 https://rdcu.be/b5DuJ 9. Peter Verdée, “Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic” https://doi.org/10.1007/s11229-020-02638-8 https://rdcu.be/b5Dn7 10. Abílio Rodrigues, Walter Carnielli, and Juliana Bueno, “Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn Logic” https://doi.org/10.1007/s11229-020-02571-w https://rdcu.be/b5Dob 11. Carolina Blasio, João Marcos, and Carlos Caleiro, “What is a logical theory? On theories containing assertions and denials” https://doi.org/10.1007/s11229-019-02183-z https://rdcu.be/b5Doe 12. José Zalabardo, “Logic without Metaphysics” https://doi.org/10.1007/s11229-019-02124-w https://rdcu.be/b5Dog 13. Elisángela Ramírez-Cámara and Luis Estrada-González “Knot is not that nasty (but it is hardier than tonk)” https://doi.org/10.1007/s11229-019-02498-x https://rdcu.be/b5Duo 14. Ekaterina Kubyshkina, “Conservative translations of four-valued logics in modal logic” https://doi.org/10.1007/s11229-019-02139-3 https://rdcu.be/b5Dup 15. Konrad Rudnicki and Piotr Łukowski, “Psychophysiological approach to the Liar sentence. Jean Buridan's virtual entailment principle put to test” https://doi.org/10.1007/s11229-019-02107-x https://rdcu.be/b5Dur 16. Marco Ruffino, “Contingent A Priori Truths and Performatives" (ainda não disponível online) ### Este volume foi preparado cuidadosamente por Heinrich Wansing e Marco Ruffino ao longo dos últimos dois anos. É uma homenagem pequena mas muito bonita a um ser humano extraordinário, que deixou um grande buraco no mundo, há três anos. Joao Marcos -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5bc0bffa200fc524aeda268083448447%40cfh.ufsc.br.
Re: [Logica-l] "Manuscrito" em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019
Excelente notícia, Walter! Parabéns ao Ruffino e a todo o CLE! Abraços, Cezar Em 2020-06-14 16:38, Walter Alexandre Carnielli escreveu: Colegas: Para comunicar uma boa notícia: A revista "Manuscrito" do Centro de Lógica da Unicamp está em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019: https://www.scimagojr.com/journalrank.php?category=1211=1200=Latin%20America Parabéns ao Marco Rufino, editor de Manuscrito, ao Diretor do CLE Marcelo, Coniglio e aos funcionários dedicados do CLE! W. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/21c599369f26e90b4db0b755a93b9ec3%40cfh.ufsc.br.
Re: [Logica-l] SLALM no Rio de Janeiro em 2025
Caro Hugo, caras e caros colegas, muito obrigado pela mensagem. Peço desculpas caso não tenha ficado claro, mas não há de modo algum objeções à realização do EBL 2023 em São Paulo, ou EBL/SLALM em 2025 no Rio. Como eu disse, as sugestões são muito bem-vindas e espero que o entusiasmo que você mencionou realmente resulte em uma proposta a ser discutida em Salvador. De fato, o último (e único) EBL realizado na cidade de São Paulo foi em 1988; e no Rio, em 1984. Já faz mesmo bastante tempo! Grande abraço, Cezar Em 2020-02-18 07:36, Hugo Luiz Mariano escreveu: Caros colegas e em especial ao prof Cezar Mortari, Gostaria de explicar um pouco o contexto de algumas conversas informais que originaram o tema desta sequencia de emails e, desde já, pedir desculpas por qualquer eventual mal-entendido. Em conversa informal ocorrida durante algum cofffe-break no SLALM em dezembro passado, entre quase todos os "brasileiros" presentes no evento: Juliana, Walter, Jean-Yves e eu (a Elaine Pimentel, que fechou o evento como invited speaker,não estava neste momento), conversamos (informalmente) sobre a possibilidade de, no futuro, trazer novamente o SLALM para o Brasil, possíveis datas (2022 ja estaria acertado ocorrer na Costa Rica), etc. Neste momento comentei que, também em conversa informal, agora ocorrida na espera do voo de João Pessoa a São Paulo, esta ocorrida em maio de 2019, ao final do EBL, os "paulistas" presentes: Renata Wassermann, Julio Stern e eu,matamos o tempo divagando sobre a possibilidade de uma candidatura para trazer o EBL para a cidade de São Paulo em 2023 (alguem mencionou que isto tinha ocorrido uma vez, ha uns 30 anos). E ficamos de conversar mais seriamente sobre isto no futuro, agregando outros colegas da USP, principalmente da Faculdade de Filosofia, para vermos se o entusiasmos de momento se cristalizaria em uma proposta adequada a ser submetida ao crivo comparativo dos colegas em sessão da SBL, em Salvador 2021. Abraços, Hugo Em 17/02/2020, C. Mortari escreveu: Caras e caros colegas, espero que tenha tido todos ótimas férias. Vamos a mais um ano! É uma ótima notícia saber que a proposta, endossada pela SBL, de realizar o SLALM 2025 no Brasil, em particular no Rio de Janeiro, foi aprovada. Quanto às propostas de realizar os EBLs de 2023 (São Paulo) e 2025 (Rio, junto com o SLALM), certamente são bem-vindas. Sabendo da dificuldade de organizar eventos científicos no Brasil, ainda mais nos tempos que correm, quaisquer grupos que se proponham a realizar os eventos são merecedores de todo o nosso apoio. Devo apenas lembrar, no entanto, que a decisão sobre data e local dos Encontros Brasileiros de Lógica é de competência da Assembleia da SBL. Agradecemos e registramos as propostas (que, tenho certeza, serão muito bem acolhidas pelos associados) para incluí-las na pauta da próxima Assembleia, a ser realizada durante o EBL de Salvador, em 2021. Abraços, Cezar - Cezar A. Mortari presidente Sociedade Brasileira de Lógica (SBL) Em 2020-02-16 22:04, jean-yves beziau escreveu: No derradeiro congresso latino-americano de lógica matemática (SLALM) que aconteceu em dezembro passado na cidade de Concepción no Chile http://slalmxviii.udec.cl/ fiz a proposta de organizar uma próxima edição do SLALM na cidade do Rio de Janeiro. A proposta foi recebida positivamente pelo comitê organizador do SLALM. A próxima edição do SLALM é prevista na Costa Rica em 2022, a ideia sendo de fazer alternação entre América do Sul e América Central. O que foi combinado então foi de organizar o SLALM no Rio de Janeiro em 2025, será a vigésima edição desta série de eventos. A derradeira vez que o SLALM foi organizado no Brasil foi em 2008 em Paraty, junto com o EBL http://www.cle.unicamp.br/cle30-ebl-slalm/ Foi um evento muito importante com a presença em particular do Raymond Smullyan e do Jaakko Hintitkka https://sites.google.com/view/hintikka/1929-2015 A ideia é de organizar também esta vez o SLALM junto com o EBL. Falei a respeito disso em Concepción com o Walter, a Juliana e o Hugo. O Hugo me falou que ele planejava organizar o EBL em São Paulo em 2023 depois da próxima edição prevista em Salvador em 2021. A edição do EBL no Rio seria então a seguir, em 2025 (a única vez que o EBL foi organizado na cidade do Rio de Janeiro foi em 1984). JYB __ -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com?utm_medium=email_source=footer -- Você está rec
Re: [Logica-l] SLALM no Rio de Janeiro em 2025
Caras e caros colegas, espero que tenha tido todos ótimas férias. Vamos a mais um ano! É uma ótima notícia saber que a proposta, endossada pela SBL, de realizar o SLALM 2025 no Brasil, em particular no Rio de Janeiro, foi aprovada. Quanto às propostas de realizar os EBLs de 2023 (São Paulo) e 2025 (Rio, junto com o SLALM), certamente são bem-vindas. Sabendo da dificuldade de organizar eventos científicos no Brasil, ainda mais nos tempos que correm, quaisquer grupos que se proponham a realizar os eventos são merecedores de todo o nosso apoio. Devo apenas lembrar, no entanto, que a decisão sobre data e local dos Encontros Brasileiros de Lógica é de competência da Assembleia da SBL. Agradecemos e registramos as propostas (que, tenho certeza, serão muito bem acolhidas pelos associados) para incluí-las na pauta da próxima Assembleia, a ser realizada durante o EBL de Salvador, em 2021. Abraços, Cezar - Cezar A. Mortari presidente Sociedade Brasileira de Lógica (SBL) Em 2020-02-16 22:04, jean-yves beziau escreveu: No derradeiro congresso latino-americano de lógica matemática (SLALM) que aconteceu em dezembro passado na cidade de Concepción no Chile http://slalmxviii.udec.cl/ fiz a proposta de organizar uma próxima edição do SLALM na cidade do Rio de Janeiro. A proposta foi recebida positivamente pelo comitê organizador do SLALM. A próxima edição do SLALM é prevista na Costa Rica em 2022, a ideia sendo de fazer alternação entre América do Sul e América Central. O que foi combinado então foi de organizar o SLALM no Rio de Janeiro em 2025, será a vigésima edição desta série de eventos. A derradeira vez que o SLALM foi organizado no Brasil foi em 2008 em Paraty, junto com o EBL http://www.cle.unicamp.br/cle30-ebl-slalm/ Foi um evento muito importante com a presença em particular do Raymond Smullyan e do Jaakko Hintitkka https://sites.google.com/view/hintikka/1929-2015 A ideia é de organizar também esta vez o SLALM junto com o EBL. Falei a respeito disso em Concepción com o Walter, a Juliana e o Hugo. O Hugo me falou que ele planejava organizar o EBL em São Paulo em 2023 depois da próxima edição prevista em Salvador em 2021. A edição do EBL no Rio seria então a seguir, em 2025 (a única vez que o EBL foi organizado na cidade do Rio de Janeiro foi em 1984). JYB __ -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAhwtU4K3S5GUz8kOPiUKwMdDzLX-TcpVKO8LLjAHx_xA%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3a2623ff65ba6b874cf539d7210d1756%40cfh.ufsc.br.
Re: [Logica-l] CREATIVITY'2019 extensão do prazo - bolsas para estudantes - SBL
Olá, pessoal, o prazo para submissão à SBL de propostas de apoio à participação de estudantes em eventos foi de fato prorrogado até 6 de setembro. Contudo, caberá a quem organiza o evento contemplado administrar o auxílio recebido. Assim, estudantes interessados/as devem entrar em contato diretamente com a organização do evento para maiores detalhes. Encerrado o prazo para a submissão de proposta de apoio, procuraremos divulgar o mais rápido possível a relação de eventos contemplados. Cezar Em 2019-09-01 22:45, jean-yves beziau escreveu: O Cezar Mortari, presidente da SBL, tive a gentileza de extender de uma semana o prazo de bolsas de estudantes para apresentação de trabalhos no CREATIVITY'2019 https://sites.google.com/view/creativity2019/ JYB -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAvTatQ1smFtAUYsKJszb8OPV7yMVsc9Q7%3DS2N6ECzUNA%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAvTatQ1smFtAUYsKJszb8OPV7yMVsc9Q7%3DS2N6ECzUNA%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0923ed270b25f33df7e67cb6ab6fa7cb%40cfh.ufsc.br.
Re: [Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq
Prezado Mauricio, obrigado pela mensagem; já assinei, em nome da SBL, a petição em defesa do CNPq (e individualmente também). Quanto a outros procedimentos, você pode encontrar na página da SBL (http://sbl.org.br/pmwiki.php/Main/Notes) algumas manifestações que fizemos. Agradeço qualquer outra sugestão que você tiver sobre o que a SBL poderia ainda fazer. Abraços, Cezar Em 2019-08-14 08:01, Mauricio Ayala-Rincon escreveu: Caro Marcos e colegas, em primeiro lugar agradeço a Marcos por disseminar o abaixo-assinado em defesa do CNPq. É essencial assinarmos massivamente. Não se pode permitir o desmonte do CNPq: http://www.jornaldaciencia.org.br/sbpc-lanca-abaixo-assinado-em-defesa-do-cnpq/ Acho que estamos sendo distraídos/enrolados com elaboração, discussão e correção de um novo Qualis, que terá ao fim de contas utilidade nula para a comunidade de pesquisadores da área, sempre que os LN, IFES, CAPES e CNPq estão sem recursos suficientes para funcionar. A seguir, o que precisaremos avaliar/falsificar será a "inexistência de crise e miséria qualquer" nas nossas instituilções e as "glorias da educação e produção científica" nelas. Em segundo lugar, para a Presidência da SBL, vai a minha sugestão de que a SBL deveria aparecer alinhada à SBPC na atual conjunctura. Algo que profundamente me envergonha é o silêncio e ou extrema moderação de sociedades com as quais venho trabalhando como SBL, SBM e SBC. Extranho o silêncio dessas sociedades nesta atual crise da educação e ciência no Brasil. Possivelmente esse silêncio seja motivado por creencias de membros da nossa comunidade, não baseadas em fundamentos científicos, como a tal "inexistênicia do desmatamento", e a tal "inexistência da fome no país". Grande abraço, Mauricio. On 14/08/19 07:10, logica-l@dimap.ufrn.br wrote: [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq [1] -- Mauricio Ayala-Rincón Full Professor - Depts. C. Computação & Matemática Universidade de Brasília, Ed. EST/CIC Campus Universitário Darcy Ribeiro CEP 70.910-900 Brasília-DF, BRASIL www.mat.unb.br/~ayala [2] e-mail: ay...@unb.br -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e24040ef-b1b6-b5ab-f880-27a86791eb36%40unb.br [3]. Links: -- [1] mailbox:///Users/mauricioayalarincon/Library/Thunderbird/Profiles/kza0hvfe.default/Mail/pop3.unb.br/Inbox?number=4221562744#group_thread_0 [2] http://www.mat.unb.br/~ayala [3] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e24040ef-b1b6-b5ab-f880-27a86791eb36%40unb.br?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/70c9a7ed6a96b4238448f024c836e4de%40cfh.ufsc.br.
[Logica-l] nota de pesar
Caras e caros colegas, é com pesar que recebemos a notícia do falecimento, ocorrido na manhã de hoje em Natal, do professor Daniel Vanderveken. É uma grande perda para nós todos; Daniel foi autor de inúmeras e importantes contribuições para lógica e filosofia da linguagem, e seu relacionamento especial com o Brasil vem de longa data, tendo sido professor visitante em algumas de nossas universidades e atuado como orientador de vários de nós hoje membros da SBL. Em nome da Sociedade Brasileira de Lógica, externamos nossas condolências a seus familiares. A Diretoria Sociedade Brasileira de Lógica 15 de março de 2019 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/17f8d31c21b16d85730fd3b2b54b0d91%40cfh.ufsc.br.
Re: [Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti
Caro Evandro, cara Ítala, parabéns pela indicação! Vocês merecem. Grande abraço, Cezar Em 2018-10-17 09:56, Evandro L. Gomes escreveu: Caros/as colegas da lista de Lógica: Escrevo para comunicar que nosso livro "Para além das Columas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa" é finalista no Prêmio Jabuti 2018 no eixo Ensaio - Humanidades. José Veríssimo preparou uma resenha do livro que a Editora Unicamp publica em seu blog. Segue o link: https://blogeditoradaunicamp.com/2018/10/16/para-alem-das-colunas-de-hercules/ Pedimos que divulguem em suas redes de contatos, se puderem. Nosso livro é a Lógica no Jabuti este ano! Um abraço a todos, Evandro / Itala -- Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%40mail.gmail.com?utm_medium=email_source=footer -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8e2907ea2d62c1b7a84b50436051%40cfh.ufsc.br.
[Logica-l] EBL 2019 - call for papers
[call for papers – please post] The 19th Brazilian Logic Conference (EBL 2019) May 6-10, 2019, João Pessoa-PB, Brazil http://ebl2019.ci.ufpb.br/ --- Important Dates --- Submission Deadline: Jan 5, 2019 Acceptance Notification: Feb 4, 2019 Brazilian Logic Conference: May 6-10, 2019 Logic School: May 6-10, 2019 --- The 19th Brazilian Logic Conference --- The Brazilian Logic Conferences (EBL) is a traditional event of the Brazilian Logic Society (SBL). It has been occurring since 1979. Congregating logicians of different fields and with different backgrounds -- from undergraduate students to senior researchers -- the meeting is an important moment for the Brazilian and South-American logical community to join together and discuss recent developments of the field. The areas of Logic covered spread over Foundations and Philosophy of Science, Analytic Philosophy, Mathematics, Computer Science, Informatics, Linguistics and Artificial Intelligence. Previous editions of the EBL have attracted researchers from all over Latin America and elsewhere. In 2019, the EBL will be held at João Pessoa, capital of the state of Paraíba, a charming and beautiful town on the Brazilian north-east coast. --- Call for Papers --- The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. We cordially invite submissions of contributed papers on general topics of Logic, including, but not restricted to the following: Philosophical and Mathematical Logic and Applications; History and Philosophy of Logic; Non-classical Logic and Applications; Philosophy of Formal Sciences; Foundations of Computer Science, Physics and Mathematics; Logic Education (Logic Teaching). This edition of the EBL particularly welcomes abstracts on Logic Teaching so as to stimulate the development of methods and strategies of teaching and learning Logic. The presentation of contributed papers in the event must fit a slot of 20 minutes of exposition plus 10 minutes of questions and discussion. Abstracts should be written in Portuguese, Spanish or English with a maximum of 600 words and it must contain title, name, keywords, affiliation and essential bibliography. For more details, see https://ebl2019.ci.ufpb.br/blog/call-for-papers. Notification of acceptance will be released on Feb 4, 2019. At least one author of each accepted paper must register for presenting the paper at the meeting. Each given participant may co-author more than one paper, but will only be allowed to present a single talk. The Scientific Committee will consider the following items when selecting the papers: relevance and importance of the topic, originality and quality of work. - Call for Round Tables - The EBL 2019 is happy to host round table proposals with a duration of at most two hours. They may be divided as desired, with a maximum of 4 and a minimum of 3 participants per session. The description and the title for the session should be of a maximum of 1500 words containing an abstract for each exposition including title, name, keywords, affiliation and bibliography. Each session must have a coordinating chair assigned in the proposal. For more details on submissions of round table proposals, see https://ebl2019.ci.ufpb.br/blog/call-for-papers. --- Proceedings --- The EBL 2019 also aims to be a forum for presenting and discussing work in progress and therefore to provide feedback for authors on their preliminary research. Peer-reviewed papers will be published after the meeting, so that authors can incorporate the feedback received, in a book and/or a special issue of a journal with publishers of international recognition. Keynote speakers (already confirmed) Catarina Dutilh-Novaes (Vrije Universiteit Amsterdam) Edward Zalta (Stanford) Elaine Pimentel (UFRN) Frank Sautter (UFSM) Luis Soares Barbosa (Universidade do Minho) Mario Benevides (UFRJ) Mirna Dzamonja (University of East Anglia) Scientific Committee Alexandre Rademaker (IBM Research) Bruno Lopes Vieira (UFF) Carlos Olarte (UFRN) Ciro Russo (UFBA) Cláudia Nalon (UnB) Daniele Nantes Sobrinho (UnB) Edward Hermann Haeusler (PUC-Rio) Gisele Secco (UFSM) Ítala Maria Loffredo D'Ottaviano (Unicamp) João Marcos de Almeida (UFRN) Jorge Petrúcio Viana (UFF) Leandro Oliva Suguitani (UFBA) Luiz Carlos Pereira (PUC-Rio/UERJ) Marcelo Finger (USP) Maurício Ayala-Rincón (UnB) Nastassja Pugliese (USP) Renata Wassermann (USP) Newton C. A. da Costa (UFSC) Valeria de Paiva (Nuance Communications) Walter Carnielli (Unicamp) Organizing Committee Ricardo Sousa Silvestre (UFCG, co-chair) Ana Thereza Maier
[Logica-l] nota de pesar
Caras e caros colegas, é com pesar que recebemos a notícia do falecimento, ocorrido na madrugada de hoje, do professor Arley Ramos Moreno. Em nome da Sociedade Brasileira de Lógica, externamos nossas condolências a seus familiares. Arley foi um dos principais intérpretes da obra de Wittgenstein no Brasil. Estudou e trabalhou na França por 10 anos com G.-G. Granger e, antes disso, chegou a trabalhar com Newton da Costa no final dos anos de 1960. Além de professor da UNICAMP, atuou também nos primórdios da Faculdade de Filosofia da UNESP-Assis, em Aix-en-Provence e na PUC-SP. Seu peculiar senso de humor e sua retidão serão lembrados por todos os que o conheceram. A Diretoria -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/17b510931a744fc951579b143dd0b2af%40cfh.ufsc.br.
[Logica-l] Fwd: [Principia] New Issue Published
Readers: Principia: an international journal of epistemology has just published its latest issue at https://periodicos.ufsc.br/index.php/principia. This is a special issue on Logic: Consistency, Contradiction, and Consequence. It was organized by our colleagues, the associate editors Abílio Rodrigues (UFMG, Brazil) and Federico Matías Pailos (UBA/CONICET, Argentina). We invite you to review the Table of Contents here and then visit our web site to review articles and items of interest. Thanks for the continuing interest in our work, Ivan Ferreira da Cunha (Executive editor of Principia) Department of Philosophy Federal University of Santa Catarina ivan...@ufsc.br Principia: an international journal of epistemology Vol 22, No 1 (2018) Table of Contents https://periodicos.ufsc.br/index.php/principia/issue/view/2693 Editorial Information Informação Editorial (00-00) Preface Foreword: Consistency, Contradiction, and Consequence (01-05) Abílio Rodrigues, Federico Matías Pailos Articles On Existence, Inconsistency, and Indispensability (07-34) Henrique Antunes Situations and the Liar Paradoxes (35-57) Guilherme Araújo Cardoso Dialetheists’ Lies About the Liar (59-85) Jonas R. B. Arenhart, Ederson S. Melo Models & Proofs: LFIs Without a Canonical Interpretations (87-112) Eduardo Alejandro Barrio Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency (113-138) Thomas Macaulay Ferguson The Dissolution of Bar-Hillel-Carnap Paradox by Semantic Information Theory Based on a Paraconsistent Logic (139-151) Samir Gorsky Remarks on the Epistemic Interpretation of Paraconsistency Logic (153-170) Nicolás Lo Guercio, Damian Szmuc Inconsistency, Paraconsistency and ω-Inconsistency (171-188) Bruno Da Ré Against a Metaphysical Understanding of Rejection (189-202) Mariela Rubin, Ariel Roffé --- Principia: an international journal of epistemology https://periodicos.ufsc.br/index.php/principia/index e-mail: princi...@contato.ufsc.br -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/e0ff64da04ba57878354ce1f2df6d15d%40cfh.ufsc.br.
Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática
Caro Bruno, em nome da SBL, gostaria de deixar registrados nossos agradecimentos e parabéns a você e aos demais organizadores (Samuel, Petrúcio, Christina e Hugo) pelo excelente trabalho de organização dessa conferência de lógica satélite do ICM. Agradecemos também a todos os demais participantes do evento, esperando que futuras edições do ICM possam sempre ter eventos de lógica. Um grande abraço, Cezar Em 2018-08-13 22:46, Bruno Lopes escreveu: Prezados, Encerrou-se no sábado a conferência de lógica satélite do ICM, um parceria da SBL com a DLMPST. Tivemos auditório cheio durante todo o evento. Gostaria de agradecer a todos que colaboraram, principalmente os membros da nossa comunidade brasileira que participaram, principalmente aqueles que ajudaram na organização (Samuel Gomes, Petrucio Viana, Christina Brech, Hugo Nóbrega), foram chairs de sessões (Samuel Gomes, Petrucio Viana, Walter Carnielli, Edward Hermann Haeusler, Luiz Carlos Pereira, Hugo Nóbrega, Christina Brech), apresentaram trabalhos (João Marcos, Thiago Silva, Giorgio Venturi) e aos keynote speakers (Valeria de Paiva, Chico Miraglia). Infelizmente nem todos estavam presentes na hora desta foto (a lista limita o tamanho da mensagem, não dá pra incluir várias), mas em breve divulgaremos fotos de todos os momentos. Abraços, Bruno. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a64397976f49e57f77a921313c3657d4%40cfh.ufsc.br.
[Logica-l] NOTA DE PESAR - Giovanni Queiroz
Caras e caros colegas, recebemos com muita tristeza a notícia do falecimento, ocorrido ontem, de nosso colega Giovanni da Silva Queiroz, da UFPB. Em nome da Sociedade Brasileira de Lógica, externamos nossas condolências a seus familiares. Quem o conheceu lembrará sempre de um profissional dedicado, competente, e um grande amigo. A Diretoria Sociedade Brasileira de Lógica 20 de abril de 2018 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/94fcfdac21190d3aa5f3e166b4602848%40cfh.ufsc.br.
Re: [Logica-l] 12 anos de LOGICA-L
Meu caro João, parabéns a você por ter iniciado a lista! e a todos que têm contribuído para ela. Abraços, Cezar Em 2018-03-24 10:37, Joao Marcos escreveu: Parabéns à LOGICA-L por seus doze anos de existência! Que muitos mais anos de saudáveis discussões venham por aí! Joao Marcos -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1f69daba44f0ed0becf209828c8b2472%40cfh.ufsc.br.
