O Colóquio de Lógica, organizado pela Sociedade Portuguesa de Lógica SPL, visa promover a investigação e o conhecimento nesta área, desde a lógica matemática até à lógica filosófica assim como lógica para a inteligência artificial e a teoria da computação, através de uma série de palestras mensais. As palestras do Colóquio de Lógica serão realizadas de forma híbrida. Têm lugar, salvo indicação em contrário, na sala 3.10 do Departamento de Matemática do Técnico ULisboa e virtualmente.
Primeira sessão do colóquio conjunto entre a Sociedade Brasileira de Lógica e a Sociedade Portuguesa de Lógica
- João Marcos (UFCS-Universidade Federal de Santa Catarina), “Bilateralism: When Two Sides Make a Difference”
NOVA DATA: 29 de outubro de 2026, 14h, https://meet.google.com/bzt-iwxf-kxs
Resumo: In logic, bilateralism is the view that reasoning involves two basic kinds of judgment: assertion and denial. But does every formalism that recognizes this distinction provide a genuinely two-sided account of logical consequence? I argue that this is not the case. What matters most is whether the cognitive attitudes of acceptance and rejection are represented independently and whether the logic explains how they constrain one another. Starting from relations of compatibility between judgments of assertion and denial, I introduce a framework for bilateral closure and two-dimensional consequence. This framework treats a logical theory as a coordinated pair of positive and negative commitments and reveals familiar departures from standard consequence as one-sided aspects of a richer bilateral structure.
Ver em Eventos as palestras já realizadas no Colóquio de Lógica.
Informação sobre o Colóquio de Lógica também está disponível na página dos seminários do Departamento do Matemática do IST, em particular na página Colóquio de Lógica onde se encontram alguns Vídeos do Colóquio de Lógica.