Colloquium Logicae Web Conference – CLE/Unicamp

Link permanente para participar dos seminários /

The link to the seminars will be available only by email.

Contact: edson.vinber92[at]gmail.com

Colloquium Logicae at CLE is now partner of the “Logic Supergroup”

The logic seminars connected to the course HF912 have been cancelled due to the interruption of activities at Unicamp in face of the Coronavirus from March 13th, with the final date to be evaluated.

Aa all scheduled in-person meetings have been  cancelled, we are inaugurating 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”. The website is:
https://logic.uconn.edu/supergroup/


Next scheduled  talks via “Conferência Web”:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae

Please enter as  “anonymous” unless you have an RNP account

09/06/2021, 16:00 – Sofia Meirelles

Como ser pluralista sobre lógica

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Resumo

Perspectivas pluralistas sobre lógica são, de modo preliminar, embasadas na ideia de que existe mais de uma lógica verdadeira, correta, ou adequada. Isso significa que há mais de uma forma de dizer quais argumentos são logicamente válidos e quais princípios lógicos se seguem. Na apresentação, farei uma introdução ao presente cenário desse debate. O primeiro passo será motivar o pluralismo lógico ao oferecer seu contexto e quais contribuições pode trazer. Depois, buscar por uma definição de pluralismo lógico, a qual requer uma revisão das noções de consequência lógica e validade. Dependendo de como se faz isso, veremos que há muitas maneiras nas quais podemos ser pluralistas sobre lógica. Por fim, pretendo expor alguns problemas dessa abordagem.

02/06/2021, 16:00 – Ekaterina Kubyshkina

Towards a PAL for ignorance

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Abstract

Public Announcement Logic (PAL) is the modal logic study of knowledge, belief and public communication used to reason about an agent’s epistemic states on the basis of trustworthy and truthful announcements. Recently, I have introduced a study of ignorance conceived as a notion independent from knowledge and belief. This logical framework can be extended to the setting of PAL, in order to reason about a possible change of an agent’s ignorance triggered by a public announcement. In my presentation, I will discuss the problems one faces in adapting the standard techniques for PAL, and the properties one may want for an adequate PAL system for ignorance representation.

26/05/2021, 16:00 – Walter Carnielli

Inflorescências Gödelianas: os Teoremas da Incompletude do ponto de vista paraconsistente.

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Resumo

Os teoremas da incompletude de guia valem dentro do paradigma paraconsistente? Mostramos que a resposta só é positiva se acrescentarmos postulados convenientes. Surpreendentemente, esses postulados envolvem os próprios predicados de consistência das Lógicas da Inconsistência Formal. O que é isso mostra é que somente aceitando uma noção de consistência mais abstrata é que podemos então recuperar os teoremas de Gödel. (Trabalho conjunto com David Fuenmayor, Universidade de Luxembourgo)

12/05/2021, 16:00 – Pedro Henrique Carrasqueira

Lost in translations — Reflexions on reductions of deontic logic to other logics

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Abstract

Ever since Kanger and Anderson, arguably following on the footsteps of Leibniz, independently proposed the use of reductions of purported deontic logics to other logics as a means of systematically investigating the reasonability of principles of deontic logic, the use of such reductions has become widespread in the field. In this talk, I will present some reflexions suggesting that the development of the seemingly unrelated subject of coalitional logic sheds new light on the philosophical significance of Kanger’s and Anderson’s original proposal.

05/05/2021, 16:00 – Fábio Maia Bertato

Análise lógica do conceito de beleza

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Abstract

Desde a antiguidade, definir o conceito de beleza tem sido um desafio para os filósofos. Muitos levantaram questões relacionadas à objetividade/subjetividade da beleza, que se tornaram fundamentais para a compreensão das questões da estética filosófica. Nesse contexto, apresentarei a discussão, efetuada em [1], sobre uma análise lógica do conceito de beleza, que inclui perspectivas universalistas e relativistas. Com base numa metodologia inspirada nas análises lógicas de Józef Maria Bocheński sobre os conceitos de autoridade e sociedade livre, serão contemplados alguns resultados inesperados derivados das crenças populares e possíveis soluções para esta questão.

References
[1] BERTATO, F. M.; MARTIN, G. S. Logical Analysis of the Concept of Beauty. Edukacja Filozoficzna, v. 70, p. 121-141, 2020. (PDF Artigo)

14/04/21, 16:00 – Itala M. Loffredo D’Ottaviano & Evandro Luís Gomes

Baptizing Paraconsistent Logic: the unique touch of Miró Quesada

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Abstract

In this paper we present and analyse the principal historical events surrounding the creation of the word ‘paraconsistent’, as well as its introduction as the name for inconsistent but non-trivial formal systems. Initially, these systems were called the ‘theory of inconsistent formal systems’ by Newton da Costa when he introduced his C-systems in 1963. In the early 1970’s, however, da Costa asked Francisco Miró Quesada to look for suggestions for a meaningful name for this new family of formal systems. The goal was achieved in correspondence exchanged in 1975, when Miró Quesada suggested to Newton da Costa an all-embracing name which finally came to predominate. Quesada master’s touch into history of paraconsistent logic was presented to the international academic community in a conference delivered by him at the Third Latin American Symposium on Mathematical Logic (III SLALM), held in 1976 at the University of Campinas.

07/04/2021, 16:00 – Guilherme Vicentin de Toledo

RNmatrizes e a hierarquia de da Costa

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Resumo

RNmatrizes e a hierarquia de da Costa (Abstract)_Página_1 RNmatrizes e a hierarquia de da Costa (Abstract)_Página_2 RNmatrizes e a hierarquia de da Costa (Abstract)_Página_3

31/03/2021, 16:00 – Rodolfo C. Ertola-Biraben

The Emergence of Lattice Theory

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Abstract

Our talk traces the origin of Lattice Theory in the nineteenth century. It will be organized
around the notions of modularity and distributivity. In particular, it will include comments on passages from the writings of Peirce [2], Schr ̈oder [3], and Dedekind [1].

References
[1] Dedekind, Richard. Ueber die von drei Moduln erzeugte Dualgruppe. Mathematische Annalen
53, 1900.
[2] Peirce, Charles. On the algebra of logic. American Journal of Mathematics 3(1), 1880.
[3] Schr ̈oder, Ernst. Vorlesungen ̈uber die Algebra der Logik. Erster Band, Leipzig, Teubner, 1890.

30/09/2020, 16:00h – Rafael Testa

Representação do Conhecimento e Raciocínio: aplicações e motivações às lógicas paraconsistentes

Centro de Lógica, Epistemologia e História da Ciência

Universidade de Campinas

Abstract. A Representação do Conhecimento e Raciocínio desempenha um papel central na Inteligência Artificial, sendo uma de suas áreas mais antigas. Seu estudo cobre uma ampla gama de tópicos, incluindo a modelagem de raciocínio em domínios específicos (como em diagnósticos médicos e no direito), o desenvolvimento de softwares para prova automatizada de teoremas, o desenvolvimento de banco de dados, bem como estudo do raciocínio humano. Neste seminário veremos alguns exemplos de aplicação de lógicas paraconsistentes, notadamente as lógicas da inconsistência formal, nesta área de estudo. Novas perspectivas e possíveis trabalhos futuros serão apresentados.

14/10/2020 (16:00h) – Guilherme Grudtner

A Medida do Círculo: Uma tradução do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ de Arquimedes

Instituto de Filosofia e Ciências Humanas

Universidade de Campinas

Abstract. Arquimedes de Siracusa foi um matemático, físico, astrônomo e engenheiro grego que viveu no século III a.C. (c. 287 a.C. – c. 212 a.C.). Sobre sua biografia, restam-nos pouquíssimos dados, dentre os quais, alguns fatos pitorescos. Porém, seus trabalhos tiveram enorme influência no desenvolvimento da matemática e da física.

Apresentamos, aqui, uma tradução do texto de Arquimedes intitulado ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ (Kyklou Metresis) – A Medida do Círculo. A tradução foi efetuada segundo uma perspectiva quase literal. Desse modo, tentamos preservar ao máximo a estrutura original do texto grego, incluindo entre colchetes palavras que podem auxiliar a compreensão do leitor. Tal abordagem pode ocasionar uma sensação de estranheza similar à de quem lê o original, de acordo com o estilo do próprio Arquimedes. Nesse texto, o matemático grego estabelece um modo de se obter a área do círculo, bem como, uma aproximação da razão entre o comprimento do círculo e seu diâmetro, o que nos permite determinar um valor aproximado para constante π.