Dear spirited logicians and friends of logic: The Colloquium Logicae, traditional conferences held at the Centre for Logic, Epistemology and the History of Science at Unicamp now linked to the “Logic Supergroup https://logic.uconn.edu/supergroup/ is glad to announce its
NEXT TALK: "Generalized topological semantics for weak negations and applications to the analysis of Gödel's incompleteness theorem" by David Fuenmayor, PhD candidate, Freie Universität Berlin, Germany Visiting Researcher, Centre for Logic, Epistemology and the History of Science, Unicamp, Brazil Wednesday, December 2nd, 2020, 16:00 São Paulo/Brasília time ********************************************** Permanent link to participate: https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae ************************************************ "Generalized topological semantics for weak negations and applications to the analysis of Gödel's incompleteness theorem" Abstract: This talk is divided into two parts. First, I introduce a sort of generalized topological semantics for paraconsistent and paracomplete (e.g. intuitionistic) logics by drawing upon early works on topological Boolean algebras (cf. Kuratowski, Zarycki, McKinsey & Tarski). In the second part, I present some preliminary joint work with Walter Carnielli [1] which formalizes the 'last mile' of the proof of Gödel's incompleteness theorem using some weak paraconsistent Logics of Formal Inconsistency (a special case of the logics discussed in the first part). All presented results have been obtained with help of the proof assistant Isabelle/HOL. The idea is to motivate a (hopefully lively) discussion on the use of automated reasoning with non-classical logics in the formalization and (re)interpretation of influential meta-mathematical results. [1] W. Carnielli, D. Fuenmayor (2020). Gödel blooming: the incompleteness theorems from a paraconsistent perspective. Preprint. Vol. 19 No. 4 (2020) CLE e-prints (https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/243) ====================================================== For past and future talks, please visit https://seminarioscle.wordpress.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/CAOrCsLdOYN262z77RTNwpT%2B3DjD6oC2wZ66ohZea6v_ws2pppw%40mail.gmail.com.
