Modal logic as metaphysics
著者
書誌事項
Modal logic as metaphysics
Oxford University Press, c2013
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [430]-450) and index
内容説明・目次
内容説明
Are there such things as merely possible people, who would have lived if our ancestors had acted differently? Are there future people, who have not yet been conceived? Questions like those raise deep issues about both the nature of being and its logical relations with contingency and change. In Modal Logic as Metaphysics, Timothy Williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying the
technical resources of modal logic to provide structural cores for metaphysical theories. He rejects the search for a metaphysically neutral logic as futile. The book contains detailed historical discussion of how the metaphysical issues emerged in the twentieth century development of quantified modal logic,
through the work of such figures as Rudolf Carnap, Ruth Barcan Marcus, Arthur Prior, and Saul Kripke. It proposes higher-order modal logic as a new setting in which to resolve such metaphysical questions scientifically, by the construction of systematic logical theories embodying rival answers and their comparison by normal scientific standards. Williamson provides both a rigorous introduction to the technical background needed to understand metaphysical questions in quantified modal logic and
an extended argument for controversial, provocative answers to them. He gives original, precise treatments of topics including the relation between logic and metaphysics, the methodology of theory choice in philosophy, the nature of possible worlds and their role in semantics, plural quantification
compared to quantification into predicate position, communication across metaphysical disagreement, and problems for truthmaker theory.
目次
- Preface
- 1. Contingentism and Necessitism
- 2. The Barcan Formula and its Converse: Early Developments
- 3. Possible Worlds Model Theory
- 4. Predication and Modality
- 5. From First-Order to Higher-Order Modal Logic
- 6. Intensional Comprehension Principles and Metaphysics
- 7. Mappings between Contingentist and Necessitist Discourse
- 8. Consequences of necessitism
- Methodological Afterword
- Bibliography
- Index
「Nielsen BookData」 より