VÉRITÉ, logique

La réflexion sur la vérité a suscité bien des spéculations philosophiques. D'abord sur sa nature. Deux positions, l'une réaliste, l'autre idéaliste, s'opposent sur ce problème : d'un côté, la vérité se définit par l'adéquation de l'esprit à la chose,...

Le mot « analytique » a au moins trois sens.

1. Au sens large, une proposition est dite analytique si elle est vraie en vertu de la signification des termes qu'elle contient. La simple considération des significations suffit à donner l'assurance de sa vérité. À ce sens se rattachent...

...seulement il se bat dans ses fonctions publiques, mais il médite sur le réel pour en trancher les problèmes, pour le transformer. Le rapport entre la vérité logique et la vérité morale, entre la connaissance abstraite exacte et son application judicieuse dans la vie, est un thème auquel il a donné formulation...

Encherchant à élucider les notions de vérité logique et de déduction, Bolzano remarque qu'elles sont fondées sur le concept de forme propositionnelle (Satzform). Une forme propositionnelle résulte d'une proposition lorsqu'on y remplace une ou plusieurs représentations par des variables ;...

En quoi consiste cette énigme ? La croyance ne pose pas seulement un problème de degré : du doute à la certitude. Elle pose un problème de valeur qui tient à son rapport ambigu à la vérité. Tenir pour vrai, n'est-ce pas prendre pour vrai ce qui, peut-être, paraît vrai, mais n'est pas vrai ? Cette...

...(susceptible de rentrer dans un des types recensés plus haut). La nécessité logique ou déductive n'est ni suffisante ni indispensable à l'explication. La part de vérité de la théorie nomologico-déductive est la suivante : une loi scientifique particulière, obtenue par induction, est expliquée quand elle apparaît...

Pour Platon, la dialectique se caractérise par un jeu alterné de questions et de réponses qui conduit à découvrir la vérité. Elle relève à la fois d'un art du dialogue et d'une maïeutique des idées visant à atteindre le vrai, qui permet en retour de légitimer les éléments du monde sensible. C'est...

La tendance à confondre la vérité avec une perfection finale se retrouve dans le pragmatisme. Selon Quine, «  Peirce a essayé de définir entièrement la vérité en terme de méthode scientifique. La vérité serait pour lui la théorie idéale de laquelle on s'approche comme d'une limite lorsque...

La définition classique de la vérité et de l'erreur est celle d'Aristote : « Dire de ce qui est qu'il est, ou de ce qui n'est pas qu'il n'est pas, c'est dire vrai ; dire de ce qui n'est pas qu'il est ou de ce qui est qu'il n'est pas, c'est dire faux. » Cet énoncé, parfois jugé trop ...

...propriété des formes du langage et de la signification, et non pas comme une propriété des formes de la pensée en général. Il tient aux faits que certaines vérités (celles de la logique et des mathématiques) sont vraies seulement en vertu des significations des termes qui y figurent. Mais ces vérités sont...

...formule démontrable qui correspondrait dans une interprétation quelconque à une proposition fausse ; c'est même une condition du résultat précédent. La tentative de représenter lavérité des propositions de l'arithmétique par la démonstrabilité formelle n'aurait plus alors aucun sens cohérent.)

...de la démonstration). Avec la meilleure volonté du monde, il est difficile d'y trouver une métaphysique sous-jacente. S'agit-il de la définition de la vérité ? L'idéalisme demande une conception « cohérentiste » du vrai, entendu comme l'accord des représentations entre elles ou comme la compatibilité...

Reste la question importante des rapports entre idéologie et vérité (H. Lefebvre et F. Châtelet, Idéologie et Vérité). Son étude complète demanderait un article spécial, mais le présent travail serait incomplet s'il n'en posait au moins les jalons.

Logicien et philosophe américain, Saul Aaron Kripke est né le 13 novembre 1940 à Bay Shore, New York. On peut reconnaître dans son œuvre l’héritage de la philosophie analytique telle que l’ont formulée Gottlob Frege, Bertrand Russell, Rudolf Carnap et Willard Van Orman Quine.

Saul Kripke...

...jeté les bases de façon concurrente, a ouvert d'autres perspectives. Davidson a contourné les difficultés mises au jour par Quine en faisant appel à la théorie de la vérité formulée par Alfred Tarski et plus précisément à la « Convention T », selon laquelle l'énoncé « La neige est blanche » est vrai...

...psychiques ou des signes linguistiques. Deuxième propriété fondamentale des propositions : elles sont susceptibles de prendre l'une des deux valeurs de vérité. Elles se divisent donc en vérités en soi et faussetés en soi. Bolzano pense avoir démontré l'existence d'une infinité de vérités en soi par récurrence...

...forme la phrase « nécessairement 2 + 2 = 4 »). Mais elles diffèrent d'autres fonctions, comme la négation, parce qu'elles ne sont pas des fonctions de vérité, c'est-à-dire ne sont pas « extensionnelles » (mais « intensionnelles »), au sens où la vérité ou la fausseté d'un énoncé modal ne dépend pas seulement...

...symboles dans leur rapport avec des désignations possibles. Un langage est alors défini au moyen de règles de formation, de règles de désignation et de règles de « vérité », qui indiquent à quelles conditions générales les propositions seront considérées comme vraies. Par opposition à la vérité ...

...en bonne méthode, aux anomalies que recelait la théorie sémantique des logiciens. Prenant en vue et ne perdant pas de vue la question classique de la vérité, elle s'intéressa d'abord à la vérité d'une énonciation eu égard à une interprétation fixe et à un contexte donné. Ce...

...appliquer une idée, c'est tout un. Il n'y a donc pas un monde des idées acquises et certaines et un monde des idées provisoires et seulement probables. Le pragmatiste reconnaît qu'il existe des idées qui peuvent paraître stables et quasi nécessaires, ce que James appelle les « vérités établies ». Rien...

Une proposition est dite prouvée si, ayant été établie par une méthode reconnue, elle fait l'objet d'une croyance. Cette formulation permet de distinguer quatre versants dans la théorie de la preuve : 1^o un élément sémantico-formel, la proposition qu'il s'agit de prouver ; 2...

...qu'il appartient précisément à l'expérience psychanalytique d'exhumer dans la scission subjective la vérité du désir inconscient ? La démarche de Lacan consiste, au contraire, à faire émerger la problématique de lavérité des variations de la structure quaternaire dont on vient de suggérer l'esquisse.

Une autre source de certitude est que le dialogue, sous peine de perdre tout sens, désigne l'horizon d'une vérité qu'il ne dépend pas de nous de créer ou de modifier, et qui s'atteste jusque dans la nécessité où nous sommes de nous aider mutuellement pour nous ouvrir à elle. Si le dialogue...

Dire qu'un énoncé est vrai, ce n'est pas faire un énoncé sur un autre énoncé, mais accomplir un acte tel qu'accepter, admettre, confirmer, souligner le même énoncé, confesser, soutenir ou acquiescer à ce qui a été dit, selon les contextes. L'usage de « vrai » n'est pas de décrire mais...

...s'efforça de mettre au point des concepts sémantiques correspondant plus fidèlement aux notions utilisées dans le langage ordinaire – principalement le concept de vérité et celui de conséquence logique. Le premier est analysé dans sa célèbre étude sur Le Concept de vérité dans les langages ...

L'être ne peut être vrai que s'il est totalité. Le vrai doit comprendre jusqu'aux erreurs qui, exclues, seraient « ailleurs » et réduiraient la totalité à une partie, c'est-à-dire à une abstraction. Contrairement à la conception criticiste du savoir, la pensée vraie est rupture avec l'...

Expression exclusivement technique, usitée en logique moderne. Les valeurs de vérité sont au nombre de deux : le vrai et le faux. Elles sont assignées aux propositions atomiques (de manière analogue à l'assignation de valeurs numériques aux expressions algébriques). La valeur de vérité des propositions...

...fait est exprimable par une proposition obtenue en combinant des liaisons de propositions « atomiques » (thèse de l'atomisme logique) et dont la valeur de vérité ne dépend que de celle de ses ultimes composantes (thèse d'extensionnalité). Cette forme logique joue le rôle d'un système universel...