SPLogiC

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

14h00 | 15h30

Course 3

15h30 | 15h45

Break

15h45 | 17h15

Course 4

17h15 | 17h45

Coffee Break

17h45 | 18h30

Official Oppening Session

18h30 | 19h30

Aula Magna 1

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

14h00 | 15h30

Course 3

15h30 | 15h45

Break

17h30 | 18h

Coffee Break

18h | 19h

Aula Magna 2

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

14h00 | 15h30

Course 3

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

14h00 | 15h30

Course 3

15h30 | 15h45

Break

17h30 | 18h

Coffee Break

18h | 19h

Aula Magna 3

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

Afternoon

14h00 | 15h30

Course 3

15h30 | 15h45

Break

17h30 | 18h

Coffee Break

18h | 19h

Aula Magna 4

Graham Priest (City University of New York, USA)

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)

Afternoon

14h | 17h

Posters Session

18h

Social Barbecue

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

10h30 | 12h

Course 6

Ofer Arieli (Academic College of Tel-Aviv, Israel)

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)

19h | 20h

LED Talks

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

10h30 | 12h

Course 6

Ofer Arieli (Academic College of Tel-Aviv, Israel)

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 6

Jean-Yves Béziau (Federal University of Rio de Janeiro – UFRJ, Brazil)

19h | 20h

LED Talks

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

10h30 | 12h

Course 6

Ofer Arieli (Academic College of Tel-Aviv, Israel)

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

LED Talks

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

10h30 | 12h

Course 6

Ofer Arieli (Academic College of Tel-Aviv, Israel)

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 7

19h | 20h

LED Talks

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

10h30 | 12h

Course 6

Ofer Arieli (Academic College of Tel-Aviv, Israel)

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 8

19h30 | 20h

Closing Ceremony

21h

Farewell Happy Hour