Wokshop Inferences and proofs 2 - 17 décembre 2019

 Deuxième workshop International « Inférences et démonstrations »

 17 décembre 2019 de 9h à 17h15

Lieu : Aix-en-Provence, Faculté de Lettres, bât. T1, salle de colloque 2

Organisation : Gabriella Crocco et Antonio Piccolomini-d’Aragona


Pourquoi et comment les inférences valides ont le pouvoir de nous obliger à accepter leur conclusion, si l’on en a accepté leurs prémisses comme justifiées ?
Quelle est la source d’une telle transmission de la justification ?
D’où ce pouvoir épistémique vient-il ? Et comment devons-nous décrire formellement ce phénomène fondamental ?
La logique s’occupe de ces questions au moins depuis la célèbre définition aristotélicienne du syllogisme comme un discours où, certaines choses étant données, une autre chose en découle nécessairement. Récemment, toutefois, des différentes approches constructivistes, inspirées de la tradition intuitionniste, de la théorie de la preuve, et des investigations de Dummett sur les théories de la signification, semblent avoir éclairé la question.
À ce propos, nous ne pouvons manquer de mentionner les contributions essentielles de Jean-Yves Girard, Per Martin-Löf et Dag Prawitz.
Ce workshop se présente comme la prosecution de celui intitulé Inférences et Démonstrations, qui s’est tenu à Marseille du 31 Mai au 1er Juin 2016 - et qui a ensuite produit le numéro special Inferences and Proofs de TOPOI, édité par les organisateurs Gabriella Crocco et Antonio Piccolomini d’Aragona.
En posant à peu près les mêmes questions que son prédécesseur, Inférences et Démonstrations 2 est néanmoins enrichi par les résultats achevés pendant les derniers trois ans.

Intervenants
Cesare Cozzo (Université de Rome)
Enrico Moriconi (Université de Pise)
Dag Prawitz (Université de Stockholm)
Myriam Quatrini (Université d’Aix-Marseille)
Göran Sundholm (Université de Leyde)
Gabriele Usberti (Université de Sienne)

Programme VF
Programme VE

Financé par le Centre Gilles Gaston Granger (CGGG UMR 7304), Université d’Aix-
Marseille, Faculté de Lettres et Sciences Humaines

Pour plus d’informations : antonio.piccolomini-d-aragona[at]univ-amu.fr


  • Retour sur les journées « Inférences et démonstrations 1 », cliquez ici
  • Pour consulter le numéro spécial consacré à Inferences and Proofs 2016, cliquez ici



SITE TEMPORAIRE – SITE EN TRAVAUX