Existence, Meaning and the Law of Excluded ...
Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
Existence, Meaning and the Law of Excluded Middle. A dialogical approach to Hermann Weyl’s philosophical considerations
Auteur(s) :
McConaughey, Zoe [Auteur]
Centre interuniversitaire de recherche sur la science et la technologie [CIRST]
Université du Québec à Montréal = University of Québec in Montréal [UQAM]
Université de Lille - Faculté des Humanités [UL Humanités]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Centre interuniversitaire de recherche sur la science et la technologie [CIRST]
Université du Québec à Montréal = University of Québec in Montréal [UQAM]
Université de Lille - Faculté des Humanités [UL Humanités]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Titre de la revue :
Klesis - Revue philosophique
"Le tiers exclu" à travers les âges
"Le tiers exclu" à travers les âges
Éditeur :
Klesis
Date de publication :
2020
ISSN :
1954-3050
Discipline(s) HAL :
Sciences de l'Homme et Société/Philosophie
Résumé en anglais : [en]
Intuitionistic logic is often presented as a proof-based approach to logic, where truth is defined as having a proof. I shall stress another dimension which is also important: that of the constitution of meaning. This ...
Lire la suite >Intuitionistic logic is often presented as a proof-based approach to logic, where truth is defined as having a proof. I shall stress another dimension which is also important: that of the constitution of meaning. This dimension of meaning does not reduce to proof, be it actual or potential, as standard presentations of intuitionistic logic put it. The law of excluded middle sits right at the junction between these two dimensions, proof and meaning: in intuitionistic logic, there is no proof for the law of excluded middle, but the law of excluded middle is a proposition that does have meaning. It is thus a problematic case. Better understanding how these two levels, meaning and proof, dissociate and interact is the purpose of this paper. I contend that the dialogical framework, a logical framework developing first and foremost intuitionistic logic (though it can also accommodate classical logic), allows to separate these two levels, meaning and proof, and show how the level of proofs rests on the level of meaning. In this respect, the law of excluded middle becomes a meaning-constitutive principle, even if it is neither proved nor refuted. The dialogical framework can thus integrate the philosophical considerations of Hermann Weyl's "intuitionistic episode" of the 1920s, which, I contend, already present a similar distinction between the level of meaning and the level of existence.Lire moins >
Lire la suite >Intuitionistic logic is often presented as a proof-based approach to logic, where truth is defined as having a proof. I shall stress another dimension which is also important: that of the constitution of meaning. This dimension of meaning does not reduce to proof, be it actual or potential, as standard presentations of intuitionistic logic put it. The law of excluded middle sits right at the junction between these two dimensions, proof and meaning: in intuitionistic logic, there is no proof for the law of excluded middle, but the law of excluded middle is a proposition that does have meaning. It is thus a problematic case. Better understanding how these two levels, meaning and proof, dissociate and interact is the purpose of this paper. I contend that the dialogical framework, a logical framework developing first and foremost intuitionistic logic (though it can also accommodate classical logic), allows to separate these two levels, meaning and proof, and show how the level of proofs rests on the level of meaning. In this respect, the law of excluded middle becomes a meaning-constitutive principle, even if it is neither proved nor refuted. The dialogical framework can thus integrate the philosophical considerations of Hermann Weyl's "intuitionistic episode" of the 1920s, which, I contend, already present a similar distinction between the level of meaning and the level of existence.Lire moins >
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.archives-ouvertes.fr/hal-03036825/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-03036825/document
- Accès libre
- Accéder au document
- https://hal.archives-ouvertes.fr/hal-03036825/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- klesis-46-tiers-exclu-05-Zoe-McConaughey-Existence-Meaning-Law-Excluded-Middle-dialogical-approach-Hermann-Weyl.pdf
- Accès libre
- Accéder au document