Enrico Martino

Intuitionistic Proof Versus Classical Truth (eBook, PDF)

The Role of Brouwer's Creative Subject in Intuitionistic Mathematics

• Format: PDF

Produktbeschreibung

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

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 170
• Erscheinungstermin: 23. Februar 2018
• Englisch
• ISBN-13: 9783319743578
• Artikelnr.: 52932561

Autorenporträt

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.

Inhaltsangabe

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.

Rezensionen

"Anyone with an interest in the murkier aspects of intuitionism will find this book well worth reading." (Peter Fletcher, Studia Logica, Vol. 107, 2019)