Distinction analytique-synthétique

Summarize Top Qs Fact Check

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 » ?

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 l'origine 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.

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.

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^[2].

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.

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.

Summarize Top Qs Fact Check

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.

Bien qu'ils ne soient pas à proprement parler des positivistes logiques, la notion d'analyticité de Gottlob Frege les influence grandement. Elle comprend un nombre de propriétés logiques ainsi que des relations au-delà de l'endiguement : symétrie, transitivité, antonymie, ou négation et ainsi de suite. Il accorde une grande importance à la formalité, notamment à la définition formelle, et insiste également sur l'idée de substitution par des termes synonymes. L'affirmation « Tous les célibataires sont non mariés » peut être étendue à la définition formelle de célibataire comme « homme non marié » pour former « Tous les hommes non mariés sont non mariés », ce qui est reconnaissable comme tautologique et donc analytique de par sa forme logique : toute affirmation de la forme « Tous les X qui sont (F et G) sont F ». En utilisant cette idée élargie particulière d'analyticité, Frege conclut que les exemples donnés par Kant des vérités arithmétiques sont des vérités analytiques a priori et non des vérités synthétiques a priori.

Grâce à la sémantique logique de Frege, particulièrement son concept d'analyticité, les vérités arithmétiques comme « 7 + 5 = 12. » ne sont plus synthétiques a priori mais des vérités analytiques a priori au sens élargi du terme « analytique » selon Carnap. Par conséquent, les empiristes logiques ne sont pas soumis à la critique de Kant à l'encontre de Hume, qui rejette les mathématiques en même temps que la métaphysique^[3].

(Ici, « Empiriste logique » est un synonyme de « positiviste logique ».)

Les positivistes logiques s'accordent avec Kant que nous avons connaissance des vérités mathématiques, de plus, les propositions mathématiques sont a priori. Toujours est-il qu'ils n'estiment pas que toute métaphysique complexe, telle que celle que Kant propose, est nécessaire afin d'expliquer notre connaissance des vérités mathématiques. En revanche, les positivistes logiques maintiennent que notre connaissance des jugements comme « Tous les célibataires sont non mariés » ainsi que notre connaissance des mathématiques (et de la logique) sont, au sens fondamental, la même : Tout cela découle de notre connaissance du sens des termes ou des conventions du langage.

Depuis que l'empirisme a toujours asserté que toute connaissance est basée sur l'expérience, cette affirmation devait nécessairement inclure des connaissances en mathématiques. D'autre part, nous pensions que, concernant ce problème, les rationalistes avaient eu raison de rejeter l'ancienne conception empiriste selon laquelle la vérité de « 2 + 2 = 4. » est contingente sur l'observation des faits, une conception qui conduirait à la conséquence inadmissible qu'une déclaration arithmétique pourrait probablement être réfutée le lendemain par de nouvelles expériences. Notre solution, basée sur la conception de Wittgenstein, consistait à affirmer la thèse de l'empirisme uniquement pour la vérité factuelle. Par contraste, les vérités de la logique ainsi que des mathématiques n'ont pas besoin d'être confirmées par des observations, car elles ne portent pas sur le monde des faits ; elles sont valables pour toute combinaison possible de faits^[4],[5].

Les positivistes logiques établissent donc une nouvelle distinction, et, héritant des termes de Kant, la nomme la « distinction analytique-synthétique »^[6]. Ils proposent de nombreuses définitions différentes, telles que les suivantes :

• proposition analytique : une proposition dont la vérité dépend seulement de la signification de ses termes
• proposition analytique : une proposition étant vraie (ou fausse) par définition
• proposition analytique : une proposition rendue vraie (ou fausse) uniquement par les conventions du langage

(Bien que les positivistes logiques estiment que les seules propositions nécessairement vraies sont analytiques, ils ne définissent pas la « proposition analytique » comme une « proposition nécessairement vraie » ou une « proposition vraie dans tous les mondes possibles ».)

Les propositions synthétiques sont ensuite définies comme :

• proposition synthétique : une proposition n'étant pas analytique

Ces définitions s'appliquent à toutes les propositions, qu'elles soient ou non de forme sujet-prédicat. Par conséquent, sous ces définitions, la proposition « Il pleut ou il ne pleut pas » est classée comme analytique, tandis que selon Kant, elle est analytique par vertu de sa forme logique. Et la proposition « 7 + 5 = 12. » est classée comme analytique, tandis que sous les définitions de Kant, elle est synthétique.

Summarize Fact Check

Le bidimensionnalisme est une approche de la sémantique en philosophie analytique. Il s'agit d'une théorie de la manière de déterminer le sens et la référence d'un mot ainsi que la valeur de vérité d'une phrase. Elle est destinée à résoudre un puzzle ayant rongé la philosophie pendant un certain temps, à savoir : Comment est-il possible de découvrir empiriquement qu'une vérité nécessaire est vraie ? Le bidimensionnalisme propose une analyse de la sémantique des mots ainsi que des phrases donnant un sens à cette possibilité. La théorie a, dans un premier temps, été développée par Robert Stalnaker, or, elle a été défendue par de nombreux philosophes depuis lors, dont David Chalmers et Berit Brogaard.

Toute phrase donnée, par exemple, les mots,

• « L'eau est H2O »

est considérée comme exprimant deux propositions distinctes, souvent appelées intension primaire et intension secondaire, qui ensemble composent sa signification^[7].

L'intension primaire d'un mot ou d'une phrase est son sens, c'est-à-dire l'idée ou la méthode par laquelle nous trouvons son référent. Le sens premier du mot « eau » pourrait être descriptif, par exemple « substance liquide ». Ce que le sens premier du mot « eau » désigne aurait pu être différent. Par exemple, sur un autre monde où les habitants interprètent le mot « eau » comme désignant des matières liquides, or, où la composition chimique des substances aqueuses n'est pas H2O ; l'eau n'est pas simplement H2O dans ce monde.

L'intention secondaire du mot « eau » désigne tout ce que « eau » désigne dans ce monde, quel que soit ce monde. Donc, si nous attribuons à « eau » l'intention première de désigner une substance aqueuse, alors l'intention secondaire de « eau » est H₂O, puisque H₂O désigne une substance aqueuse dans ce monde. L'intention secondaire du mot « eau » dans notre monde est H2O, qui est H2O dans tous les mondes car, contrairement aux substances aqueuses, il est impossible que H2O soit autre chose que H2O. Considérée selon son sens secondaire, l'affirmation « L'eau est H2O » est vraie dans tous les mondes.

Si le bidimensionnalisme est viable, il résout des problèmes très importants dans la philosophie du langage. Saul Kripke affirme que « L'eau est H2O » est un exemple du nécessaire a posteriori, puisqu'il nous faut découvrir que l'eau est H2O, mais étant donné que c'est vrai, cela ne peut pas être faux. Il serait absurde d'affirmer qu'une substance qui est de l'eau n'est pas H2O, car ces deux molécules sont connues pour être identiques.

Rudolf Carnap est un fervent partisan de la distinction entre ce qu'il appelle « questions internes », questions abordées dans le cadre d'un « cadre » (comme une théorie mathématique) et « questions externes », questions posées en dehors de tout cadre – posées avant l'adoption de tout cadre^[8],[9],[10]. Les questions « internes » pourraient être de deux types : logiques (ou analytiques, ou logiquement vraies) et factuelles (empiriques, c'est-à-dire des observations interprétées à l'aide des termes d'un cadre de référence). Les questions « externes » étaient également de deux types : celles qui étaient confondues avec des pseudo-questions (« une question déguisée sous la forme d’une question théorique ») et celles qui pouvaient être réinterprétées comme des questions pratiques et pragmatiques visant à déterminer si un cadre considéré était « plus ou moins opportun, fructueux, propice à l’objectif pour lequel le langage est destiné »^[8]. L'adjectif « synthétique » n'est pas utilisé par Carnap dans son œuvre Empiricism, Semantics, and Ontology de 1950^[8]. Carnap définit effectivement une « vérité synthétique » dans son œuvre Signification et nécessité : une phrase étant vraie, mais pas simplement parce que « les règles sémantiques du système suffisent à établir sa vérité »^[11].

La notion d'une vérité synthétique est d'une chose qui est vraie à la fois en raison de sa signification et en raison de la façon dont le monde est, alors que les vérités analytiques sont vraies en vertu de leur signification uniquement. Ainsi, on pourrait considérer ce que Carnap appelle des énoncés factuels internes (par opposition aux énoncés logiques internes) comme des vérités synthétiques car elles nécessitent des observations, mais certaines déclarations externes pourraient également être des déclarations « synthétiques », et Carnap douterait de leur statut. L’argument analytique-synthétique n’est donc pas identique à la distinction interne-externe^[12].