01819cam--2200421---450-99000349371020331620130710093853.0000349371USA01000349371(ALEPH)000349371USA0100034937120110209d--------km-y0itay50------baitaIT||||||||001yy<<La>> difficile antimafiapatrimoni di mafia : politiche criminali, sistemi normativi, risposte istituzionali e socialiatti del Seminario di studi organizzato in Roma, l'11 dicembre 2001, nella Sala del Refettorio di Palazzo San Macuto da: commissario straordinario del governo per la gestione e destinazione dei beni confiscati ad organizzazioni criminali, direzione nazionale antimafia a cura di Margherita Vallefuoco e Antonio Gialanellaa cura di Margherita Vallefuoco e Antonio Gialanella[S.l. : s.n.]2002(Roma : Tipocartotecnica Rinascimento)312 p.24 cmMafiaAtti di congressiBNCF364.10622VALLEFUOCO,MargheritaGIALANELLA,AntonioITsalbcISBD990003493710203316XXVI.1.E. 15465326 G.XXVI.1.E.00280667XXVI.1.E. 154 a18695 E.C.XXVI.1.E.00296258XXVI.1.E. 154 b241157 L.M.XXVI.1.E.00314810BKGIUCHIARA9020110209USA011252CHIARA9020110209USA011301CHIARA9020110505USA011512CHIARA9020110505USA011512CHIARA9020110505USA011515PASSARO9020130710USA010937PASSARO9020130710USA010938Difficile antimafia1111102UNISA04333nam 22005895 450 991089618930332120251113184809.09783031524110303152411X10.1007/978-3-031-52411-0(CKB)36251285700041(MiAaPQ)EBC31696310(Au-PeEL)EBL31696310(DE-He213)978-3-031-52411-0(EXLCZ)993625128570004120241002d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierThe Architecture and Archaeology of Modern Logic Studies Dedicated to Göran Sundholm /edited by Ansten Klev1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (505 pages)Logic, Epistemology, and the Unity of Science,2214-9783 ;619783031524103 3031524101 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, Epistemology, and the Unity of Science,2214-9783 ;61LogicLanguage and languagesPhilosophyPhilosophyHistoryPhilosophical LogicPhilosophy of LanguageHistory of PhilosophyLogic.Language and languagesPhilosophy.PhilosophyHistory.Philosophical Logic.Philosophy of Language.History of Philosophy.160Klev Ansten1769567MiAaPQMiAaPQMiAaPQBOOK9910896189303321The Architecture and Archaeology of Modern Logic4241160UNINA