Saul Kripke on Modal Logic
Herausgegeben:Weiss, Yale; Birman, Romina
Saul Kripke on Modal Logic
Herausgegeben:Weiss, Yale; Birman, Romina
- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke's singular contributions to modal logic. Kripke's work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically oriented philosophers but to theoretical computer scientists and others as well. This volume features previously unpublished work of Kripke's as well as a brief intellectual biography recounting the story of how Kripke became interested in, and made his first contributions to, modal logic. However, the…mehr
Andere Kunden interessierten sich auch für
- Melvin FittingFirst-Order Modal Logic88,99 €
- Melvin FittingFirst-Order Modal Logic88,99 €
- Walter CarnielliModalities and Multimodalities110,99 €
- Walter CarnielliModalities and Multimodalities110,99 €
- Heinrich WansingDisplaying Modal Logic103,99 €
- Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs103,99 €
- Proof Theory of Modal Logic125,99 €
-
-
-
This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke's singular contributions to modal logic. Kripke's work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically oriented philosophers but to theoretical computer scientists and others as well. This volume features previously unpublished work of Kripke's as well as a brief intellectual biography recounting the story of how Kripke became interested in, and made his first contributions to, modal logic. However, the majority of the volume's contributions are forward-looking, and produce new philosophical and technical insights by engaging with ideas tracing back to Kripke.
Produktdetails
- Produktdetails
- Outstanding Contributions to Logic 30
- Verlag: Kripke Center Fund / Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-031-57634-8
- 2024
- Seitenzahl: 452
- Erscheinungstermin: 3. Oktober 2024
- Englisch
- Abmessung: 241mm x 160mm x 30mm
- Gewicht: 783g
- ISBN-13: 9783031576348
- ISBN-10: 3031576349
- Artikelnr.: 70022594
- Outstanding Contributions to Logic 30
- Verlag: Kripke Center Fund / Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-031-57634-8
- 2024
- Seitenzahl: 452
- Erscheinungstermin: 3. Oktober 2024
- Englisch
- Abmessung: 241mm x 160mm x 30mm
- Gewicht: 783g
- ISBN-13: 9783031576348
- ISBN-10: 3031576349
- Artikelnr.: 70022594
Yale Weiss is the Assistant Director of the Saul Kripke Center at the Graduate Center of the City University of New York. He received his PhD from the Graduate Center in 2019. He has published widely on logic (including on conditional, connexive, intuitionistic, modal, and relevance logic) and its history (with a focus on ancient logic). Romina Birman (née Padró) is the Director of the Saul Kripke Center at the Graduate Center of the City University of New York. She received her PhD from the Graduate Center in 2015, with a dissertation entitled, "What the Tortoise Said to Kripke: The Adoption Problem and the Epistemology of Logic". Her research focuses on the epistemology of logic and the philosophy of language. She collaborated with Saul Kripke on numerous projects, including Philosophical Troubles.
Chapter 1: Introduction (Yale Weiss and Romina Birman).- Chapter 2: Saul Kripke: A portrait of the modal logician as a young man (Yale Weiss and Romina Birman).- Chapter 3: Beyond knowledge of the model (Sergei Artemov).- Chapter 4: The logic of logical necessity.- Chapter 5: Relational patterns, partiality, and set lifting in modal semantics (Johan van Benthem).- Chapter 6: Entailment, mingle and binary accessibility (Katalin Bimbó and J. Michael Dunn).- Chapter 7: Modal, Fuzzy, . . . , Vanilla fixpoint theories of truth: A uniform approach (Melvin Fitting).- Chapter 8: Logics for rigidity (James W. Garson).- Chapter 9: A letter from Kripke to Lewis (Saul A. Kripke).- Chapter 10: Individual concepts: Their logic, philosophy, and some of their uses (Saul A. Kripke).- Chapter 11: Nested sequents or tree-hypersequents - A survey (Björn Lellmann and Francesca Poggiolesi).- Chapter 12: A proof-theoretic approach to formal epistemology (Sara Negri and Edi Pavlovic).- Chapter 13: Mission impossible (Graham Priest).- Chapter 14: Substructural negations as normal modal operators (Heinrich Wansing).- Chapter 15: New(ish) foundations for theories of entailment (Yale Weiss).- Chapter 16: Accepting a logic, accepting a theory (Timothy Williamson).
Chapter 1: Introduction (Yale Weiss and Romina Birman).- Chapter 2: Saul Kripke: A portrait of the modal logician as a young man (Yale Weiss and Romina Birman).- Chapter 3: Beyond knowledge of the model (Sergei Artemov).- Chapter 4: The logic of logical necessity.- Chapter 5: Relational patterns, partiality, and set lifting in modal semantics (Johan van Benthem).- Chapter 6: Entailment, mingle and binary accessibility (Katalin Bimbó and J. Michael Dunn).- Chapter 7: Modal, Fuzzy, . . . , Vanilla fixpoint theories of truth: A uniform approach (Melvin Fitting).- Chapter 8: Logics for rigidity (James W. Garson).- Chapter 9: A letter from Kripke to Lewis (Saul A. Kripke).- Chapter 10: Individual concepts: Their logic, philosophy, and some of their uses (Saul A. Kripke).- Chapter 11: Nested sequents or tree-hypersequents – A survey (Björn Lellmann and Francesca Poggiolesi).- Chapter 12: A proof-theoretic approach to formal epistemology (Sara Negri and Edi Pavlović).- Chapter 13: Mission impossible (Graham Priest).- Chapter 14: Substructural negations as normal modal operators (Heinrich Wansing).- Chapter 15: New(ish) foundations for theories of entailment (Yale Weiss).- Chapter 16: Accepting a logic, accepting a theory (Timothy Williamson).
Chapter 1: Introduction (Yale Weiss and Romina Birman).- Chapter 2: Saul Kripke: A portrait of the modal logician as a young man (Yale Weiss and Romina Birman).- Chapter 3: Beyond knowledge of the model (Sergei Artemov).- Chapter 4: The logic of logical necessity.- Chapter 5: Relational patterns, partiality, and set lifting in modal semantics (Johan van Benthem).- Chapter 6: Entailment, mingle and binary accessibility (Katalin Bimbó and J. Michael Dunn).- Chapter 7: Modal, Fuzzy, . . . , Vanilla fixpoint theories of truth: A uniform approach (Melvin Fitting).- Chapter 8: Logics for rigidity (James W. Garson).- Chapter 9: A letter from Kripke to Lewis (Saul A. Kripke).- Chapter 10: Individual concepts: Their logic, philosophy, and some of their uses (Saul A. Kripke).- Chapter 11: Nested sequents or tree-hypersequents - A survey (Björn Lellmann and Francesca Poggiolesi).- Chapter 12: A proof-theoretic approach to formal epistemology (Sara Negri and Edi Pavlovic).- Chapter 13: Mission impossible (Graham Priest).- Chapter 14: Substructural negations as normal modal operators (Heinrich Wansing).- Chapter 15: New(ish) foundations for theories of entailment (Yale Weiss).- Chapter 16: Accepting a logic, accepting a theory (Timothy Williamson).
Chapter 1: Introduction (Yale Weiss and Romina Birman).- Chapter 2: Saul Kripke: A portrait of the modal logician as a young man (Yale Weiss and Romina Birman).- Chapter 3: Beyond knowledge of the model (Sergei Artemov).- Chapter 4: The logic of logical necessity.- Chapter 5: Relational patterns, partiality, and set lifting in modal semantics (Johan van Benthem).- Chapter 6: Entailment, mingle and binary accessibility (Katalin Bimbó and J. Michael Dunn).- Chapter 7: Modal, Fuzzy, . . . , Vanilla fixpoint theories of truth: A uniform approach (Melvin Fitting).- Chapter 8: Logics for rigidity (James W. Garson).- Chapter 9: A letter from Kripke to Lewis (Saul A. Kripke).- Chapter 10: Individual concepts: Their logic, philosophy, and some of their uses (Saul A. Kripke).- Chapter 11: Nested sequents or tree-hypersequents – A survey (Björn Lellmann and Francesca Poggiolesi).- Chapter 12: A proof-theoretic approach to formal epistemology (Sara Negri and Edi Pavlović).- Chapter 13: Mission impossible (Graham Priest).- Chapter 14: Substructural negations as normal modal operators (Heinrich Wansing).- Chapter 15: New(ish) foundations for theories of entailment (Yale Weiss).- Chapter 16: Accepting a logic, accepting a theory (Timothy Williamson).