Logga in

Martino, Enrico

Intuitionistic Proof Versus Classical Truth

Martino, Enrico - Intuitionistic Proof Versus Classical Truth, e-bok

109,10€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783319743578
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. Brouwer, Dummett and the Bar Theorem
Enrico Martino

2. Creative Subject and Bar Theorem
Enrico Martino

3. Natural Intuitionistic Semantics and Generalized Beth Semantics
Enrico Martino

4. Connection Between the Principle of Inductive Evidence and the Bar Theorem
Enrico Martino

5. On the Brouwerian Concept of Negative Continuity
Enrico Martino

6. Classical and Intuitionistic Semantical Groundedness
Enrico Martino

7. Brouwer’s Equivalence Between Virtual and Inextensible Order
Enrico Martino

8. An Intuitionistic Notion of Hypothetical Truth for Which Strong Completeness Intuitionistically Holds
Enrico Martino

9. Propositions and Judgements in Martin-Löf
Enrico Martino

10. Negationless Intuitionism
Enrico Martino

11. Temporal and Atemporal Truth in Intuitionistic Mathematics
Enrico Martino

12. Arbitrary Reference in Mathematical Reasoning
Enrico Martino

13. The Priority of Arithmetical Truth over Arithmetical Provability
Enrico Martino

14. The Impredicativity of the Intuitionistic Meaning of Logical Constants
Enrico Martino

15. The Intuitionistic Meaning of Logical Constants and Fallible Models
Enrico Martino

Nyckelord: Philosophy, Philosophy of Mathematics, Mathematical Logic and Foundations, Philology, Mathematical Logic and Formal Languages, Logic

Författare
Utgivare
Springer
Utgivningsår
2018
Språk
en
Utgåva
1
Serie
Logic, Epistemology, and the Unity of Science
Sidantal
13 sidor
Kategori
Filosofi
Format
E-bok
eISBN (PDF)
9783319743578
Tryckt ISBN
978-3-319-74356-1

Liknande e-böcker