The Architecture and Archaeology of Modern Logic: Studies Dedicated to Göran Sundholm

Author:   Ansten Klev
Publisher:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   61
ISBN:  

9783031524103


Pages:   510
Publication Date:   03 October 2024
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $448.77 Quantity:  
Add to Cart

Share |

The Architecture and Archaeology of Modern Logic: Studies Dedicated to Göran Sundholm


Add your own review!

Overview

Full Product Details

Author:   Ansten Klev
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   61
ISBN:  

9783031524103


ISBN 10:   3031524101
Pages:   510
Publication Date:   03 October 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

"Chapter 1: A brief summary of Göran Sundholm's philosophical work.- Chapter 2: Formative experiences.- Chapter 3: Bibliography.- Chapter 4: Epistemic assumptions: Are they assumed to be backwards vindicated or forwards vindicable?.- Chapter 5: Dialogical logic and constructive type theory: New explorations.- Chapter 6:  Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics.- Chapter 7: How to classify varieties of consequence.- Chapter 8: Informal classical and intuitionistic proofs together.- Chapter 9: Judgmental and definitional equality from a Fregean perspective.- Chapter 10: ""Sind die Zahlformeln beweisbar?"".- Chapter 11: Handling mobility failures by modal types.- Chapter 12: The ideal of unity of science tested against the Liar.- Chapter 13: Vindicating the future: A dialogical stance on Belnap's approach to tomorrow's sea battle.- Chapter 14: Goodbye Oxhead. Prolegomena to the philosophy of the letter.- Chapter 15: Logical deducibility and logicality in 1837.- Chapter 16: Frege on knowing the fundamental laws of logic.- Chapter 17: Sundholm on Wittgenstein and Realism.- Chapter 18: Becker's rule is not Becker's rule.- Chapter 19: Judgment and commitment.- Chapter 20: Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity.- Chapter 21: Gastronomical Platonism."

Reviews

Author Information

Ansten Klev is a researcher in the Institute of Philosophy at the Czech Academy of Sciences in Prague, where has been since 2015. Before moving to Prague, he obtained a PhD in philosophy under Göran Sundholm at Leiden University. Most of his work concerns philosophical aspects of Per Martin-Löf's constructive type theory. A topic of special interest, on which he has published a number of articles, has been the treatment of identity within this type theory. His other research interests include the philosophies of logic and mathematics more broadly, as well as the words and works of Rudolf Carnap, Richard Dedekind, Gottlob Frege, and Edmund Husserl.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List