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