Centro de Lógica, Epistemologia
e História da Ciência (Brazil)
Buenos Aires Logic Group (Argentina)
August 4 and August 5, 2014
of Philosophical Analysis (SADAF)
Buenos Aires, Argentina
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”
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.