VÉRITÉ, logique

Ce sujet est traité dans les articles suivants :

1.  VÉRITÉ

Écrit par : Robert BLANCHÉ, Antonia SOULEZ

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, avec souvent l'entendement divin comme intermédiaire entre l'entendement humain et les choses… Lire la suite

2.  ANALYTIQUE PROPOSITION

Écrit par : Françoise ARMENGAUD

… *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 le nominalisme de Hobbes, pour qui la vérité nécessaire est telle… Lire la suite

3.  ANSELME DE CANTORBÉRY (1033/34-1109)

Écrit par : Michel-Marie DUFEIL

Dans le chapitre "Un des premiers maîtres du dialogue entre la logique et la foi"  : … 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 moderne dans le De ueritate. Passant d'un système modal à son accent ontologique… Lire la suite

4.  BOLZANO BERNARD (1781-1848)

Écrit par : Jan SEBESTIK

Dans le chapitre "Théorie de la science"  : … système des relations entre les propositions, qui contient les innovations les plus importantes. En* cherchant à é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… Lire la suite

5.  CROYANCE

Écrit par : Paul RICŒUR

Dans le chapitre "Du langage ordinaire au langage philosophique"  : … 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 interrogation se reflète dans les évaluations… Lire la suite

6.  DESCRIPTION ET EXPLICATION

Écrit par : Jean LARGEAULT

Dans le chapitre "Expliquer et déduire"  : … 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 comme une conséquence des principes d'une théorie plus vaste, elle-même explicative. Celle-ci… Lire la suite

7.  EMPIRISME

Écrit par : Edmond ORTIGUES

Dans le chapitre "La croyance chez Kant et chez Hume"  : … basculer la philosophie du « perfectionnisme » au « faillibilisme », suivant un mot de Karl Popper. *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… Lire la suite

8.  ERREUR

Écrit par : Bertrand SAINT-SERNIN

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 métaphysique, a… Lire la suite

9.  EXPÉRIENCE

Écrit par : Pascal ENGEL

Dans le chapitre "L'empirisme logique et la construction logique du monde"  : … 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 purement conventionnelles : elles relèvent seulement des décisions que nous avons prises de leur… Lire la suite

10.  FORMALISME

Écrit par : Étienne BALIBAR, Pierre MACHEREY

Dans le chapitre "Logique et mathématique"  : … proposition fausse ; c'est même une condition du résultat précédent. La tentative de représenter la *vérité des propositions de l'arithmétique par la démonstrabilité formelle n'aurait plus alors aucun sens cohérent.) En quel sens avons-nous affaire ici à une « limitation » ? Le résultat de Gödel montre que, pour une classe entière de systèmes… Lire la suite

11.  IDÉALISME

Écrit par : Jean LARGEAULT

Dans le chapitre "La logique et l'idéalisme"  : … 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é d'une représentation avec la représentation en général (cf. réalisme). En effet, attendu… Lire la suite

12.  IDÉOLOGIE

Écrit par : Joseph GABEL

Dans le chapitre "Idéologie et vérité"  : … *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. La distinction entre l'origine sociologique des connaissances et la détermination … Lire la suite

13.  KRIPKE SAUL (1940- )

Écrit par : Scott SOAMES,  Universalis

… une analyse logique du langage. En 1975-1976, Kripke publie un ouvrage important sur la notion de *vérité et le paradoxe du Menteur. Selon l'approche alors dominante, développée par le logicien polonais Alfred Tarski, ce paradoxe oblige à penser qu'un langage naturel ne contient aucun énoncé de vérité mais plutôt une hiérarchie de prédicats vrais… Lire la suite

14.  LOGIQUE

Écrit par : Robert BLANCHÉ, Jan SEBESTIK

Dans le chapitre "Bernard Bolzano"  : … 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 (le passage de la énième proposition vraie « p » à la (n + 1)-ième est… Lire la suite

15.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

…  caractéristiques de la logique formelle classique. Ce sont des logiques à plus de deux valeurs de *vérité (many-valued logic), telles la logique intuitionniste et les logiques du flou, ou, tout au contraire, des logiques non vérifonctionnelles : la logique modale, la logique déontique, la logique épistémique, la logique des impératifs, la… Lire la suite

16.  MODALITÉS, logique

Écrit par : Pascal ENGEL

Dans le chapitre "La notion logico-linguistique de modalité"  : … 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 (comme pour la négation) de la vérité ou de la fausseté de l'énoncé originel. Certes, si… Lire la suite

17.  NÉO-POSITIVISME ou POSITIVISME LOGIQUE

Écrit par : Gilles Gaston GRANGER

Dans le chapitre "Syntaxe, sémantique, pragmatique"  : … 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é de facto de tel ou tel énoncé apparaît alors une vérité logique de certaines combinaisons d'… Lire la suite

18.  PRAGMATIQUE

Écrit par : Francis JACQUES

Dans le chapitre "Genèse et développement"  : … 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 caractère aléthique a fait qu'au début elle s'est peu départie du guide sémantique qui traitait de la vérité dans un modèle,… Lire la suite

19.  PRAGMATISME

Écrit par : Gérard DELEDALLE

Dans le chapitre "Une philosophie de la science expérimentale"  : … 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 cependant ne les garantit contre le changement, ni bien entendu ne les dispense de se conformer aux… Lire la suite

20.  PREUVE, épistémologie

Écrit par : Fernando GIL

…  décisif. Il y a pourtant une interdépendance entre le subjectif et l'objectif. La croyance en la *vérité d'une proposition est supposée dériver des procédures objectives (toute preuve vise à provoquer un assentiment) et la confiance faite à ces procédures représente elle-même une autre croyance. On examinera ces questions en rapport avec la… Lire la suite

21.  PSYCHANALYSE

Écrit par : Pierre KAUFMANN

Dans le chapitre "Être et pensée"  : … inconscient ? La démarche de Lacan consiste, au contraire, à faire émerger la problématique de la *vérité des variations de la structure quaternaire dont on vient de suggérer l'esquisse. L'impulsion est donnée par une interprétation critique de la dialectique hégélienne du maître et de l'esclave, rapportée à la topologie des quatre « lieux » – … Lire la suite

22.  SOCRATE (~469-~399) ET ÉCOLES SOCRATIQUES

Écrit par : Jacques BRUNSCHWIG

Dans le chapitre "Les certitudes de Socrate"  : … 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 est l'essentiel du métier d'homme, c'est que nous ne sommes pas… Lire la suite

23.  STRAWSON PETER FREDERICK (1919-2006)

Écrit par : Francis JACQUES

Dans le chapitre "Théorie « performative » de la vérité"  : … *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 d'exprimer un accord, un acquiescement, une concession… Lire la suite

24.  TARSKI ALFRED (1902-1983)

Écrit par : Jan SEBESTIK

Dans le chapitre "Le concept de vérité"  : … 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 formalisés (traduite en allemand en 1935-1936 sous le titre de Wahrheitsbegriff). Ce… Lire la suite

25.  TOTALITÉ

Écrit par : Emmanuel LÉVINAS

Dans le chapitre "La vérité est la totalité"  : … *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'immédiat du donné, avec l'intuitif. Celui-ci, toujours… Lire la suite

26.  VÉRITÉ VALEUR DE

Écrit par : Françoise ARMENGAUD

… *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 composées ou moléculaires est directement… Lire la suite

27.  WITTGENSTEIN LUDWIG (1889-1951)

Écrit par : Jean-Pierre COMETTI, Gilles Gaston GRANGER

Dans le chapitre "Le système du « Tractatus »"  : … 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 de référence dont la « géométrie » délimite nécessairement et a priori les structures d'un monde… Lire la suite