La distinction analytique-synthétique est une distinction sémantique principalement utilisée en philosophie pour distinguer entre les propositions (en particulier, les énoncés qui sont des jugements affirmatifs sujet-prédicat) qui sont de deux types : les propositions analytiques et les propositions synthétiques. Les propositions analytiques sont vraies ou fausses seulement par la vertu de leur sens, alors que la vérité des propositions synthétiques, si elle existe, découle de la manière dont leur signification se rapporte au monde.
Bien que la distinction soit proposée en premier lieu par Emmanuel Kant, elle est considérablement remaniée au fil du temps, et différents philosophes utilisent ces termes de manières très différentes. En outre, certains philosophes (en commençant par Willard Van Orman Quine) se demandent s'il existe même une distinction claire à faire entre les propositions analytiquement vraies et les propositions synthétiquement vraies. Les débats concernant la nature ainsi que l'utilité de la distinction persistent encore aujourd'hui dans la philosophie du langage contemporaine.
Kant vignette|Emmanuel Kant
Confinement conceptuel Le philosophe Emmanuel Kant utilise les termes « analytique » et « synthétique » pour diviser les propositions en deux types. Kant introduit la distinction analytique-synthétique dans l'Introduction de Critique de la Raison pure. Il y limite son attention aux énoncés qui sont des jugements affirmatifs sujet-prédicat et définit la « proposition analytique » et la « proposition synthétique » comme suit :
proposition analytique : une proposition dont le concept prédicat est contenu dans son concept sujet proposition synthétique : une proposition dont le concept prédicat n'est pas contenu dans son concept sujet mais lui est lié
Selon la définition de Kant, voici quelques exemples de propositions analytiques :
« Tous les célibataires sont non mariés. » « Tous les triangles ont trois côtés. »
L'exemple donné par Kant lui-même est :
« Tous les corps sont étendus », c'est-à-dire qu'ils occupent de l'espace.
Chacune de ces affirmations est un jugement affirmatif sujet-prédicat, et, dans chaque, le concept prédicat est contenu dans le concept sujet. Le concept de « célibataire » englobe celui de « non marié » ; le concept de « non marié » fait partie de la définition du concept de « célibataire ». De même, pour « triangle » et « a trois côtés », etc.
Selon la définition de Kant, voici quelques exemples de propositions synthétiques :
« Tous les célibataires sont seuls. » « Toutes les créatures qui ont un cœur ont des reins. »
L'exemple donné par Kant lui-même est :
« Tous les corps sont lourds. », c'est-à-dire qu'ils font l'expérience d'une force gravitationnelle.
Comme pour les exemples précédents classés comme propositions analytiques, chacune de ces nouvelles déclarations est un jugement affirmatif sujet-prédicat. Cependant, dans aucun de ces cas, le concept sujet ne contient le concept prédicat. Le concept de « célibataire » n'inclut pas celui de « seul » ; « seul » ne fait pas partie de la définition de « célibataire ». Il en va de même pour « créatures dotées d'un cœur » et « possédant des reins » ; même si toute créature dotée d'un cœur possède également des reins, le concept de « créature dotée d'un cœur » n'inclut pas celui de « possédant des reins ». Ainsi, voici le problème philosophique qui se pose : Quel type d'affirmation est « Le langage est utilisé pour transmettre du sens » ?
Version de Kant et la distinction a priori-a posteriori Dans l'Introduction de Critique de la Raison pure, Kant oppose sa distinction entre propositions analytiques et synthétiques à une autre distinction, celle entre propositions a priori et a posteriori. Il définit ces termes comme suit :
proposition a priori : une proposition dont la justification ne repose pas sur l'expérience. De plus, la proposition peut être validée par l'expérience, or, ne repose pas sur l'expérience. Par conséquent, c'est logiquement nécessaire. proposition a posteriori : une proposition dont la justification repose sur l'expérience. Cette proposition est validée par l'expérience et s'y fonde. Par conséquent, elle est logiquement contingente.
Exemples de propositions a priori :
« Tous les célibataires sont non mariés. » « 7 + 5 = 12. »
La justification de ces propositions ne dépend pas de l'expérience : il n'est pas nécessaire de consulter l'expérience pour déterminer si tous les célibataires sont non mariés, ni si 7 + 5 = 12. (Bien sûr, comme Kant l'admettrait, l'expérience est nécessaire pour comprendre les concepts de « célibataire », « non marié », « 7 », « + » et ainsi de suite. Toujours est-il que la distinction a priori–a posteriori telle qu'employée ici par Kant ne concerne pas lorigine des concepts, mais la justification des propositions. Une fois les concepts acquis, l'expérience n'est plus nécessaire.)
Exemples de propositions a posteriori :
« Tous les célibataires sont malheureux. » « Les tables existent. »
Ces deux propositions sont a posteriori : toute justification de celles-ci nécessiterait l'expérience.
La distinction analytique-synthétique et la distinction a priori-a posteriori donnent ensemble quatre types de propositions :
a priori analytique a priori synthétique a posteriori analytique a posteriori synthétique
Kant considère le troisième type comme manifestement contradictoire. L'écartant, il ne traite que des trois types restants comme composantes de son cadre épistémologique — chacun devenant, par souci de concision, respectivement des propositions « analytiques », « synthétiques a priori » et « empiriques » ou « a posteriori ». Cette triade rend compte de toutes les propositions possibles. Des exemples d'énoncés analytiques et a posteriori ont déjà été donnés ; pour les propositions synthétiques a priori, il cite celles issues des mathématiques et de la physique.
Facilité de connaître les propositions analytiques Une partie de l'argument de Kant dans l'Introduction de la Critique de la Raison pure consiste à affirmer qu'il n'y a aucun problème à comprendre comment la connaissance des propositions analytiques est possible. Afin de connaître une proposition analytique, Kant affirme qu'il n'est pas nécessaire de se référer à l'expérience. En revanche, il suffit de prendre le sujet et d'en « extraire, conformément au principe de contradiction, le prédicat requis ». Dans les propositions analytiques, le concept prédicat est contenu dans le concept sujet. Par conséquent, dans le but de savoir si une proposition analytique est vraie, il suffit d'examiner le concept du sujet. Si l'on trouve le prédicat contenu dans le sujet, le jugement est vrai.
Ainsi, par exemple, il n'est pas nécessaire de se référer à l'expérience pour déterminer si « tous les célibataires ne sont pas mariés » est vrai. Il suffit d'examiner le concept sujet (« célibataires ») et de voir si le concept prédicat « non mariés » y est contenu. Et, en effet, il y est : « Célibataire » fait partie de la définition de « célibataire » et est donc inclus dans celle-ci. Par conséquent, on peut affirmer que cette proposition est vraie sans avoir recours à l'expérience.
Il en découle, selon Kant, premièrement : Toutes les propositions analytiques sont a priori ; il n'y existe aucune proposition analytique a posteriori. Il en découle secondement : Il n'y a aucun problème à comprendre comment nous pouvons connaître les propositions analytiques ; nous pouvons les connaître car il nous suffit de consulter nos concepts dans le but de déterminer qu'elles sont vraies.
Possibilité de la métaphysique Après avoir écarté la possibilité des propositions analytiques a posteriori, et expliqué la manière dont nous pouvons obtenir la connaissance des propositions analytiques a priori, Kant explique également la manière dont nous pouvons obtenir des connaissances sur les propositions synthétiques a posteriori. Il ne reste donc plus qu'à se demander comment la connaissance de propositions synthétiques a priori est possible. Kant maintient que cette question est extrêmement importante, parce que toute notre connaissance scientifique (pour lui, la physique et les mathématiques newtoniennes) est constituée de propositions synthétiques a priori. Il affirme que s'il est impossible de déterminer quelles sont les vraies propositions synthétiques a priori, alors la métaphysique en tant que discipline est impossible. Le reste de la Critique de la raison pure est consacré à examiner si et comment la connaissance des propositions synthétiques a priori est possible.
Mathématiques et propositions a priori synthétiques Kant donne comme exemple de propositions a priori potentiellement synthétiques les propositions des mathématiques. L'équation mathématique 10 = 0.2x 50 est vraie quelle que soit l'expérience la rendant ainsi a priori, mais non analytique. Les propositions mathématiques ne sont pas analytiques en ce que 10 ne contient pas de manière évidente 0,2x50, de la même manière que le concept de célibataire contient les catégories de non marié et d'homme.
Importance des propositions synthétiques a priori dans la métaphysique de Kant Le plaidoyer de Kant en faveur de sa métaphysique dans Critique de la Raison pure peut être perçu comme reposant sur la possibilité de prétentions synthétiques a priori. Si les propositions synthétiques a priori sont possibles, cela suppose une certaine vision métaphysique du monde ; une grande partie de la Critique de la raison pure repose alors sur la possibilité de propositions synthétiques a priori pour justifier une vision du monde. On pourrait réduire l'argument de Kant à une forme simple : si la métaphysique de Kant est vraie, alors les propositions synthétiques a priori sont possibles.
Frege et les positivistes logiques
Révision par Frege de la définition kantienne Plus d'une centaine d'années plus tard, un groupe de philosophes s'intéresse à Kant et à sa distinction entre propositions analytiques et synthétiques : les positivistes logiques.
Une partie de l'examen de Kant de la possibilité d'une connaissance synthétique a priori implique l'examen de propositions mathématiques, telles que
« 7 + 5 = 12. » « La plus courte distance entre deux points est une ligne droite. »
Kant maintient que les propositions mathématiques telles que celles-ci sont des propositions synthétiques a priori, et que nous les connaissons. Il pense que le fait qu'elles soient synthétiques est évident : le concept « égal à 12 » n'est pas inclus dans le concept « 7 + 5 » ; et le concept « ligne droite » n'est pas inclus dans le concept « la distance la plus courte entre deux points ». De ce fait, Kant conclut que nous avons la connaissance des propositions synthétiques a priori.