書籍詳細
哲学的論理学：現代的入門
Philosophical Logic : A Contemporary Introduction
(Routledge Contemporary Introductions to Philosophy)
MacFarlane, John
Routledge 2020/12
238 p. 22 cm
装丁:
Pap
版表示など:
pap.
装丁について
テキストの言語:
ENG
出版国:
GB
ISBN:
9781138737655
装丁違いISBN:
113873764X
KCN:
1032770649
紀伊國屋書店 選定タイトル
標準価格：
￥7,547（本体 ￥6,861）
Web販売価格あり
Web販売価格について
為替レートの変動や出版社の都合によって、価格が変動する場合がございます。
この商品は紀伊國屋書店在庫センターから出荷予定です。
納期について
DDC:
100
Annotation
In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course.
Full Description
Introductory logic is generally taught as a straightforward technical discipline. In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course. The book explores the following questions. Are there quantificational idioms that cannot be expressed with the familiar universal and existential quantifiers? How can logic be extended to capture modal notions like necessity and obligation? Does the material conditional adequately capture the meaning of 'if'-and if not, what are the alternatives? Should logical consequence be understood in terms of models or in terms of proofs? Can one intelligibly question the validity of basic logical principles like Modus Ponens or Double Negation Elimination? Is the fact that classical logic validates the inference from a contradiction to anything a flaw, and if so, how can logic be modified to repair it? How, exactly, is logic related to reasoning? Must classical logic be revised in order to be applied to vague language, and if so how? Each chapter is organized around suggested readings and includes exercises designed to deepen the reader's understanding. Key Features: An integrated treatment of the technical and philosophical issues comprising philosophical logic Designed to serve students taking only one course in logic beyond the introductory level Provides tools and concepts necessary to understand work in many areas of analytic philosophy Includes exercises, suggested readings, and suggestions for further exploration in each chapter Preface 1 Fundamentals 1.1 Propositional logic 1.2 Predicate logic 1.3 Identity 1.4 Use and mention 2 Quantifiers 2.1 Beyond and 2.2 Definite descriptions 2.3 Second-order quantifiers 2.4 Substitutional quantifiers 3 Modal Logic 3.1 Modal propositional logic 3.2 Modal predicate logic 3.3 The slingshot argument 3.4 Kripke's defense of de re modality 4 Conditionals 4.1 The material conditional 4.2 No truth conditions? 4.3 Stalnaker's semantics and pragmatics 4.4 Is Modus Ponens valid? 5 Logical Consequence via Models 5.1 Informal characterizations of consequence 5.2 Tarski's account of logical consequence 5.3 Interpretational and representational semantics 6 Logical Consequence via Proofs 6.1 Introduction rules as self-justifying 6.2 Prawitz's proof-theoretic account of consequence 6.3 Intuitionistic logic 6.4 Kripke semantics for intuitionistic logic 6.5 Fundamental logical disagreement 7 Relevance, Logic, and Reasoning 7.1 Motivations for relevance logic 7.2 The Lewis Argument 7.3 First-degree entailment 7.4 Logic and reasoning 7.5 Uses for relevance logic 8 Vagueness and the Sorites Paradox 8.1 What is vagueness? 8.2 Three-valued logics 8.3 Fuzzy logics 8.4 Supervaluations 8.5 Vagueness in the world? Appendix A: Greek Letters Appendix B: Set-Theoretic Notation Appendix C: Proving Unrepresentability