Login

Martino, Enrico

Intuitionistic Proof Versus Classical Truth

Martino, Enrico - Intuitionistic Proof Versus Classical Truth, ebook

123,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319743578
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

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

Author(s)
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Series
Logic, Epistemology, and the Unity of Science
Category
Philosophy
Format
Ebook
eISBN (PDF)
9783319743578
Printed ISBN
978-3-319-74356-1

Similar titles