Aller au menu | Aller au contenu | Aller à la recherche

[ Université Jean Moulin Lyon 3
Recherche avancée

Faculté de Philosophie - Université Jean Moulin Lyon 3

Université de Lyon

17250004 - Logique

  • Version PDF
  • Envoyer par courriel
  • Envoyer par courriel au format PDF
Crédits ECTS 4
Volume horaire total 33
Volume horaire CM 18
Volume horaire TD 15

Déplier tout le contenu Plier tout le contenu

Contenu

Licence 2 - Semestre 4 - Année universitaire 2016-2017

Enseignant : Jean-Baptiste JOINET

Thème du cours : Introduction à la déduction naturelle propositionnelle

Présentation du cours :

La notion de connecteur logique (et celle d’énoncé) est d’abord abordée à travers l’idée de règles d’usage, autrement dit l’idée d’une régulation des usages discursifs déterminant la signification. Des règles pour les différents connecteurs de la logique propositionnelle sont présentées dans le format de la « Déduction naturelle » (1934). Cette approche propose donc d’envisager la notion de « vérité » sous l’angle spécifique de la « prouvabilité (dans l’ordre du discours) ». Au delà de cette initiation à la “syllogistique moderne”  qu’est la Déduction naturelle  (dont la maîtrise est en soi un objectif digne d’intérêt), ce cours s’efforce de sensibiliser les étudiants à plusieurs questions et enjeux logico-philosophiques autour de la notion d’argumentation, de preuve et de vérité :

  • la notion d’argumentation sous hypothèse
  • la maîtrise conceptuelle de la distinction entre d’une part le problème de « la reconnaissance du caractère correct ou non d’une argumentation en faveur d’un énoncé donné » (problème décidable), d’autre part le problème de l’heuristique, autrement dit de « la recherche de preuves d’un énoncé donné » (problème décidable dans le cas de la Déduction naturelle propositionnelle).
  • la possibilité du pluralisme logique, ici abordé sous la forme de la sensibilité de la vérité (prouvabilité) aux moyens disponibles. Les règles sont comme des outils, et si l’on se passe de certains outils, certains objectifs s’avèrent ne plus être atteignables : la « vérité » (y compris mathématique) se décline alors au pluriel. Sont ainsi abordées successivement (dans le cadre d’une mise en perspective conceptuelle et historique) la logique minimale, la logique intuitionniste, enfin la logique classique. La critique intuitionniste (1907) du tiers-exclu aristotélicien est présentée (mais, faute de temps, les développements sur les tenants et les aboutissants de cette critique – à savoir les aspects non constructifs de la logique classique - sont reportés au semestre S5). 
  • la réflexion sur ce que peut être un critère de la correction des règles (idée de cohérence)
  • la réflexion sur ce que peut être un critère de la complétude des règles (si je ne parviens pas à prouver un énoncé, est-ce parce qu’il me manque des outils, des règles, ou bien est-ce parce qu’il y a de bonnes raisons pour que cet énoncé ne soit pas prouvable ?)
  • sous réserve que le temps le permette : l’idée qu'une preuve d’un énoncé donné puisse ou non être « analytique » et les enjeux philosophiques de cette qualité possible des preuves sont discutés (en particulier, est alors esquissée l’idée qu’une preuve est dans un certain « état »,  plus ou moins analytique et qu’un enjeu épistémologique majeur est de pouvoir déterminer s’il est possible de la « rendre analytique » : thématique dite de l’analytisation des preuves).

Bibliographie

Un polycopié complet couvrant ce programme (CM+TD) est mis à disposition des étudiants inscrits (en ligne, via la plateforme pédagogique Moodle) au début du semestre.

Ce cours fait partie des formations suivantes :

Licence Philosophie

Niveau d'entrée : Bac  |  Niveau de sortie : Bac + 3
Semestre :  -  UFR : Faculté de Philosophie


Renseignements pratiques

Faculté de Philosophie
1 rue de l'Université
BP 0638
69239 Lyon Cedex 02

Fax : 04 78 78 72 27
Site web

Equipe pédagogique

Rechercher un cours

Recherche un cours

Mise à jour : 29 août 2016