1st Workshop CLE-UNICAMP (Brazil) – Buenos Aires Logic Group (Argentina)

1st Workshop
Centro de Lógica, Epistemologia
e História da Ciência (Brazil)
Buenos Aires Logic Group (Argentina)

August 4 and August 5, 2014
Argentinean Society
of Philosophical Analysis (SADAF)
Buenos Aires, Argentina

Monday, August 4

15:00 Welcome coffee.

15:30 Walter Carnielli “Contradiction Consistency and Inconsistency: Methods and Concepts on Logics of Formal (In)consistency”

17:00 Eduardo Barrio, Federico Pailos & Damian Szmuc “Capturing Transparent Truth in LFIs”

18:30 Coffee break

19:00 Marcelo Coniglio “On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency”

Tuesday, August 5

16:00 Peter Verdée “A first order adaptive logic to formalize the standard model of arithmetic”

17:30 Coffee break

18:00 Lucas Rosenblatt “Non-deterministic conditionals and naive truth”

About the workshop

The goal of this workshop is to discuss work in progress made in the thematic intersection of both research groups and to further the relationship between the Argentinean and Brazilian researchers interested in Logic and the application of formal methods to Philosophy.