Podcast
Questions and Answers
Quel(s) est/sont le(s) problème(s) philosophique(s) de la vérité ?
Quel(s) est/sont le(s) problème(s) philosophique(s) de la vérité ?
Les problèmes philosophiques de la vérité incluent le réalisme, le pragmatisme, l'idéalisme, les paradoxes de la vérité, les théories formelles de la vérité, la vérité déflationniste, la vérité scientifique, et la vérité mathématique.
Quels sont les questions que devrait répondre la théorie de la vérité ?
Quels sont les questions que devrait répondre la théorie de la vérité ?
La théorie de la vérité devrait répondre aux questions sur la nature de la vérité, ses différentes interprétations, ses implications philosophiques et logiques, ainsi que sur les paradoxes et les limites de la notion de vérité.
Que doit faire la théorie de vérité ?
Que doit faire la théorie de vérité ?
La théorie de vérité doit tenter de résoudre les paradoxes liés à la vérité, proposer des définitions cohérentes et universelles de la vérité, et explorer les différentes interprétations philosophiques et logiques de la notion de vérité.
Quel est le concept logique qui stipule que si 'A ou B' et 'ne pas A', alors B vaut par défaut?
Quel est le concept logique qui stipule que si 'A ou B' et 'ne pas A', alors B vaut par défaut?
Signup and view all the answers
Qu'est-ce que le projet métaphysique de la philosophie de la vérité vise à identifier?
Qu'est-ce que le projet métaphysique de la philosophie de la vérité vise à identifier?
Signup and view all the answers
Le projet essentiel de la philosophie de la vérité tente de trouver les conditions nécessaires et suffisantes pour qu'une affirmation soit vraie dans n'importe quel monde possible.
Le projet essentiel de la philosophie de la vérité tente de trouver les conditions nécessaires et suffisantes pour qu'une affirmation soit vraie dans n'importe quel monde possible.
Signup and view all the answers
L'______ illocutoire est ce qu'on fait implicitement en disant ce qu'on dit, en relation avec ce qu'on veut faire par l'acte.
L'______ illocutoire est ce qu'on fait implicitement en disant ce qu'on dit, en relation avec ce qu'on veut faire par l'acte.
Signup and view all the answers
Associez les différents actes de langages avec leur description correspondante:
Associez les différents actes de langages avec leur description correspondante:
Signup and view all the answers
Pourquoi est-il possible d'avoir un nombre unique par phrase en arithmétique de Peano ?
Pourquoi est-il possible d'avoir un nombre unique par phrase en arithmétique de Peano ?
Signup and view all the answers
Qu'est-ce que le lemme de diagonalisation en arithmétique ?
Qu'est-ce que le lemme de diagonalisation en arithmétique ?
Signup and view all the answers
Est-il possible d'ajouter les biconditionnels de Tarski en tant que principe fondamental de la vérité dans une théorie formelle ?
Est-il possible d'ajouter les biconditionnels de Tarski en tant que principe fondamental de la vérité dans une théorie formelle ?
Signup and view all the answers
Que propose la théorie de cohérence comme critère de vérité pour une phrase ?
Que propose la théorie de cohérence comme critère de vérité pour une phrase ?
Signup and view all the answers
Quelle philosophie de la vérité est défendue par Dummett?
Quelle philosophie de la vérité est défendue par Dummett?
Signup and view all the answers
La philosophie de Frege soutient que la vérité est une relation entre la proposition et sa valeur de vérité.
La philosophie de Frege soutient que la vérité est une relation entre la proposition et sa valeur de vérité.
Signup and view all the answers
Quel était le principal problème évoqué concernant la référence vrai/faux selon Frege?
Quel était le principal problème évoqué concernant la référence vrai/faux selon Frege?
Signup and view all the answers
Développé au début du XXe siècle par L.E.J. Brouwer, l'_______ est une réaction contre les fondements de la mathématique classique.
Développé au début du XXe siècle par L.E.J. Brouwer, l'_______ est une réaction contre les fondements de la mathématique classique.
Signup and view all the answers
Associez les connecteurs logiques à leurs explications dans l'interprétation BHK:
Associez les connecteurs logiques à leurs explications dans l'interprétation BHK:
Signup and view all the answers
Pourquoi les sciences peuvent-elles évoluer pour d'autres raisons que la fausseté d'une vieille théorie?
Pourquoi les sciences peuvent-elles évoluer pour d'autres raisons que la fausseté d'une vieille théorie?
Signup and view all the answers
Selon la tradition phénoménologique, comment pourrait-on caractériser le monde?
Selon la tradition phénoménologique, comment pourrait-on caractériser le monde?
Signup and view all the answers
Le relativisme radical nécessite un standard neutre pour garantir sa relativité.
Le relativisme radical nécessite un standard neutre pour garantir sa relativité.
Signup and view all the answers
Pour respecter les autres positions, il est nécessaire de s'engager avec les autres opinions et vouloir apprendre quelque chose d'elles, pas simplement les ______________ et les traiter comme incompréhensibles.
Pour respecter les autres positions, il est nécessaire de s'engager avec les autres opinions et vouloir apprendre quelque chose d'elles, pas simplement les ______________ et les traiter comme incompréhensibles.
Signup and view all the answers
Associez les types d'engagement réaliste avec leurs descriptions:
Associez les types d'engagement réaliste avec leurs descriptions:
Signup and view all the answers
Study Notes
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é.
Studying That Suits You
Use AI to generate personalized quizzes and flashcards to suit your learning preferences.
Description
Ce quiz vous permet de vérifier votre compréhension de l'introduction à la philosophie contemporaine. Il aborde les notions de réalisme, pragmatisme et autres concepts clés.
