... dans les langues IF de premier ordre, la loi du tiers exclu échoue inévitablement. *
(...)
Le type d'échec du principe du tiers exclu (dans la logique SI) est une conséquence combinatoire inévitable de la manière dont les quantificateurs et autres concepts interagissent les uns avec les autres. Cela n'a rien à voir avec les limites de la connaissance humaine. **
(...)
... le paradoxe du menteur a plus à voir avec notre concept de négation qu'avec notre concept de vérité." ***
(La "logique IF" et la "logique SI" sont deux approches différentes pour formaliser la sémantique des phrases conditionnelles.
La "logique IF" est une approche logique, qui se concentre sur la structure syntaxique des phrases conditionnelles. Elle utilise le connecteur logique "si ... alors ..." pour représenter la relation entre la condition et la conséquence.
La "logique SI" est une approche sémantique, qui se concentre sur la signification des phrases conditionnelles. Elle s'intéresse à la relation entre la condition et la conséquence dans le monde réel.
De manière simple, on peut dire que la "logique IF" est une approche "formelle" de la conditionnalité, tandis que la "logique SI" est une approche "réelle" de la conditionnalité.
En pratique, les deux approches sont souvent utilisées conjointement. La "logique IF" est utilisée pour formaliser la structure syntaxique des phrases conditionnelles, tandis que la "logique SI" est utilisée pour formaliser leur signification.)
Auteur:
Info: Le menteur démenti : la négation dans la logique IF. *p. 133, **p.134, ***p.135
Commentaires: 0