-
Views
-
Cite
Cite
Charles McCarty, The Coherence of Antirealism, Mind, Volume 115, Issue 460, October 2006, Pages 947–956, https://doi.org/10.1093/mind/fzl947
- Share Icon Share
Abstract
The project of antirealism is to construct an assertibility semantics on which (1) the truth of statements obeys a recognition condition so that (2) counterexamples are forthcoming to the law of the excluded third and (3) intuitionistic formal predicate logic is provably sound and complete with respect to the associated notion of validity. Using principles of intuitionistic mathematics and employing only intuitionistically correct inferences, we show that prima facie reasonable formulations of (1), (2), and (3) are inconsistent. Therefore, it should not be assumed that the project of anti-realism as it bears upon intuitionistic mathematics and logic can be accomplished.