クリプキと様相論理学<br>Saul Kripke on Modal Logic (Outstanding Contributions to Logic) (2024)

個数:

クリプキと様相論理学
Saul Kripke on Modal Logic (Outstanding Contributions to Logic) (2024)

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
    3. 美品のご指定は承りかねます。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版/ページ数 437 p.
  • 言語 ENG
  • 商品コード 9783031576348

Full Description

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.

Contents

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

最近チェックした商品