Intuitionistic Proof Versus Classical Truth

Offers a new analysis of the role of Brouwer's creative subject

Details realistic aspects in the idealization of the creative subject

Examines the hidden role of acts of choice even in classical logic and mathematics

Offers a new analysis of the role of Brouwer's creative subject Details realistic aspects of the idealization of the creative subject Examines the hidden role of acts of choice even in classical logic and mathematics

Autorentext
Enrico Martino was associated professor (now retired) of Logic and Philosophy of Mathematics in the department of Mathematics and, subsequently of FISPPA of the University of Padua. His main interests are Philosophy of Logic and Mathematics.

Inhalt
Brouwer, Dummett and the bar theorem.- Creative subject and bar theorem.- Natural intuitionistic semantics and generalized Beth semantics.- Connection between the principle of inductive evidence and the bar theorem.- On the Brouwerian concept of negative continuity.- Classical and intuitionistic semantical groundedness.- Brouwer's equivalence between virtual and inextensible order.- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds.- Propositions and judgements in Martin-Löf.- Negationless Intuitionism.- Temporal and atemporal truth in intuitionistic mathematics.- Arbitrary reference in mathematical reasoning.- The priority of arithmetical truth over arithmetical provability.- The impredicativity of the intuitionistic meaning of logical constants.- The intuitionistic meaning of logical constants and fallible models.