Les conditionnels et l'implication matérielle

La logique classique considère 'si A alors B' comme le conditionnel matériel, vrai chaque fois que A est faux ou que B est vrai — mais cela génère des paradoxes qui ont alimenté une vaste littérature sur la signification réelle de 'si'.

Definition

Le conditionnel matériel 'A → B' est la fonction de vérité qui est fausse uniquement lorsque A est vrai et B est faux ; une question centrale est de savoir si les conditionnels indicatifs ordinaires ont ces conditions de vérité ou s'ils expriment plutôt une relation de probabilité conditionnelle ou de dépendance aux mondes possibles.

Scope

Ce sujet couvre l'analyse des phrases conditionnelles et l'adéquation du conditionnel matériel vérifonctionnel en tant que leur forme logique. Il aborde les paradoxes de l'implication matérielle, les défenses pragmatiques gricéennes de l'approche vérifonctionnelle, la sémantique des mondes possibles (Stalnaker), la thèse probabiliste (Adams) selon laquelle l'assertabilité d'un conditionnel est régie par la probabilité conditionnelle, et le contraste entre les conditionnels indicatifs et contrefactuels.

Core questions

• Les phrases ordinaires 'si-alors' ont-elles les conditions de vérité du conditionnel matériel ?
• Comment expliquer les paradoxes de l'implication matérielle, comme le fait qu'un antécédent faux rende tout conditionnel vrai ?
• L'assertabilité d'un conditionnel suit-elle la probabilité conditionnelle du conséquent étant donné l'antécédent ?
• En quoi les conditionnels indicatifs diffèrent-ils des conditionnels contrefactuels (subjonctifs) ?

Key concepts

• conditionnel matériel
• paradoxes de l'implication matérielle
• conditionnels indicatifs vs contrefactuels
• probabilité conditionnelle
• implicature conversationnelle
• fonction de sélection de mondes possibles

Key theories

Sémantique des mondes possibles pour les conditionnels

Stalnaker analyse 'si A alors B' comme vrai si et seulement si B est vrai dans le(s) monde(s) possible(s) le(s) plus similaire(s) où A est vrai, remplaçant l'approche vérifonctionnelle par une fonction de sélection sur les mondes et validant ainsi différentes inférences.

La thèse probabiliste (Adams)

Adams soutient que les conditionnels indicatifs n'ont pas de conditions de vérité ordinaires et que leur acceptabilité est égale à la probabilité conditionnelle du conséquent étant donné l'antécédent, ce qui explique mieux les données que le conditionnel matériel.

History

La lecture vérifonctionnelle de 'si' remonte aux Stoïciens et a été intégrée à la logique moderne par Frege et Russell. L'insatisfaction du XXe siècle face aux paradoxes qui en ont résulté a incité la défense pragmatique de Grice (implicature), la sémantique des mondes possibles de Stalnaker en 1968, et l'approche probabiliste d'Adams en 1975, l'enquête d'Edgington en 1995 ayant cristallisé le débat contemporain.

Debates

Conditionnels vérifonctionnels vs non vérifonctionnels

La question de savoir si les bizarreries du conditionnel matériel peuvent être expliquées pragmatiquement comme des implicatures gricéennes, préservant ainsi la vérifonctionnalité, ou si elles montrent plutôt que les conditionnels indicatifs ont un contenu probabiliste ou lié aux mondes possibles plutôt que des conditions de vérité matérielles.

Key figures

• Robert Stalnaker
• Ernest Adams
• Dorothy Edgington
• H. Paul Grice
• Frank Ramsey

Seminal works

• stalnaker1968
• adams1975
• edgington1995

Frequently asked questions

Quels sont les paradoxes de l'implication matérielle ?

Selon la lecture vérifonctionnelle, un conditionnel est automatiquement vrai chaque fois que son antécédent est faux ou que son conséquent est vrai. Cela rend vraies des phrases comme 'Si la lune est faite de fromage, alors 2+2=4', ce qui est en contradiction avec le jugement ordinaire selon lequel l'antécédent et le conséquent devraient être pertinents l'un par rapport à l'autre.