Intuitionistic Proof Versus Classical Truth

Intuitionistic Proof Versus Classical Truth

The Role of Brouwer's Creative Subject in Intuitionistic Mathematics

Martino, Enrico

Springer International Publishing AG

03/2018

170

Dura

Inglês

9783319743561

15 a 20 dias

4026

Descrição não disponível.
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-Loef.- 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.
Informal Intuitionistic Proof;Creative Subject;Bar Theorem;Type Theory;Constructivism;Inductive Evidence;Semantical Groundedness;Impredicativity;Intuitionistic Choice Sequences;Beth-Models;Fallible Models;Brouwer realistic truth;Brouwer classical truth;Brouwer intuitionistic truth;Brouwer creative subject;Brouwer Michael Dummett;Brouwer Saul Kripke;Brouwer Per Martin-Loef;Brouwer Arend Heyting