Logic and Philosophy: A Modern IntroductionThis text is designed for those who desire a comprehensive introduction to logic which is both rigorous and student friendly. Numerous, carefully graded exercise sets accompanied by crisp, clear exposition take the student from sentential logic through first order predicate logic with identity. The rules are carefully motivated and compared to other systems of rules for sentential and predicate logic. The text includes a solid range of additional material, including chapters devoted to Aristotelian logic, informal logic, inductive logic, and modal, epistemic, and deontic logics. Through all editions, the goal has been to make symbolic logic understandable for the typical student. Careful explanation and pedagogy make this the easiest text from which to learn symbolic logic. |
Contents
Symbolizing in Sentential Logic | 19 |
6 | 25 |
Material Biconditionals | 35 |
Copyright | |
138 other sections not shown
Common terms and phrases
antecedent argu argument forms argument is valid asserts assumed premise atomic sentences axiom system Betsy categorical categorical propositions Chapter compound sentence conclusion false conditional conditional proof Conj conjunction containing Contraposition deductively valid disjunction domain domain of discourse exam example Exercise existential quantifier fallacy formula free variable Fx Gx humans are mortal Impl implication inductive kind logically equivalent main connective material implication Mill's Methods modal modal logic negation occur predicate logic proposition prove quantifier rules replace restriction sentence form sentential logic Simp someone substitution instance syllogism tautology tence term theorem things true premises truth table truth tree truth-functional truth-value universal quantifier valid argument forms x)Fx x)Gx