Carxs colegas e estudantes: Convidamos a toda(o)s para nos acompanhar nos seminários virtuais do CLE "Colloquium Logicae @CLE-Unicamp" , que faremos via Conferência Web, uma plataforma nacional gratuita (aparentemente) bem melhor que Zoom, SKype ou Google Meet.
O "Colloquium Logicae @CLE-Unicamp" agora faz parte do “Logic Supergroup” https://logic.uconn.edu/supergroup/ Abraços, Walter ========================================= Colloquium Logicae @CLE-Unicamp This is a virtual session of the Colloquium Logicae, traditional conferences held the Centre for Logic, Epistemology and the History of Science at Unicamp, now linked to the “Logic Supergroup” organized by the University of Connecticut Logic Group: https://logic.uconn.edu/supergroup/ More information at https://seminarioscle.wordpress.com/ =========================================== Next talks: "On some recent criticisms to the logics of evidence and truth " Abilio Rodrigues Department of Philosophy UFMG Belo Horizonte, Brazil Wednesday, May 20th, 2020, 14:00 São Paulo/Brasília time (2:00 PM, GMT -3 hours) Abstract: The aim of this talk is to clarify some misunderstandings and to reply to some criticisms that have been made on logics of evidence and truth (\textit{LET}s) and the epistemic approach to paraconsistency. Some new developments of \textit{LET}s will also be presented and discussed. ================================= "Remarks on a nice theorem of Monsieur Glivenko" Itala M. L. Loffredo D' Ottaviano Department of Philosophy and Centre for Logic, Epistemology and the History of Science University of Campinas –UNICAMP at Campinas, SP, Brazil Wednesday, June 17th, 2020, 14:00 São Paulo/Brasília time (2:00 PM, GMT -3 hours) Abstract: In this talk I will discuss some less known historical and conceptual points behind the famous double-translation theorem of Valery Ivanovich Glivenko. ================================================== "Logics of Formal Inconsistency and a solution to the problem of replacement" Marcelo E. Coniglio Department of Philosophy and Centre for Logic, Epistemology and the History of Science University of Campinas –UNICAMP at Campinas, SP, Brazil Wednesday, July 15th, 2020, 14:00 São Paulo/Brasília time (2:00 PM, GMT -3 hours) Abstract: One of the most desired properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are not algebraizable neither in the standard sense nor in the sense of Blok-Pigozzi The same negative result holds for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). In this talk I shall expound a solution for this problem, showing how LFIs can satisfy the replacement property. The weakest LFI satisfying replacement presented is called RmbC, and I intend to clarify the role of the BALFI (Boolean algebras with LFI operators) and neighborhood. semantics for RmbC ========================================= Please enter at https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae and register under your name as "anonymous" -- 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/CAOrCsLf5JwrUR6T4ai2imo3Ytimxxyhh0C1Gp%2B%3DXzKiExf2PwQ%40mail.gmail.com.
