Logique libre et présupposition

La logique classique suppose que chaque terme singulier dénote ; la logique libre assouplit cette exigence pour gérer les noms vides comme 'Pégase' et les descriptions définies qui ne réfèrent pas.

Definition

La logique libre est un système de quantification dont les termes singuliers n'ont pas nécessairement besoin de dénoter des objets existants, de sorte que les inférences telles que le passage de 'a est F' à 'quelque chose est F' ne sont valides qu'avec la prémisse supplémentaire que a existe.

Scope

Ce sujet aborde la logique libre — une logique exempte d'hypothèses d'existence pour ses termes singuliers — et le phénomène étroitement lié de l'échec de la présupposition. Il examine comment les logiques libres modifient les règles classiques de l'instanciation universelle et de la généralisation existentielle pour les termes non dénotants, les variantes positive, négative et neutre (supervaluationnelle), ainsi que le contexte philosophique du débat Russell-Strawson concernant l'attribution de valeurs de vérité aux phrases contenant des descriptions non référentielles.

Core questions

• Comment la logique devrait-elle traiter les phrases contenant des noms vides ou des descriptions échouées ?
• De telles phrases manquent-elles d'une valeur de vérité (échec de la présupposition) ou sont-elles fausses ?
• Quelles règles d'inférence classiques doivent être restreintes lorsque les termes peuvent ne pas dénoter ?
• L'existence est-elle un prédicat, et comment les quantificateurs devraient-ils se rapporter à l'existence ?

Key concepts

• termes singuliers non dénotants
• instanciation universelle et généralisation existentielle
• logique libre positive, négative et neutre
• échec de la présupposition
• lacunes de valeur de vérité
• l'existence comme prédicat

Key theories

Logique libre

Lambert systématise les logiques dans lesquelles les termes singuliers peuvent être vides ; l'instanciation universelle et la généralisation existentielle sont qualifiées par une hypothèse d'existence, et les variantes diffèrent quant aux valeurs de vérité des phrases atomiques avec des termes non dénotants.

Présupposition et lacunes de valeur de vérité

Strawson soutient qu'une phrase utilisant une description non référentielle (le 'roi actuel de France' de Russell) présuppose plutôt qu'elle n'affirme l'existence et n'est donc ni vraie ni fausse ; van Fraassen modélise cela avec des supervaluations.

History

La théorie des descriptions de Russell de 1905 traitait les termes vides par l'analyse plutôt que par une révision logique ; la réponse de Strawson en 1950 introduisit la présupposition et les lacunes de valeur de vérité. À partir des années 1960, Lambert a inventé et développé la logique libre comme une alternative systématique, et van Fraassen a fourni une sémantique supervaluationnelle pour les lacunes qui en résultent.

Debates

Faux ou sans valeur de vérité ?

La question de savoir si les phrases avec des termes non référentiels sont simplement fausses, comme l'implique la théorie des descriptions de Russell, ou si elles souffrent d'un échec de la présupposition et manquent d'une valeur de vérité, comme le soutiennent Strawson et le logicien libre supervaluationnel.

Key figures

• Karel Lambert
• P. F. Strawson
• Bas van Fraassen
• Bertrand Russell
• Hugues Leblanc

Seminal works

• strawson1950
• lambert2003

Frequently asked questions

Pourquoi la logique classique ne peut-elle pas gérer les noms vides ?

La logique classique autorise l'inférence de 'quelque chose est F' à partir de 'a est F' pour tout terme a, ce qui échoue si a ne dénote rien — par exemple, inférer que quelque chose est un cheval ailé à partir de 'Pégase est un cheval ailé'. La logique libre restreint de telles inférences de sorte qu'elles exigent la prémisse supplémentaire que l'objet nommé existe.