04538nam a22005415i 4500 978-3-031-52411-0 DE-He213 20251030113120.0 cr nn 008mamaa 241002s2024 sz | s |||| 0|eng d 9783031524110 978-3-031-52411-0 10.1007/978-3-031-52411-0 doi BC1-199 HPL bicssc PHI011000 bisacsh QDTL thema The Architecture and Archaeology of Modern Logic [electronic resource] : Studies Dedicated to Göran Sundholm / edited by Ansten Klev. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. VI, 510 p. 38 illus., 3 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Logic, Epistemology, and the Unity of Science, 2214-9783 ; 61 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. This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent work from leading logicians and philosophers. Reflecting Sundholm’s contributions to the history and philosophy of logic, this book is divided into two parts: the architecture and archaeology of logic. The essays collected in the ‘architecture’ section cover primarily the systematic approach to basic logical concepts taken by Sundholm, including type theory, epistemic assumptions, and notions of consequence. The ‘archaeology’ section includes contributions focused on Sundholm’s contributions to the history of philosophy and logic. Enclosing these two sections are, on the one end, autobiographical remarks of Sundholm's and, on the other, a paper on cooking and philosophy, reflecting another of Sundholm's passions in life. This book is of interest to logicians, philosophers, mathematicians, and computer scientists. Logic. 70674 Language and languages Philosophy. 73516 Philosophy History. 70495 Philosophical Logic. 76708 Philosophy of Language. 73518 History of Philosophy. 70497 Klev, Ansten. editor. edt http://id.loc.gov/vocabulary/relators/edt 85427 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031524103 Printed edition: 9783031524127 Printed edition: 9783031524134 Logic, Epistemology, and the Unity of Science, 2214-9783 ; 61 73718 https://doi.org/10.1007/978-3-031-52411-0 ZDB-2-REP ZDB-2-SXPR 63915 63915