• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod: NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Språk och ordböcker
    2. Språkvetenskap och lingvistik

    Architecture and Archaeology of Modern Logic

    Studies Dedicated to Göran Sundholm

    AvAnsten Klev

    Inbunden, Engelska, 2024

    Del 61 i serien Logic, Epistemology, and the Unity of Science

    1 734 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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, reflectinganother of Sundholm's passions in life. This book is of interest to logicians, philosophers, mathematicians, and computer scientists.

    Produktinformation

    • Utgivningsdatum:2024-10-03
    • Mått:155 x 235 x 34 mm
    • Vikt:934 g
    • Format:Inbunden
    • Språk:Engelska
    • Serie:Logic, Epistemology, and the Unity of Science
    • Antal sidor:510
    • Förlag:Springer International Publishing AG
    • ISBN:9783031524103

    Utforska kategorier

    • Språkvetenskap och lingvistik inom Språk och ordböcker
    • Filosofiska discipliner inom Filosofi och religion

    Mer om författaren

    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.

    Innehållsförteckning

    • 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.