LEADER 01331nam0 22003133i 450 001 VAN00284506 005 20250410114320.284 010 $a979-12-596-7637-5 100 $a20250109d2024 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆLa ‰sconfitta dell'Occidente$fEmmanuel Todd$gcon la collaborazione di Baptiste Touverey$gtraduzione di Alessandro Ciappa e Michele Zurlo 210 $aRoma$cFazi$d2024 215 $a354 p.$cill. , carte geografiche$d20 cm 410 1$1001VAN00290717$12001 $aˆLe ‰terre$1300 $aNon tenere conto delle sezioni, numerazione progressiva$v282 500 1$3VAN00284507$aˆLa ‰défaite de l'Occident$94307111 620 $dRoma$3VANL000360 700 1$aTodd$bEmmanuel$3VANV238306$0151130 702 1$aCiappa$bAlessandro$3VANV233069$4730 702 1$aZurlo$bMichele$3VANV238308$4730 702 1$aTouverey$bBaptiste$3VANV238307 712 $aFazi $3VANV108473$4650 801 $aIT$bSOL$c20250411$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00284506 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS VIII.Eo.1063 $e00UBG14784 20250109 996 $aDéfaite de l'Occident$94307111 997 $aUNICAMPANIA LEADER 04333nam 22005895 450 001 9910896189303321 005 20251113184809.0 010 $a9783031524110 010 $a303152411X 024 7 $a10.1007/978-3-031-52411-0 035 $a(CKB)36251285700041 035 $a(MiAaPQ)EBC31696310 035 $a(Au-PeEL)EBL31696310 035 $a(DE-He213)978-3-031-52411-0 035 $a(EXLCZ)9936251285700041 100 $a20241002d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe Architecture and Archaeology of Modern Logic $eStudies Dedicated to Göran Sundholm /$fedited by Ansten Klev 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (505 pages) 225 1 $aLogic, Epistemology, and the Unity of Science,$x2214-9783 ;$v61 311 08$a9783031524103 311 08$a3031524101 327 $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. 330 $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. 410 0$aLogic, Epistemology, and the Unity of Science,$x2214-9783 ;$v61 606 $aLogic 606 $aLanguage and languages$xPhilosophy 606 $aPhilosophy$xHistory 606 $aPhilosophical Logic 606 $aPhilosophy of Language 606 $aHistory of Philosophy 615 0$aLogic. 615 0$aLanguage and languages$xPhilosophy. 615 0$aPhilosophy$xHistory. 615 14$aPhilosophical Logic. 615 24$aPhilosophy of Language. 615 24$aHistory of Philosophy. 676 $a160 700 $aKlev$b Ansten$01769567 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910896189303321 996 $aThe Architecture and Archaeology of Modern Logic$94241160 997 $aUNINA