PHIL 220: SYMBOLIC LOGIC

Winter 2006(term 2)

Section 001: Wed, Fri.: 9:30-10:20 ART 112 Group A(students whose last names start with letters A-K) Mon: 9:30-10:20 ART 215 Group B(students whose last names start with letters L-Z) Mon: 9:30-10:20 SCI 126 Instructor: Dr. P. Wrzesniewski Teaching Assistant: Mr. Richard Ouimet Office: ART 314 Office: ART 352 Phone: 807 9334 Office hours: Mon. 10:30-11:30 Office hours: Mon. 10:3011:30 Wed. 10:30-11:30 Fri. 8:30- 9:30

Required Text:

J. Barwise, J. Etchemedy: Language, Proof and Logic, CSLI Publications, Stanford, CA, 2002. Educational Aid: Language, Proof and Logic (computer software that includes: Tarski's World, Fitch, and Boole) Course web-CT

Course Description:
This course covers propositional logic (semantic and the proof method), monadic predicate logic, relational predicate logic, theory of relations, and elements of metalogic.

Teaching format:
Class time will be divided between lecturing, discussion, and working of examples. As symbolic logic can only be learned by practice, exercises will be assigned regularly as a follow-up for the work done in class.

Course Work:
Two (2) in-class, non-cumulative class tests will be written on Wednesdays: February 7th, and March 14th). The tests will constitute 40% of the course work (20% each). A two and one-half (2 1/2) final examination, worth 40% of the total grade, will be held during the examination period. Five (5) home assignments assigned on a bi-weekly basis will constitute the remaining 20% of the course work. Late homework assignments are penalized 10% per day late. There will be also the optional make-up test, administered during the last week of the term, result of which will replace the worst 10% of any other term work.

-2-

Course syllabus:

Propositional Logic WEEK 1: Language of first-order logic. Individual constants and predicate symbols. Atomic sentences (textbook ch.1, Tarski's World) WEEK 2: Arguments: deductive and inductive arguments. Validity and soundness. Arguments and argument forms. Formal proofs. Constructing proofs in Fitch. Counterexamples - Tarski's World. (Textbook ch. 2,) WEEK 3: Truth-functionally compound sentences. Symbolizing English sentences. Computing truth-values of compound sentences. Well-formed formulas for propositional logic. Polish notation. The truth table method. (textbook ch. 3) WEEK 4: The logic of Boolean connectives. The truth table method. (textbook ch. 4, Boole) Testing the logical types of the individual statement forms. Validity, consistency, equivalence, and logical implication. (textbook ch. 4) WEEK 5: The proof method for propositional logic. (textbook ch. 5), Rules for formal proofs. Conjunction, disjunction and negation rules. Strategy and tactics of formal proofs. Subproofs. Proofs without premises. (textbook ch. 6) WEEK 6: The logic of conditionals. Material conditional and biconditional. Formal rules of proof for conditionals and biconditionals. (textbook ch. 7, 8) WEEK 7: Soundness and completeness of propositional logic. (textbook ch. 7, 8)

Predicate Logic (logic with quantifiers) WEEK 8: The quantifier symbols. Well formed formulas. Variables and individual constants. Categorical propositions. Symbolizing statements with complex subject and/or predicate. (textbook ch. 9) WEEK 9: ch. 10) The logic of quantifiers. First-order validity and consequence. (textbook

WEEK 10: Multiple quantifiers. Symbolization in relational predicate logic. (textbook ch.11) WEEK 11: Proofs and invalidity in predicate logic. Universal quantifier rules. Existential quantifier rules. Strategy and tactics (textbook chs.: 12,13) WEEK 12: Elements of metalogic: soundness, consistency, completeness, and decidability. optional, Repetition. Registration ID: L21-2767639