Philosophie contemporaine : Introduction

Introduction au cours de philosophie contemporaine

• Examen : pas de questions directes sur le cours, mais liens avec notre travail ; teste si on a suivi le cours en entier
• Sujets à traiter :
  • Réalisme, pragmatisme et idéalisme
  • Paradoxes de la vérité
  • Théories formelles de la vérité et limitation
  • Vérité déflationniste
  • Qu'est-ce que la vérité scientifique ?
  • Qu'est-ce que la vérité mathématique
  • Vérification : la sémantique et la métaphysique des vérifacteurs

Paradoxes de la vérité et le dialethéisme

• Le paradoxe du menteur :
  • Origines historiques : Paradoxe d'Épiménide le Crétois (7e siècle av. J.-C.)
  • Exemple : "Tous les Crétois sont des menteurs"
  • C'est un faux paradoxe, car les Crétois ne sont pas tous des menteurs, et on peut avoir une relation binaire
• Le véritable paradoxe du menteur :
  • L1 : L1 n'est pas vrai
  • Si L1 est vrai, alors ce qu'elle dit est vrai, alors par définition elle n'est pas vraie
  • Donc L1 ne peut pas être vraie, et L1 est donc vraie et n'est pas vraie => Contradiction
• Le paradoxe de Yablo :
  • S1 : Pour tout i > 1, Si n'est pas vrai
  • S2 : Pour tout i > 2, Si n'est pas vrai
  • ...
  • On tombe dans un paradoxe sans auto-référence
• Solutions :
  • Pas de valeur de vérité ?
  • Restreindre le langage ?
  • Dialethéisme

Le dialethéisme

• Caractérisation : les dialethéias sont des contradictions (phrases de la forme A-et-ne-pas-A) qui sont vraies
• Avantages :
  • On peut toujours avoir une interprétation d'une théorie même si elle a des contradictions/paradoxes
  • Les phrases paradoxales peuvent simplement être considérées comme vraies et fausses
• Inconvénients :
  • On va autoriser moins d'inférences
  • On ne peut pas exprimer qu'une phrase n'est pas contradictoire

Les projets de la philosophie de la vérité

• Le projet métaphysique :
  • Identifier en quoi consiste la vérité
  • Définir les conditions pour qu'une phrase soit vraie
  • Trois branches : projet d'extension, projet naturaliste, projet essentiel
• Le projet de justification :
  • Identifier une caractéristique par laquelle la véracité ou la fausseté probable de la déclaration peut être jugée
  • Exemple : méthode axiomatique
• Le projet linguistique - acte de langage :
  • L'acte de langage : parler et écrire, c'est faire quelque chose
  • Les différents actes de langage : acte locutoire, acte illocutoire, acte perlocutoire### Logique et Vérité
• La logique axiomatique est une branche des mathématiques qui étudie les systèmes formels, comme les théories formelles de la vérité.

Projet Acte de Langage

• Le projet acte de langage est un projet de description du but locutoire ou illocutoire des énoncés qui, par leur grammaire superficielle, semblent attribuer la propriété de vérité à une déclaration (ou une croyance, etc.).
• Le projet d'acte illocutoire est le projet d'acte de langage poursuivi par ceux qui sont convaincus que les énoncés en question n'ont aucun but locutionnaire.

Théories Formelles de la Vérité

• Une théorie formelle de la vérité est une théorie qui détermine comment on peut rationnellement utiliser le mot 'vrai' sans fixer la nature de la vérité.
• Les théories formelles de la vérité sont utiles car elles permettent d'éviter les désaccords et les interprétations différentes d'un individu à un autre.

Arithmétique Formelle

• L'arithmétique formelle est la formalisation de la théorie des nombres naturels (0, 1, 2, ...).
• Elle a des règles précises, comme la constante 0, les fonctions s (appelée le successeur), + (appelée l'addition) et x (appelée la multiplication).

Le Paradoxe du Menteur

• Le paradoxe du menteur est un problème qui montre que certaines phrases ne peuvent pas être prouvées dans une théorie formelle.

Théorie de Correspondance

• La théorie de correspondance est une théorie qui définit la vérité comme une relation entre un porteur de vérité et un vérificateur dans la réalité.
• Les porteurs de vérité sont des phrases, des inscriptions, des propositions, des croyances et des pensées.
• Les vérificateurs sont des objets, des faits, des états des choses et des mondes.

Critique de la Théorie de Correspondance

• La théorie de correspondance est trop évidente et ne explique pas bien la relation de correspondance entre les porteurs de vérité et les vérificateurs.
• Les faits sont obscurs et il est difficile de déterminer les porteurs de vérité élémentaires.

Théories Vérificationnistes de la Vérité

• Les théories vérificationnistes de la vérité sont des théories qui définissent la vérité comme une relation entre un porteur de vérité et une vérification.
• Les théories vérificationnistes refusent l'idée que la vérité est une relation entre un porteur de vérité et une réalité objective.

Théorie de Dummett

• La théorie de Dummett est une théorie vérificationniste qui définit la vérité comme une relation entre un porteur de vérité et une vérification.
• La théorie de Dummett est influencée par l'intuitionnisme en mathématiques et la philosophie de Gotlob Frege.

Intuitionnisme en Mathématiques

• L'intuitionnisme en mathématiques est une philosophie qui refuse l'usage du tiers exclu et du raisonnement par l'absurde.
• Les mathématiciens intuitionnistes construisent les mathématiques à partir de leurs intuitions et de leurs constructions mentales.### Interprétation BHK
• Dans l'interprétation BHK, la preuve d'une implication A → B est interprétée comme la capacité à transformer une preuve de A en une preuve de B.
• L'implication est vue comme un processus constructif de déduction.

Négation (NON)

• La négation ¬A est interprétée comme l'impossibilité de construire une preuve de A.
• La négation est liée à une absence de construction mentale.

Quantificateur universel (POUR TOUT)

• Une preuve de ∀x P(x) nécessite la construction d'une preuve de P(x) pour chaque élément x de l'ensemble considéré.

Quantificateur existentiel (IL EXISTE)

• Une preuve de ∃x P(x) consiste à fournir une construction de preuve pour au moins un élément x de l'ensemble considéré.

Avantages et inconvénients de l'approche intuitionniste

• Avantages :
  • Peut garantir des preuves qui donnent beaucoup plus d'information.
  • Évite le platonisme mathématique.
  • Pas de préjugés de complétude.
• Inconvénients :
  • Il faut revisiter les mathématiques entièrement.

Vérité - Cohérence (selon Linda Martin Alcoff)

• Avantage : on ne sort pas de nos connaissances.
• Un aspect interne pour éviter certains problèmes de la vérité correspondance où on doit imaginer un monde externe.

Cohérentisme

• Commence par la critique kantienne : la connaissance humaine est toujours le résultat des pratiques humaines qui implique le monde dans lequel nous vivons.
• Approche immanente de la connaissance.
• La vérité n'est pas une construction humaine, elle reflète les faits concernant les êtres humains.

Contextualité

• La vérité est indexée / relativisée par un ensemble de spécificités (ce que nous pouvons voir un moment et un lieu donnés, où se trouve notre pensée à un moment donné, les caractéristiques pertinentes de la réalité).
• Cela rend la vérité à la fois plurielle et changeante, puisqu'elle est relative à un contexte richement conçu.

Réalisme immanent

• La théorie de la cohérence de la vérité est alignée sur une forme immanente de réalisme, un réalisme sans les évocations transcendantales d'un royaume au-delà de la cognition ou de l'interférence humaine.
• Un réalisme immanent écarte les bifurcations cartésiennes entre l'homme et le monde, la culture et la nature, l'esprit et la réalité.