17 Dec 2019
The University of Aix-Marseille <https://www.univ-amu.fr/> and its laboratory Centre Gilles Gaston Granger (CGGG - UMR 7304) <http://centregranger.cnrs.fr/> are glad to announce the *SECOND INTERNATIONAL WORKSHOP* *INFERENCES AND PROOFS 2* *December 17 2019* at the *MAISON DE LA RECHERCHE* 29 Avenue Robert Schuman, 13100 - Aix-en-Provence, France *Topic* 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 comes as a prosecution of the one title *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* <https://link.springer.com/journal/11245/38/3/page/1> 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. *Program* *Dag Prawitz* (Stockholm University) ? 9 a.m./10 a.m. *Some principles concerning the validity of inferences and arguments* *Coffee break* 10 a.m./10.15 a.m. *G?ran Sundholm* (Leiden University) ? 10.15 a.m./11.15 a.m. *The Completeness Theorem? So what!* *Gabriele Usberti* (Siena University) ? 11.15 a.m./12.15 a.m. *A Notion of Internalistic Logical Validity* *Lunch break* 12.15 a.m./2 p.m. *Cesare Cozzo* (?La Sapienza? University of Rome) ? 2 p.m./3 p.m. *The fallibility of deduction* *Coffee break* 3 p.m./3.15 p.m. *Enrico Moriconi* (Pisa University) ? 3.15 p.m./4.15 p.m. *From proof-objects to grounds* *Myriam Quatrini* (Aix-Marseille University) ? 4.15 p.m/5.15 p.m. *Ludics seen as a logical theory relevant for computational issues and hereafter* *Organised by* Gabriella Crocco (Aix-Marseille University) Antonio Piccolomini d'Aragona (Aix-Marseille University) *Funded by *Centre Gilles Gaston Granger (CGGG) UMR 7304, Aix-Marseille University, Department of Literature and Human Sciences. *For further information please contact * antonio.piccolomini-d-aragona@univ-amu.fr Site of the event here <http://centregranger.cnrs.fr/spip.php?article1021>. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam