Trier

Par date de publication

Par pertinence

• 31 mai 2016

  01 jui 2016

  Marseille

  Journée d'étude - Études des sciences

  Inférences et démonstrations

  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.

  Lire l'annonce