Second International Workshop Inferences and Proofs 2

December 17, 2019
Centre Gilles Gaston Granger UMR 7304 Aix-Marseille University Department of Literature and Human Sciences, Université Aix-Marseille

Risultati di ricerca 29 Avenue Robert Schuman, 13100
Aix-en-Provence
France

This will be an accessible event, including organized related activities

All speakers:

Università degli Studi di Roma La Sapienza
University of Pisa
Stockholm University
Aix-Marseille University
Leiden University
Università degli Studi di Siena

Organisers:

Université d'Aix-Marseille III
Université d'Aix-Marseille III

Topic areas

Talks at this conference

Add a talk

Details

Why and how do valid inferences have the power to compel us to accept their conclusion, once their premisses are accepted as justified? What is the source of such a transmission of justification? Where does this epistemic power stem from? And, last but not least, how should we formally account for this fundamental phenomenon? Logic deals with these questions at least since Aristotle's well-known definition of a syllogism as a discourse in which, certain things being laid down, something follows of necessity from them. In recent years, however, various constructivist approaches, originating from the intuitionistic tradition, from proof-theory and from Dummett's investigations into theories of meaning, seem to have shed a new light upon the issue. In this framework, we cannot fail to mention Jean-Yves Girard's, Per Martin-Löf's and Dag Prawitz's essential contributions. This workshop follows the one titled Inferences and Proofs, held in Marseille from May 31 to June 1st 2016 - that in turn yielded the Inferences and Proofs special issue of TOPOI guest-edited by the organisers Gabriella Crocco and Antonio Piccolomini d'Aragona. Raising more or less the same questions as its predecessor, Inferences and Proofs 2 is nonetheless enriched by the results and advancements achieved during the last three years. 

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.