Symbolic Logic
Robert Lane, Ph.D.
PHIL 4160 | Spring 2014

Office: TLC 2247
Office Hours:
 T: 8:30-9:15am; 11am-12:15pm; 2-3:30pm
 W: 12-3:30pm
 R: 8:30-9:15am; 11am-12:15pm; 2-3:30pm
 and by appointment

  Email: rlane "at" westga "dot" edu
My office telephone: (678) 839-4745
Philosophy Program telephone:
   (678) 839-6512

UWG Philosophy Program Web Site

(updated on 4/2/14)

NEW! Study Guide: Test 3

Study Guide: Test 2

Study Guide: Test 1


Lecture Notes

Lecture Notes corresponding to each day's class will be posted after 2pm.

Thursday April 10: Relational Predicate Logic: More Symbolization; Proofs

Tuesday April 8: Relational Predicate Logic: Symbolization

Thursday April 3: Predicate Logic Proofs: Quantifier Negation

Tuesday April 1: Predicate Logic Proofs

Thursday March 27: Predicate Logic Symbolization2 [PowerPoint on the Square of Opposition]

Tuesday March 25: Predicate Logic Symbolization

Tuesday March 4: Proofs 4: Indirect Proof

Tuesday February 25: Proofs 3: Conditional Proof

Thursday February 20: Proofs 2: Equivalence Rules

Tuesday February 18: no new lecture notes; we covered proofs utilizing the first eight (implicational) rules.

Thursday February 13: Proofs 1: Implicational Rules

Tuesday February 11: Tautologies, Contradictions and Contingent Sentences

Tuesday February 4: Sentence Forms and Substitution Instances

Thursday January 23: Determining the Truth Value of Compound Sentences

Tuesday January 21: Symbolizing 3: Material Implication (conditionals), Material Equivalence (biconditionals)

Thursday January 16: Symbolizing 2: Negation, Disjunction

Tuesday January 14: Symbolizing 1: Conjunction

Thursday January 9: Introduction: Arguments 2

Tuesday January 7: Introduction: Arguments 1

Dr. Lane's Homepage | Philosophy Program | Dept. of English & Philosophy

This page last updated 1/7/2014.

Copyright © 2013 Robert Lane. All rights reserved.

UWG Disclaimer