Journées « Inférences et démonstrations »


31 mai - 1<sup class="typo_exposants">er</sup> juin 2016


Depuis sa naissance, la logique a été engagée dans l’étude du raisonnement correct ou, plus spécifiquement, des démonstrations. Une démonstration devrait avoir le pouvoir épistémique de nous donner une justification des jugements ou des affirmations auxquels elle aboutit ou, d’un point de vue différent, de nous contraindre à accepter ses conclusions. Quelles sont les formes de raisonnement ayant ces propriétés ? Et, surtout, pourquoi ont-elles ce pouvoir contraignant ?

Selon Descartes, un raisonnement correct n’est qu’une chaine d’inférences valides. Le pouvoir épistémique des démonstrations devrait donc dépendre du pouvoir épistémique des inférences valides. La question devient donc : qu’est-ce qu’une inférence ? Et pourquoi les inférences valides ont une force épistémique ? Loin d’être un problème psychologique, cette réflexion engage à la fois l’épistémologie, la logique et les mathématiques.


Inferences and proofs

Since its birth, logic has been concerned with the study of correct reasonings or, more specifically, of proofs. A proof should have the epistemic power to provide us with justification for the judgement or assertion which it ends with. This power is, from a different point of view, the power to compel one to accept the conclusion of the proof. Which forms of reasoning can be said to have such power ? And above all, how can they exert an epistemic compulsion ?

According to Descartes, a correct reasoning is nothing but a chain of valid inferences. The epistemic power of proofs should therefore depend on the epistemic power of valid inferences. The problem then becomes : what is an inference ? And why valid inferences have an epistemic force ? These question, far from being psychological in nature, involve epistemology, logic and mathematics.


Ces journées, organisées par G. Crocco et A. Piccolomini, se dérouleront à la Frumam (locaux St Charles à Marseille) - salle de séminaire du 3e étage, à partir de 9h.

Intervenants :

  • Cesare Cozzo (Associate Professor, « La Sapienza » University of Rome - Italie)
  • Gabriella Crocco (Full Professor, Aix-Marseille University - France)
  • Kosta Došen (Full Professor, University of Belgrade ; Full professor, Mathematical Institute of Belgrade - Serbie)
  • Nissim Francez, (Emeritus Professor, Technion Israel Institute of Technology - Israel)
  • Per Martin-Löf (Full professor, Stockholm University - Suède)
  • Dag Prawitz (Professor Emeritus, Stockholm University - Suède)
  • Peter Schroeder-Heister (Full Professor, Tübingen University - Allemagne)
  • Göran Sundholm (Full Professor, Leyden University - Pays-Bas)
  • Luca Tranchini (post Ph.D., Tübingen University - Allemagne)
  • Gabriele Usberti (Full Professor, Siena University - Italie)

Comité d’organisation :
Gabriella Crocco, Antonio Piccolomini et Sylvie Pons.

Pour assister à ces journées, l’accès au campus St-Charles nécessite une inscription
gratuite mais obligatoire par mail auprès de :

antpiccdarag[at]gmail.com


Retrouvez l’actualité des journées sur :


Programme
English program
Abstratcs
SITE TEMPORAIRE – SITE EN TRAVAUX