Schedule 2023
Week 1 – February 6th to 11th, 2023
Monday – February 6th
Morning
8h30 | 10h
Course 1
Evandro L. Gomes (CLE/State University of Maringá-UEM, Brazil)
Itala M. Loffredo D’Ottaviano (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
10h30 | 12h
Course 2
João Marcos (Federal University of Rio Grande do Norte-UFRN, Brazil)
Walter Carnielli (CLE/University of Campinas – Unicamp, Brazil)
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
17h15 | 17h45
Coffee Break
17h45 | 18h30
Official Oppening Session
19h30
Welcome Dinner
Week 1 – February 6th to 11th, 2023
Tuesday – February 7th
Morning
8h30 | 10h
Course 1
Evandro L. Gomes (CLE/State University of Maringá-UEM, Brazil)
Itala M. Loffredo D’Ottaviano (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
10h30 | 12h
Course 2
João Marcos (Federal University of Rio Grande do Norte-UFRN, Brazil)
Walter Carnielli (CLE/University of Campinas – Unicamp, Brazil)
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
17h30 | 18h
Coffee Break
19h | 20h
LED Talks
Student Communications
LT1
Quasi-Realism: combining quasi-truth and scientific realism
Raoni Arroyo, CLE/University of Campinas
LT2
Logic and Philosophy of Math
Vincent Alexis Peluce, CUNY Graduate Center, USA
LT3
How to Revise Hinge Certainties?
Paloma Xavier, Federal University of Pernambuco – UFPE, Brazil
LT4
How Language Acquisition Transforms Human Cognition and its Consequences for Rethinking Rationality, Artificial Intelligence and the Cognitive Sciences
Gabriel Nicolás Cruz Aráuz, University of Salamanca, Spain
Week 1 – February 6th to 11th, 2023
Wednesday – February 8th
Morning
8h30 | 10h
Course 1
Evandro L. Gomes (CLE/State University of Maringá-UEM, Brazil)
Itala M. Loffredo D’Ottaviano (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
10h30 | 12h
Course 2
João Marcos (Federal University of Rio Grande do Norte-UFRN, Brazil)
Walter Carnielli (CLE/University of Campinas – Unicamp, Brazil)
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
17h30 | 18h
Coffee Break
18h | 19h
LED Talks
Student Communications
LT5
Paraconsistent Metalogic
Camillo Fiore, University of Buenos Aires, Argentina
LT6
Gödel’s Disjunction and Gödelian Arguments: a formal and philosophical analysis
Rodrigo Trevisan Braga, Pontifical Catholic University of São Paulo – PUC-SP, Brazil
LT7
On the Inconsistency Tolerance of Moral Conflicts: a study of paraconsistent deontic logics
Meha Mishra, Indian Institute of Technology, India
LT8
Belief and Credence: Bridging Doxastic Logic and Probability Theory
Matheus de Lima Rui, Federal University of Santa Catarina- UFSC, Brazil
19h | 20h30
Movie Exibition
The Spirit of Contradiction
(with Newton da Costa)
Directed by Fernando Severo
Week 1 – February 6th to 11th, 2023
Thursday – February 9th
Morning
8h30 | 10h
Course 1
Evandro L. Gomes (CLE/State University of Maringá-UEM, Brazil)
Itala M. Loffredo D’Ottaviano (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
10h30 | 12h
Course 2
João Marcos (Federal University of Rio Grande do Norte-UFRN, Brazil)
Walter Carnielli (CLE/University of Campinas – Unicamp, Brazil)
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
17h30 | 18h
Coffee Break
19h | 20h
LED Talks
Student Communications
LT9
Logic and Information, Logic and Argumentation, History and Philosophy of Paraconsistent Logics
Euclides Barbosa Ramos de Souza, Federal University of Paraíba – UFPB, Brazil
LT10
Non-Classical Logic (first-order modal logic)
Klarise Marais, University of Johannesburg, South-Africa
LT11
The Deconstruction of the Subject in the Informational Age: contributions by James .J. Gibson, Fred Dretske, and Charles S. Peirce
Patricia dos Santos Rocha, Federal University of Pará – UFPA, Brazil
LT12
Adjudication of a Background Logic for Axiomatizations of Mathematic
Valérie Lynn Therrien, McGill University, Canada
Week 1 – February 6th to 11th, 2023
Friday – February 10th
Morning
9h | 12h
Visit to Research Laboratories
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
17h30 | 18h
Coffee Break
19h | 20h
LED Talks
Student Communications
LT13
Model Theory of Modal Logics: model theoretic connections between first-order and modal logics
Zalán Ágoston Molnár, Eötvös Loránd University, Hungary
LT14
Anti-Exceptionalism about Logic: a methodology for the choice of logical theories
Jéssica Caren da Silva Melo, Federal University of Maranhão – UFMA, Brazil
LT15
Quantified Argument Calculus
Hongkai Yin, Central European University, Austria
LT16
Non-Classical Modal Logics
Kherian Gracher, Federal University of Rio de Janeiro – UFRJ, Brazil
Week 1 – February 6th to 11th, 2023
Saturday – February 11th
Morning
8h30 | 10h
Course 1
Evandro L. Gomes (CLE/State University of Maringá-UEM, Brazil)
Itala M. Loffredo D’Ottaviano (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
10h30 | 12h
Course 2
João Marcos (Federal University of Rio Grande do Norte-UFRN, Brazil)
Walter Carnielli (CLE/University of Campinas – Unicamp, Brazil)
Week 2 – February 13th to 17th, 2023
Monday – February 13th
Morning
8h30 | 10h
Course 5
Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil)
Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
16h | 17h30
Course 8
Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil)
Marcelo Finger (CLE/University of São Paulo – USP, Brazil)
17h30 | 18h
Coffee Break
18h | 19h
Aula Magna 5
Elena Dragalina-Chernaya (National Research University High
School of Economics, Moscow, Russia)
LT17
Abductive Reasoning, Artificial Intelligence, Big Data Analytics, Scientific Discovery
Mariana Vitti, São Paulo State University – UNESP, Brazil
LT18
Moore’s Paradox in Language and Thought: towards a unified strategy of explanation
Maciej Tarnowski, University of Warsaw, Poland
LT19
Spacetime and Metaphysics: relations in the context of contemporary philosophy of physics and relativity theory
Matheus dos Santos, Maringá State University – UEM, Brazil
LT20
On the notions of complexity and finiteness in the arithmetic of Dedekind-Peano
Bismarck Bório de Medeiros, Federal University of Santa Maria – UFSM, Brazil
Week 2 – February 13th to 17th, 2023
Tuesday – February 14th
Morning
8h30 | 10h
Course 5
Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil)
Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
16h | 17h30
Course 8
Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil)
Marcelo Finger (CLE/University of São Paulo – USP, Brazil)
17h30 | 18h
Coffee Break
LT21
Distributed Belief and Inconsistent Information in Multi-Agent Systems
John E. Lindqvist, University of Bergen, Norway
LT22
Consequences of the Liar Paradox for Formal Theories of Truth
Fernanda Biroli Abrahão, University of São Paulo – USP, Brazil
LT23
Epistemic Logics with Strategies
Andrés Román Saravia, Nacional University of Córdoba, Argentina
LT24
A framework for understanding the plurality of propositional inference systems
Luis Felipe Bartolo Alegre, Universidad Nacional Mayor de San Macos, Peru
Week 2 – February 13th to 17th, 2023
Wednesday – February 15th
Morning
8h30 | 10h
Course 5
Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil)
Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
16h | 17h30
Course 8
Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil)
Marcelo Finger (CLE/University of São Paulo – USP, Brazil)
17h30 | 18h
Coffee Break
LT25
Non-Deterministic Semantics for Modal Logics
Mahan Vaz, CLE/University of Campinas
LT26
Proof search in Natural Deduction
Ana Catarina Lopes Carvalho Sousa, University of Aveiro, Portugal
LT27
Gödel’s Disjunction and Gödelian Arguments: a formal and philosophical analysis
Rodrigo César Thadeu Barros Pereira, Federal University of Minas Gerais – UFMG, Brazil
LT28
Tractable Non-Classical Reasoning and Relative Complexity of Proof Systems
Alejandro Solares-Rojas, University of Milan, Italy
19h | 20h
Cultural Activity
Week 2 – February 13th to 17th, 2023
Thursday – February 16th
Morning
8h30 | 10h
Course 5
Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil)
Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
16h | 17h30
Course 8
Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil)
Marcelo Finger (CLE/University of São Paulo – USP, Brazil)
17h30 | 18h
Coffee Break
LT29
On Proof-Theoretic Approaches to the Paradoxes: problems of undergeneration and overgeneration in the Prawitz-Tennant analysis
Seungrak Choi, University of Seoul, South Korea
LT30
Research approaches in the History of Ancient Greek Mathematics: a case-study of the work “On the Sphere and the Cylinder” by Archimedes
Guilherme Grundtner, CLE/University of Campinas
LT31
On the Truth of Gödelean Sentences
Ziba Assadi, University of Tabriz, Iran
LT32
Algorithmic-Informational Emergence and Self-Organization of Formal Knowledge
Felipe S. Abrahão, CLE/University of Campinas
Week 2 – February 13th to 17th, 2023
Friday – February 17th
Morning
8h30 | 10h
Course 5
Hércules de Araújo Feitosa (CLE/São Paulo State University – Unesp, Brazil)
Marcelo E. Coniglio (CLE/University of Campinas – Unicamp, Brazil)
10h | 10h30
Break
12h | 14h
Lunch Break
Afternoon
15h30 | 15h45
Break
16h | 17h30
Course 8
Maria Eunice Quilici Gonzalez (CLE/São Paulo State University – Unesp, Brazil)
Marcelo Finger (CLE/University of São Paulo – USP, Brazil)