SPLogiC

LED Talks
Students Communications​

Week 1 – February 7th to 10th, 2023

Tuesday – Feb 7th

19h00 | 20h00

LED Talks

Students Communications

LT1

Quasi-Realism: combining quasi-truth and scientific realism

Raoni Arroyo, University of Campinas – Unicamp, Brazil

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

Wednesday – Feb 8th

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

Thursday – Feb 9th

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

Friday – Feb 10th

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 2 – February 13th to 16th, 2023

Monday – Feb 13th

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

Tuesday – Feb 14th

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

Wednesday – Feb 15th

LT25

Non-Deterministic Semantics for Modal Logics

Mahan Vaz, University of Campinas – Unicamp, Brazil

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

Thursday– Feb 16th

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, University of Campinas – Unicamp, Brazil

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, University of Campinas – Unicamp, Brazil