Philosophie de la logique — Wikipédia

Cet article est une ébauche concernant la philosophie et la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence^[1], son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.

S'agissant du sens de la « logique », venant du grec logiké epistémé où elle signifiait un des secteurs de l' « être », celui du logos, à côté de l'éthos et de la phusis, conformément à la division de la philosophie en trois branches, ce sens reste du point de vue philosophique un problème^[2].

Origine et fondement traditionnel de la logique[modifier | modifier le code]

Pour Hervé Barreau^[3], Aristote a dominé par ses prises de positions philosophiques l'âge de la science grecque. Un âge qui s'est prolongé jusqu'au Moyen Âge et à la Renaissance. Aristote ne considérait pas la logique comme une science mais comme un outil de raisonnement, propédeutique à la science mais sans objet particulier^[4].

La logique transcendantale de Kant.

La logique dialectique de Hegel.

La logique formelle entre les mains des mathématiciens : La mathématisation de la logique en deux étapes.

1. L'algèbre de Boole
2. La logique des relations de De Morgan.

Ensuite le lien avec les mathématiques est trop fort pour isoler la philosophie de la logique pure (voir philosophie des mathématiques).

Pierce met en valeur le caractère général de la relation d'illation et réinterprète avec elle la syllogistique aristotélicienne. Il introduit les quantificateurs modernes^[4].

Frege relie la logique des fonctions avec la logique des propositions grâce à l'analyse de la proposition (fonction, argument) et à l'usage réglé des quantificateurs. Première axiomatique de ces deux logiques^[4].

Russell et Whitehead finalisent la logique formelle, couramment enseignée au début du XXI^e siècle en deux parties : logique des propositions et logiques des prédicats^[4].

Questions philosophiques[modifier | modifier le code]

Cette section contient une ou plusieurs listes. Le texte gagnerait à être rédigé sous la forme de paragraphes synthétiques. Les listes peuvent demeurer si elles sont introduites par une partie rédigée et sourcée, de façon à bien resituer les différents items  (janvier 2024).

Le questionnement philosophique d'une science en particulier est une extension de la philosophie des sciences en général (voir à ce sujet : Philosophie des sciences).

Ce questionnement porte notamment sur la discipline, sur son histoire (sa mathématisation par exemple) et sur les liens qu'entretient ou non cette discipline avec d'autres disciplines.

La question principale reste le statut même de la logique : Qu'en est-il de son fondement et notamment du principe de non-contradiction ? Quid du principe du tiers exclu ? Devra en outre être justifiée la distinction habituelle entre la théorie du jugement et la théorie du syllogisme.

Articulation de la logique avec les logiques modales (possible, impossible, nécessaire)^[4] ?

La logique formelle actuelle, outil pour toutes les disciplines scientifiques et en particulier les mathématiques, est elle féconde dans d'autres champs de la connaissance ? (1^re remarque de Hervé Barreau, p. 23)^[4]

La nature des nouvelles logiques créées par certaines disciplines : La chronosophie comme une logique du temps par analogie à la géométrie qui serait une logique de l'espace^[4] ?

Impacts sur la logique des travaux de Gödel sur la consistance et la complétude en mathématiques^[4].

Concernant l'approche philosophique de la logique relative à la question de la définition de son essence, il convient entre autres de se rapprocher de la contribution du philosophe Martin Heidegger (voir l'article Heidegger et la logique).

Références[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

• W.V.O. Quine, Philosophie de la logique, trad. fr. par J. Largeault., Paris, Aubier-Montaigne, 1976
• Pascal Engel, La norme du vrai, philosophie de la logique, Paris, Gallimard, 1989
• Edgar Morin, La méthode, Tome 4, Les Idées, Le Seuil, Nouvelle édition, coll. Points, 1996
• Michael Dummett Traduit par Fabrice Pataut, « Philosophie de la logique », 1991
• Denis Bonnay & Mickael Cozic (éd.), Philosophie de la logique, Vrin, 2009, (ISBN 978-2-7116-1796-8)

Articles connexes[modifier | modifier le code]

• Bibliographie de logique et de philosophie du langage
• Logique mathématique
• Philosophie des mathématiques
• Principia Mathematica

Liens externes[modifier | modifier le code]

• (en) [PDF] Bibliographie de philosophie de la logique et des mathématiques de la London Philosophy Study Guide
• Notice dans un dictionnaire ou une encyclopédie généraliste :

  • Britannica

• Portail de la logique
• Portail de la philosophie