Intuitionist logic lacks the familiarity, the convenience, the simplicity, and the beauty of our logic ⋯ A kind of intuitive meaning is intended for its sentence connectives, and explained with the help of words and phrases like ‘refute’ and ‘follow from’; but these explanations go dim when one tries to respect the distinction between saying a sentence and talking about it. One does as well to bypass these explanations and go straight to Heyting's axiomatization of intuitionistic logic, ⋯
Quine,Philosophy of Logic
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hand, M. Negations in conflict. Erkenntnis 38, 115–129 (1993). https://doi.org/10.1007/BF01129025
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01129025