Remark on the hypothetical judgment

Por • 26 mar, 2020 • Sección: Filosofía

Jonathan Sterling

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.

arXiv:1508.01600v4 [cs.LO]

Logic in Computer Science (cs.LO); Logic (math.LO)

Post to Twitter

Escribe un comentario