Symbolic LogicFor courses in Formal Logic. The general approach of this book to logic remains the same as in earlier editions. Following Aristotle, we regard logic from two different points of view: on the one hand, logic is an instrument or organon for appraising the correctness of reasoning; on the other hand, the principles and methods of logic used as organon are interesting and important topics to be themselves systematically investigated. |
Contents
Logic and Language | 1 |
Arguments Containing Compound Statements | 8 |
The Method of Deduction | 32 |
Copyright | |
7 other sections not shown
Other editions - View all
Common terms and phrases
applying the Nicod argument form asserts assigned the truth attribute Axiom cardinal compound statement conclusion Conditional Proof Conj conjunction contains cuff Deduction Theorem deductive system defined definition demonstration denote derived rule disjunction existential expression F F F false finite formal proof formed formulas free occurrence Hence infinite invalid logically equivalent logistic system metalanguage Metatheorem natural numbers negation Nicod Rule normal form notation object language occur free ordinal numbers Ɔ Q P₁ P₂ postulates preceding premisses prenex normal form principle proof of validity propositional function propositional symbols proved Pv Q Q Ɔ quantifier relation result of applying RS₁ Rule to lines Rules of Inference S₁ S₂ sequence set theory Simp substitution instance tautology theorems true truth function truth table truth value truth-functional universal quantification valid argument x)Fx