Filog 2013

Truth, Proof and Paradox

Lecce Workshop in Philosophy of Logic

September 10th, 2013. Lecce (Italy)

What is a proof? What are the formal relations between proof and truth? What kind of paradoxes and possible errors do arise from an unsound use of such notions?

The First Lecce Workshop in Philosophy of Logic (Filog), named "Truth, Proof and Paradox", will try to provide possible answers to these questions. Filog aims at formulating an explication of the concepts of proof and truth, in the light of the recent philosophical and logical methodology, in order to evaluate their formal and material adequacy.

A special emphasis will be given to different varieties of semantic realism and antirealism in philosophy of logic and to their relations with the systems of formal pragmatics.

Programme:

Carlo Dalla Pozza (University of Salento) (10:00 - 10:15)

Daniele Chiffi (University of Padua)

Opening

1. Massimiliano Carrara (University of Padua) (10:15 - 11:00)

Dialetheic Assumptions

2. Davide Sergio & Antonio Negro (University of Salento) (11:00 - 11:45)

Pragmatic Language and Modality

3. Vittorio Morato (University of Padua) (11:55 - 12:40)

Validity and Actuality

4. Giuseppe Primiero (Middlesex University, London) (14:00 - 14:45)

Programs, Errors and Solutions

5. Alfredo Di Giorgio (University of Bari) (14:45 - 15:30)

Insolubilia and Obligationes:

The Disputational Context of the Paradoxes in the Late Middle Ages

6. Ciro De Florio (Università Cattolica, Milan) (15:40 - 16:25)

Reflexion Principles and Theory of Truth

7. Presentation of the book "Proof and Justification", (16:25 - 16:45)

edited by A. Di Giorgio & D. Chiffi, Giappichelli, Turin, 2013.