04335nam a22004935i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001200172072001600184072002300200072001600223245014300239250001800382264006900400300006300469336002600532337002600558338003600584347002400620490006800644505136700712520114702079650001803226650004703244650003203291650003203323650003503355650003403390700008203424710003403506773002603540776003603566776003603602776003603638830007503674856004603749912001403795912001503809999001703824978-3-031-52411-0DE-He21320251030113120.0cr nn 008mamaa241002s2024    sz |    s    |||| 0|eng d  a97830315241109978-3-031-52411-07 a10.1007/978-3-031-52411-02doi 4aBC1-199 7aHPL2bicssc 7aPHI0110002bisacsh 7aQDTL2thema14aThe Architecture and Archaeology of Modern Logich[electronic resource] :bStudies Dedicated to Göran Sundholm /cedited by Ansten Klev.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aVI, 510 p. 38 illus., 3 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLogic, Epistemology, and the Unity of Science,x2214-9783 ;v610 aChapter 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.  aThis 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. 0aLogic.970674 0aLanguage and languagesxPhilosophy.973516 0aPhilosophyxHistory.97049514aPhilosophical Logic.97670824aPhilosophy of Language.97351824aHistory of Philosophy.9704971 aKlev, Ansten.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9854272 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303152410308iPrinted edition:z978303152412708iPrinted edition:z9783031524134 0aLogic, Epistemology, and the Unity of Science,x2214-9783 ;v6197371840uhttps://doi.org/10.1007/978-3-031-52411-0  aZDB-2-REP  aZDB-2-SXPR  c63915d63915