Épistémologie de la logique

L'épistémologie de la logique est la discipline qui s'intéresse à la logique en tant que science pour déterminer d'une part son ou ses objet(s), ses principes, ses concepts fondamentaux, ses théories et résultats ; d'autre part ses modes de construction de nouvelles connaissances, ses processus d'inférence et d'émergence de nouveaux concepts, les éléments à l'origine de ses évolutions et enfin ses fondements, son origine, sa portée objective^[1].

L'épistémologie de la logique cherche donc à répondre à plusieurs questions, en reprenant la démarche de Jean-Louis Le Moigne :

• la logique s'intéresse à quoi ? (question gnoséologique, question principale)
• la logique procède comment pour connaitre son objet et valider ses résultats ? (question méthodologique)

Questions annexes (à cheval sur d'autres disciplines) :

• comment la logique évolue ? (voir épistémologie génétique de la logique, voir histoire de la logique)
• qu'est-ce qui est de la logique ?, qu'est-ce qui n'est pas de la logique ? (voir ontologie de la logique)

Objets de la logique

La logique (du grec de logos (λόγος)), signifiant à la fois raison, langage, et raisonnement^[2] est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte^[3]. Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique. Les termes d'inférence ou de déduction sont également régulièrement utilisés. Selon l'objet de ces raisonnements plusieurs logiques sont donc apparues^[4],[5] :

• la logique des propositions (aussi appelée calcul des propositions)
• la logique des prédicats
• les logiques d'ordre supérieure

Selon les formes de raisonnement :

• la logique classique
• la logique intuitionniste (rejet des démonstrations utilisant le tiers-exclu, ou des raisonnements par l'absurde)
• les logiques paraconsistantes (abandon du principe de non contradiction)

Par extension, les preuves étant des preuves de ce qui est vrai, la logique s'intéresse à la notion de vérité^[4]. Ainsi, différentes variations sur la notion de vérité ont introduit différentes logiques cherchant à capter au plus près les différentes qualités d'une proposition. Ici quelques logiques dites « non classiques »^[5] :

• logiques modales,
• logiques temporelles,
• logiques épistémiques,
• logiques déontiques

Une réflexion sur la langue est également présente en logique (logos (λόγος) en grec signifie aussi verbe, langue). Sont visées, la langue scientifique elle-même (voir les travaux de Boole et de Frege, par exemple^[5]), et la langue naturelle (voir les travaux en linguistique) avec des problématiques liées au couple syntaxe/sémantique.

Moyens de la logique

Par certains cotés, comme science formelle, la logique avance par pures constructions intellectuelles cherchant la cohérence, l'efficacité, l'élégance de ses productions^[1],[6]. Dans ce cadre, les paradoxes logiques sont des failles du modèle (des obstacles épistémologiques à dépasser), a contrario la recherche d'une forme de complétude de la démarche ou du système logique produit est un objectif à atteindre. Cependant, les résultats d'incomplétude de Gödel ont limité ces derniers objectifs de recherche de complétude (en particulier le programme d'Hilbert^[7]).

Le raisonnement étant une activité humaine naturelle, un critère d'évaluation d'une logique est donné par comparaison avec l'intuition humaine de ce que peut être un raisonnement juste. Il n'y a pas pour autant de confrontation avec un réel comme en physique ou dans les sciences expérimentales, car les raisonnements humains ont une part humaine bien trop importante. (voir intelligence artificielle)

Résultats de la logique

Pour démontrer un résultat la logique a élaboré de nombreuses méthodes^[4] :

• méthode des tableaux
• méthode axiomatique
• déduction naturelle
• méthode des séquents
• méthode des connexions
• méthode des consensus
• méthode de réduction à la forme normale
• méthode de résolution

De nombreuses logiques ont été isolées, avec leurs qualités^[4],[5] :

• la logique des propositions (avec de nombreuses méthode de validation des raisonnements produits)
• la logique des prédicats (dont Gödel a démontré la complétude)
• les logiques d'ordre supérieure (équivalentes entre elles)

Cependant, l'un des résultats les plus connus est un résultat négatif c'est le théorème d'incomplétude de Gödel qui affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie.

Notes et références

1. ↑ ^{a et b} Introduction à l'épistémologie, Lena Soler, (introduction), Coll. Philo, Eds Ellipses, 2000.
2. ↑ La logique, une création de la Grèce antique, JB Gourinat, No Spécial Pour la science "Les chemins de la logique", 2005.
3. ↑ La logique, fil d'ariane du raisonnement, J Dubusc, G Sandu, No Spécial Pour la science "Les chemins de la logique", 2005.
4. ↑ ^{a, b, c et d} Logique, P Gochet, P Gribomont, Hermes, 1997.
5. ↑ ^{a, b, c et d} Logique(s), langages formels et complexité pour l'informatique N Jussien, Hermes, 2006.
6. ↑ Les origines françaises de la philosophie des sciences, A Brenner, PUF, 2003.
7. ↑ Logique et fondement de l'informatique, R Lassaigne, M de Rougemont, Hermes, 1993.

• Pour une vision globale de la logique et de son épistémologie : No Spécial Pour la science "Les chemins de la logique", 2005.