Titlebook: Intuitionistic Proof Versus Classical Truth; The Role of Brouwer’ Enrico Martino Book 2018 Springer International Publishing AG 2018 Inform

獨(dú)特性

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

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

或者發(fā)神韻

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.