August, 4 to 5, 2014
Argentinean Society of Philosophical Analysis (SADAF)
Buenos Aires, Argentina
PROGRAM
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 THIS 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.