Existence, Meaning and the Law of Excluded Middle. A dialogical approach to Hermann Weyl’s philosophical considerations
Résumé
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.
Domaines
Philosophie
Fichier principal
klesis-46-tiers-exclu-05-Zoe-McConaughey-Existence-Meaning-Law-Excluded-Middle-dialogical-approach-Hermann-Weyl.pdf (258.1 Ko)
Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte