Remark on the hypothetical judgment
Logic in Computer Science
2015-11-30 v4 Logic
Abstract
What is the proper explanation of intuitionistic hypothetical judgment, and thence propositional implication? The answer is unclear from the writings of Brouwer and Heyting, who in their lifetimes propounded multiple (sometimes conflicting) explanations of the hypothetical judgment. To my mind, the determination of an acceptable explanation must take into account its adequacy for the expression of the bar theorem and, more generally, the development of an open-ended framework for transcendental arguments in mathematics.
Keywords
Cite
@article{arxiv.1508.01600,
title = {Remark on the hypothetical judgment},
author = {Jonathan Sterling},
journal= {arXiv preprint arXiv:1508.01600},
year = {2015}
}