Caro Walter e demais redistas: Eu acho que nomes importam. Paraconsistent Logic eh o nome dado por que de direito -- o Newton -- que foi quem inventou a brincadeira. Nao gosto do novo nome Europeu para esta invencao Tupiniquim, como se fosse necessario legitimar esta pesquisa no mundo civilizado. Colonialismo cultural a parte, a noticia eh boa. Tudo de bom, ---Julio Stern
________________________________ From: Walter Carnielli <[email protected]> Sent: Thursday, April 22, 2021 2:07 PM To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <[email protected]> Subject: [Logica-l] "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" (H, Wansing) Colegas: Uma nota interessante para aqueles que se dedicam a investigar a questão da paraconsistência: Heinrich Wansing (Bochum) acaba de ser ter seu projeto "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" com uma generosa 'grant' do European Research Council. O projeto se dedica a investigar a fundo as logicass paraconsistentess, que ele chama de "inconsistency-tolerant logics'' ou ainda "contradictory logics". Nomes à parte, vejo isto como uma ótima evidência de que este tipo de racionalidade seja reconhecido, não só na teoria como na prática: ---------------------------------------------------------- "European Research Council Advanced Grant: investigating non-trivial inconsistent logical systems. ERC Advanced Grant Inconsistent logics The project meets the challenge of a rigorous break with the Aristotelian tradition. The 20th century saw the development of numerous systems of non-classical logic, including inconsistency-tolerant logics, all of which are typically subsystems or linguistic extensions of classical logic. However, logical systems exist that are radically different from classical logic in that they are not only inconsistency-tolerant, but non-trivial and contradictory. These logics are in striking contrast to the logical orthodoxy since Aristotle, who called the principle of non-contradiction the most certain of all principles. Non-trivial contradictory logics not only allow inconsistencies in theories, but contain provable contradictions. Professor Heinrich Wansing’s ERC project Contradictory Logics: A Radical Challenge to Logical Orthodoxy meets the challenge of this rigorous break with the Aristotelian tradition by systematically investigating and developing contradictory logics. When already the underlying logic of a scientific theory exhibits provable contradictions, this requires a paradigm shift in our understanding of respectable logical systems and acceptable scientific theories. The goal of the project is to gain a deep understanding of certain non-trivial inconsistent logical systems. " =============================================================== Abraços um pouco menos pessimistas, Walter -- =========================== 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: [email protected] 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLer2ZaofveYGFp-asoDiDS-ijaLjGd-_B%2BnrUU-_R4Rog%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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPYP284MB14317252F768A4851521132AB6459%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM.
