Logic for PhilosophyLogic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers i) basic approaches to logic, including proof theory and especially model theory, ii) extensions of standard logic that are important in philosophy, and iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophy journal articles; its distinctive feature is that it is very user-friendly for students without an extensive background in mathematics; its niche is as the text for a "logical literacy" course. |
From inside the book
88 pages matching logic for philosophy sider in this book
Page 283
Where's the rest of this book?
Results 1-3 of 88
Contents
What is Logic? HH 246 | 1 |
Propositional Logic | 25 |
Beyond Standard Propositional Logic | 67 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
accessibility relation antecedent assignment g assumption axiomatic proofs axiomatic system axioms bachelor Barcan formula canonical model clause conditional proof construct containing contradiction counterfactual countermodel deduction theorem defined definition denotation deontic domain example Exercise exists fact false formula function symbols given induction inference instance interpretation function intuitionistic intuitively invalid lemma logical consequence logical constants logical truth logically implies mathematical means metalanguage metalogic metaphysical modal logic modal systems MPL-model natural numbers natural-language notion object P-world PL-interpretation possible worlds predicate logic premises propositional logic provable prove quantifiers real number reflexive represent result rule S-consistent S₁ S₂ semantic consequence sentence letters sequent sequent proof set of wffs SQML supervaluational Suppose for reductio tautology things trivalent interpretation true truth condition truth function truth tables truth values validity and semantic valuation function variable assignment