GT Lógica – Principia
The work group on Logic of the Brazilian National Association for Postgraduate Studies in Philosophy (GT Lógica – ANPOF) is pleased to announce that there will be a meeting in the scope of 14th Principia International Symposium, to be held at Florianópolis, Brazil, from July 28th to 31st, 2025.
Invited Speakers
- Cezar Mortari (Federal University of Santa Catarina, Brazil)
- Décio Krause (Federal University of Rio de Janeiro, Brazil)
- Eliza Wajch (University of Siedlce, Poland)
- Hitoshi Omori (Tohoku University, Japan)
- Peter Verdée (Catholic University of Louvain, Belgium)
Meeting Schedule
Wednesday, July 30
14h00 – 15h00
Author: Eliza Wajch (Institute of Mathematics, University of Siedlce, Poland)
Title: Formal approaches to quasi-cardinals
15h00 – 16h00
Author: Décio Krause (UFRJ, Brazil)
Title: Quantifying over indiscernibles
16h00 – 16h30
Coffee break
16h30 – 17h30
Author: Peter Verdée (Catholic University of Louvain, Belgium)
Title: A truthmaker semantics for mixed classical and quantum connectives
17h30 – 18h00
Author(s): Vítor M. Costa (UFSC, Brazil)
Title: O conhecimento histórico em lógica temporal paraconsistente
18h00 – 18h30
Author(s): Tiago de Castro Alves (UERJ, Brazil)
Title: Uma nota sobre derivações, provas e o que elas provam
Thursday, July 31
8h30 – 9h30
Author: Hitoshi Omori (Tohoku University, Japan)
Title: Why non-deterministic semantics matters for philosophers
9h30 – 10h00
Author(s): Jim de Groot (University of Bern, Switzerland), João Marcos (UFSC) and Rodrigo Stefanes (UFSC, Brazil)
Title: Characterizing the Expressiveness of Logics of Formal Inconsistency
10h00 – 10h30
Coffee break
10h30 – 11h00
Author(s): Felipe S. Abrahão and Itala M. L. D’Ottaviano (CLE-Unicamp, Brazil)
Title: Formal knowledge of structures beyond morphisms
11h00 – 11h30
Author(s): Daniel Alves da Silva Lopes Diniz (Unicamp, Brazil)
Title: A new logic of vagueness
11h30 – 12h
Speaker: Cezar Mortari (UFSC, Brazil)
Title: On some modal logics without interdefinability of $\Box$ and $\Diamond$