Lernzettel: Les critères de vérité en sciences

📋 Plan du Cours

1. Critères de vérité
2. Démonstration et vérité formelle
3. Expérience et vérité matérielle
4. Critique sceptique des démonstrations
5. Induction et critique de Hume
6. Falsificationnisme de Popper
7. Vérité absolue et progrès scientifique

📖 1. Critères de vérité

🔑 Notions clés & Définitions

• Vérité formelle : La vérité formelle qualifie un discours en fonction de sa validité logique, indépendamment du contenu empirique.
• Vérité matérielle : La vérité matérielle qualifie un discours en fonction de son accord avec le réel observé et testé.
• Jugements humains : Les vérités et faussetés s’appliquent d’abord aux jugements et aux discours, pas directement aux choses elles-mêmes.

📝 Points essentiels

• On distingue deux critères de vérité, la démonstration comme critère formel et l’expérience comme critère matériel.
• Le vrai et le faux portent sur les jugements et discours humains, pas directement sur la réalité.
• Le critère démonstratif vise la validité logique, tandis que le critère expérimental vise l’adéquation au réel.

📖 2. Démonstration et vérité formelle

🔑 Notions clés & Définitions

• Démonstration : Une démonstration est un enchaînement logique de propositions menant à une conclusion.
• Principe d’identité : Le principe d’identité affirme qu’une chose est ce qu’elle est, avec une essence toujours la même.
• Principe de non-contradiction : Le principe de non-contradiction affirme qu’une chose ne peut pas être à la fois elle-même et son contraire.
• Principe du tiers exclu : Le principe du tiers exclu affirme qu’une proposition est soit vraie, soit fausse.
• Connaissances a priori : Les connaissances a priori sont obtenues sans dépendre de l’expérience, grâce à la déduction logique.

📝 Points essentiels

• Une démonstration est nécessaire, universelle et inévitable, parce que sa conclusion est déjà contenue dans les prémisses.
• La démonstration ne repose ni sur l’observation sensible, ni sur les croyances, mais sur la cohérence logique.
• Elle peut être formellement vraie et pourtant matériellement fausse si les prémisses sont fausses.
• Les principes logiques (identité, non-contradiction, tiers exclu) sont attribués à Aristote dans l’Organone.
• Descartes vise les mathématiques comme modèle de toute connaissance.

💡 Astuce mémo

Forme = déduction pure : conclusion contenue dans les prémisses ; si les prémisses mentent, la forme ne sauve pas le réel.

📖 3. Expérience et vérité matérielle

🔑 Notions clés & Définitions

• Démarche empirique : La démarche empirique est une suite d’étapes visant à relier une hypothèse au réel par observation puis test.
• Induction : L’induction est le passage d’un cas observé vers une généralisation comme « toujours et partout ».
• Expérimentation : L’expérimentation est une mise à l’épreuve contrôlée d’une hypothèse pour vérifier son rapport au réel.
• Contamination : La contamination est l’hypothèse avancée par Semmelweis pour expliquer la fièvre puerpérale.

📝 Points essentiels

• La démarche empirique comprend observation des faits, identification d’un problème, formulation d’une hypothèse, puis expérimentation pour vérifier.
• L’induction généralise à partir du particulier, en posant un « toujours et partout » à partir d’un cas observé.
• Semmelweis étudie la fièvre puerpérale, observe une mortalité plus élevée, émet l’hypothèse de contamination, puis vérifie par expérimentation.

💡 Astuce mémo

Du cas au monde : observation → hypothèse → expérimentation pour transformer un fait en généralisation.

📖 4. Critique sceptique des démonstrations

🔑 Notions clés & Définitions

• Axiomes : Les axiomes sont des points de départ considérés comme évidents, admis sans démonstration préalable dans une démonstration.
• Postulats : Les postulats sont des hypothèses admises sans preuve dans le cadre d’une démonstration donnée.
• Conception intuitionniste : La conception intuitionniste affirme l’existence indépendante des objets mathématiques et leur découverte par intuition intellectuelle.
• Conception formaliste : La conception formaliste considère les mathématiques comme des constructions humaines fondées sur des axiomes et la cohérence.
• Convention : La convention est le fait que certains cadres mathématiques reposent sur des accords humains plutôt que sur des objets indépendants.

📝 Points essentiels

• Toute démonstration suppose des points de départ indémontrables comme axiomes ou postulats, ce qui limite l’autosuffisance de la preuve.
• La démonstration ne s’applique pas à tous les domaines, notamment le métaphysique.
• Le statut des mathématiques oppose intuitionnistes et formalistes quant à l’existence des objets mathématiques et au rôle de l’accord humain.
• En formaliste, il peut exister une pluralité de systèmes, et une proposition peut changer de vérité selon le système.
• Galilée est associé à l’idée que la nature suit un ordre mathématique, et l’exemple cité oppose géométrie d’Euclide et géométries non euclidiennes.

💡 Astuce mémo

Preuve ≠ tout prouver : la chaîne part d’axiomes/postulats, donc la démonstration a toujours un socle non démontré.

📖 5. Induction et critique de Hume

🔑 Notions clés & Définitions

• Relations d’idées : Les relations d’idées regroupent des vérités nécessaires fondées sur la logique et indépendantes de l’expérience.
• Questions de fait : Les questions de fait concernent des énoncés fondés sur l’expérience, contingents et jamais absolument certains.
• Vérités nécessaires : Les vérités nécessaires sont des propositions logiques qui ne peuvent pas être niées sans contradiction.
• Habitude : L’habitude est le mécanisme qui, chez Hume, fonde notre croyance dans les lois naturelles plutôt que la raison.

📝 Points essentiels

• Hume distingue relations d’idées et questions de fait, avec des exemples comme « 2 + 2 = 4 » et « le soleil se lèvera demain ».
• Nier une relation d’idées entraîne contradiction, alors que nier une question de fait reste concevable sans contradiction.
• Le passage du particulier au général n’est pas justifiable logiquement, car on ne peut pas observer tout l’univers ni tout le temps.
• La croyance en des lois naturelles repose sur l’habitude et non sur une justification rationnelle logique.
• Les sciences de la nature donnent alors seulement des probabilités et ne peuvent atteindre une vérité universelle.

💡 Astuce mémo

Hume : raison = nécessité (math), observation = probabilité (faits), et l’habitude remplace la garantie logique.

📖 6. Falsificationnisme de Popper

🔑 Notions clés & Définitions

• Falsifiabilité : La falsifiabilité est la propriété d’une théorie de pouvoir être réfutée par des observations ou tests.
• Conjecture : Une conjecture est une hypothèse proposée comme point de départ d’une démarche scientifique.
• Théorie provisoirement confirmée : Une théorie provisoirement confirmée est une théorie qui n’a pas encore été réfutée par les tests menés.
• Réfutation : La réfutation est l’issue où une théorie est montrée fausse par un test qui contredit ses conséquences observables.
• Erreurs fécondes : Les erreurs fécondes désignent l’idée que les échecs de tests font progresser en obligeant à abandonner ou corriger des théories.

📝 Points essentiels

• Popper accepte la critique sceptique : on ne peut pas atteindre une vérité certaine.
• Une théorie est scientifique si elle est falsifiable, c’est-à-dire réfutable.
• La méthode poppérienne suit : conjecture, déduction de conséquences observables, puis test expérimental.
• Un test peut mener soit à la réfutation, soit à une confirmation provisoire de la théorie.
• La science progresse grâce à ses erreurs : une théorie falsifiée est abandonnée ou corrigée, produisant une théorie moins fausse que la précédente.

💡 Astuce mémo

Tester pour éliminer : au lieu de chercher une preuve de vérité, on cherche des preuves de fausseté.

📖 7. Vérité absolue et progrès scientifique

🔑 Notions clés & Définitions

• Vérité absolue : La vérité absolue est un idéal inaccessible dans les sciences de la nature, selon le cadre proposé.
• Progrès scientifique : Le progrès scientifique correspond à une amélioration des connaissances via des théories révisées et des tests.
• Mathématiques : Les mathématiques sont présentées comme fournissant des vérités certaines, mais relatives aux axiomes adoptés.
• Sciences de la nature : Les sciences de la nature sont présentées comme produisant des vérités probables et provisoires.
• Idéal de vérité : L’idéal de vérité désigne la direction normative qui oriente la recherche même quand la certitude absolue est impossible.

📝 Points essentiels

• En mathématiques, des vérités certaines restent relatives aux axiomes choisis.
• En sciences de la nature, les vérités sont probables et provisoires plutôt que absolument certaines.
• Le paradoxe proposé est que l’impossibilité de la vérité absolue permet le progrès du savoir.
• La conclusion répond à la question « Doit-on renoncer à la vérité ? » par « non », en faisant de la vérité absolue un idéal.
• La recherche de vérité permet le progrès scientifique malgré le caractère provisoire des résultats en science de la nature.

💡 Astuce mémo

Leçon finale : viser l’idéal, pas la certitude ; la révision nourrit le progrès.

📊 Tableaux de synthèse

Démonstration vs expérience

⚠️ Pièges & confusions fréquents

1. Confondre la vérité d’une démonstration formelle avec sa vérité matérielle : une preuve logique peut rester basée sur de fausses prémisses.
2. Croire que les principes logiques suffisent à atteindre des faits du monde : ils garantissent la forme, pas l’adéquation au réel.
3. Penser que l’induction apporte une certitude logique : le passage « partout et toujours » n’est pas justifiable ainsi.
4. Inverser Hume sur mathématiques et sciences : pour lui, les math relèvent de la nécessité, les faits de la contingence.
5. Croire que Popper vise à prouver qu’une théorie est vraie : sa logique cherche surtout à la réfuter.
6. Mélanger expérience et expérimentation : l’expérience renvoie au vécu, alors que l’expérimentation est un test contrôlé de l’hypothèse.
7. Penser que Popper garantit la vérité absolue après plusieurs confirmations : il ne s’agit que de confirmations provisoires.

✅ Checklist Examen

1. Définir une démonstration et expliquer pourquoi sa conclusion est contenue dans les prémisses.
2. Citer les trois principes logiques fondamentaux et leur portée dans le cadre démonstratif.
3. Expliquer pourquoi une démonstration peut être formellement vraie mais matériellement fausse en fonction des prémisses.
4. Donner les étapes de la démarche empirique et préciser le rôle de l’expérimentation.
5. Expliquer ce qu’est l’induction et en quoi elle généralise du particulier au général.
6. Résumer la critique sceptique de la démonstration : axiomes/postulats indémontrables et domaine limité.
7. Décrire les deux conceptions du statut des mathématiques (intuitionniste et formaliste) et leur conséquence sur la pluralité de systèmes.
8. Exposer la distinction de Hume entre relations d’idées et questions de fait avec leurs exemples.
9. Montrer pourquoi le passage inductionnel n’est pas justifiable logiquement selon Hume (tout l’univers / tout le temps).
10. Présenter l’idée centrale de Hume sur les lois naturelles : l’habitude plutôt que la raison, et l’accès à des probabilités.
11. Définir la falsifiabilité et dire ce qui rend une théorie scientifique selon Popper.
12. Décrire la méthode poppérienne (conjecture, déduction, test) et les deux issues possibles d’un test.
13. Expliquer pourquoi la science progresse pour Popper grâce à la falsification et comment une théorie est corrigée.
14. Conclure en distinguant mathématiques (vérités certaines relatives aux axiomes) et sciences de la nature (vérités probables et provisoires) dans l’accès à la vérité absolue.