Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers - both new and previously published - it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author expl...

Celý popis

Uložené v:
Podrobná bibliografia
Hlavný autor: Martino, Enrico (Autor)
Médium: Elektronický zdroj E-kniha
Jazyk:English
Vydavateľské údaje: Cham : Springer International Publishing, 2018.
Vydanie:1st ed. 2018.
Edícia:Logic, Epistemology, and the Unity of Science, 42
Predmet:
Mathematics-Philosophy.
Mathematical logic.
Philology.
Logic.
ISBN:9783319743578
ISSN:2214-9775 ;
On-line prístup: Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Obsah:
  • 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.

Podobné jednotky