Conseil International de Philosophie et des Sciences Humaines (CIPSH)
WORLD LOGIC DAY - CLE '22
Evento Online
January 14, 2022
Link: meet.google.com/xqb-bmro-iet
Program
14:00 – 14:30
Talk 1 - Logics of ignorance
Ekaterina Kubyshkina (University of Campinas)
Mattia Petrolo (Federal University of ABC)
14:40 – 15:10
Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices
Guilherme Vicentin de Toledo (University of Campinas)
Marcelo Esteban Coniglio (University of Campinas)
15:20 – 15:50
Talk 3 - On a cut-free sequent system for a logic associated to involutive Stone algebras
Martín Figallo (Universidad Nacional del Sur, Bahía Blanca)
16:00 – 16:20
Interval
16:20 – 16:50
Talk 4 – Considerações sobre Arquimedes e sua Obra
Guilherme Grudtner (University of Campinas)
17:00 – 17:30
Talk 5 - Paraconsistency in History
Evandro Gomes (University of Maringá)
17:40 – 18:10
Talk 6 - O uso de métodos lógicos em teoria da escolha social
Pedro Carrasqueira (University of Campinas)
