独特性
发表于 2025-3-30 11:06:20
Brouwer, Dummett and the Bar Theorem,It is criticised Dummett’s refutation of Brouwer’s dogma. It is argued that his criticism rests on an erroneous interpretation of Brouwer’s idea of “canonical proof”.
Indigence
发表于 2025-3-30 13:44:14
Creative Subject and Bar Theorem,In the present article, a reasonably precise description of Brouwer’s notion of “creative subject” is proposed and an axiom is introduced which is conceptually equivalent to the bar theorem.
Bereavement
发表于 2025-3-30 20:25:34
http://reply.papertrans.cn/48/4746/474544/474544_53.png
或者发神韵
发表于 2025-3-30 22:35:14
Classical and Intuitionistic Semantical Groundedness,Kripke’s notion of semantical groundedness for classical logic is developed in an intuitionistic framework. It is argued that semantical groundedness yields the most natural solution of the semantical paradoxes.