Logic Syllabus

Spring 2016                                                                                                                                                                     Dr. H. E. Baber

 

ÔLearning OutcomesÕ

á      Learn the possible worlds account of logical possibility, necessity and contingency

á      Understand the difference between sense and reference, and the role of indexicals in natural language

á      Become familiar with the JTB account of knowledge

á      Learn to resist cognitive illusions

á      Understand what a function is and what it is for the connectives of propositional logic to be truth functional

á      Translate English sentences into the languages of propositional logic and predicate logic

á      Use truth tables to test for tautologousness, logical equivalence, consistency and validity

á      Use truth trees to test for consistency and validity

á      Do natural deduction proofs in propositional logic to test arguments for validity and sentences for tautologousness

á      Learn about the semantics for propositional and predicate logic

 

 

Office

Founders 164a

 

 

Office Hours

Wednesday 9:30 am – 2:30 pm

 

 

Telephone

USD: Extension 2749 (warning: IÕm bad at picking up messages from this phone)

Cellphone: (619) 805-6838 (text or leave message if I donÕt answer)

 

 

Email

baber@sandiego.edu (best of all! Please send from your USD account to be sure I get it.)

 

 

Class Website

http://home.sandiego.edu/~baber/logic/

 

 

Message Board

http://logicblog.blogspot.com

 

 

Class Meetings

Section  12

Section 13

TueThu   9:15 am – 10:35

TueThu 10:45 am – 12:05

KIPJ 219

KIPJ 219

 

Texts

A Prelude to Logic  (online textbook)
Hurley Logic: Custom Edition for USD Baber
Handouts as distributed

 

 

Grades

Course Grade = (Quizzes + Midterm Test + Exam)/3

 

 

Test Schedule

Quizzes
Midterm Test
Final Exams

Feb 4, 11, 18, 25; Mar 3, 10, 31; Apr 7, 14, 21, 28
Mar 17
9:15 Section:     Thu May 12     8:00 am – 10:00 am    KIPJ 219
10:45 Section:   Tue May 17    11:00 am-1:00 pm     KIPJ 219

 

 

Homework

will not count directly toward your grade but it will be discussed in class and your instructor will be pleased to check, correct and discuss any (tidy and legible) logic exercises you care to submit. Please try to read the material and do the exercises listed for a given day prior to the class meeting at which they will be discussed.

 

 

Course Conduct

Acts of academic dishonesty are taken seriously and dealt with harshly, following the University's academic integrity procedures. If you are caught cheating you get an automatic F for the course—no negotiation, no exceptions.

 

*  No make-ups for quizzes. Exceptions: By USD policy, students involved in out of town university athletic or religious events on quiz dates with appropriate documentation may make special arrangements.

 

 

 

Logic Schedule

(subject to revision)

 

 

 

 

 

Tuesday

Thursday

 

26-Jan

28-Jan

A Prelude to Logic, Ch 0: Fashionable Nonsense

A Prelude to Logic, Ch 1: Logical Possibility, Logical Possibility

 

2-Feb

4-Feb

A Prelude to Logic, Ch 2: Language

Saying the Same Thing

Quiz1
A Prelude to Logic, Ch 3: Skepticism

Perception and the External world

 

 

9-Feb

11-Feb

A Prelude to Logic, Ch 4: Conceptual Illusions. Take the IAT test online before this class!

Quiz 2
A Prelude to Logic, Ch 5: Relativism,

Is Ethics a Game Without Rules?, Relativism

 

16-Feb

18-Feb

A Prelude to Logic, Ch 6: Knowledge,

Truth, Belief and Justification

Quiz 3
A Prelude to Logic, Ch 7: Religious Belief

 

 

23-Feb

25-Feb

 A Prelude to Logic, Ch 8: Arguments, Arguments, & Conditionals

Quiz 4
Is logic too cold for a warm, fuzzy world? Hurley 6.1,Ex. 6.1, I: 5,6,7,8,15,16,18,19, 20; III; Ex. 6.2, I, Woof!

 

1-Mar

3-Mar

Truth Functions and Truth Tables. Hurley 6.2: truth tables for the connectives.

Quiz 5

Truth Functions and Truth Tables, contÕd, Hurley 6.3-6.5

 

8-Mar

10-Mar

Truth Trees (Additional material on Truth Trees is at the Hurley textbook site)

Quiz 6
Truth Trees for proving validity

 

15-Mar

17-Mar

Midterm Review

Midterm Test

 

22-Mar

24-Mar

Spring Break:

No Classes

 

29-Mar

31-Mar

Hurley 7.1: Introduction to Natural Deduction. Proofs using the first 4 Rules of Inference

Quiz 7
Hurley 7.2. Proofs using the first 8 Rules of Inference

 

5-Apr

7-Apr

Hurley 7.3: Logical Equivalence. More proofs.

Quiz 8
Hurley 7.4: Logical Equivalence. Still more proofs.

 

12-Apr

14-Apr

Hurley 7.5: Conditional Proof

Quiz 9

Hurley 7.6: Indirect Proof



 

19-Apr

21-Apr

Hurley 7.7: Proving Tautologies

Quiz 10

Introduction to Predicate Logic

 

26-Apr

28-Apr

Predicate Logic: Hurley 8.1, 8.6 on translation; Hurley 8.3 CQ rules. May be replaced with online material.

Quiz 11
Predicate Logic: Hurley 8.1, 8.6 on translation; Hurley 8.3 CQ rules. May be replaced with online material.

 

3-May

5-May

Hurley 8.7: Identity and Definite Descriptions. May be replaced with online material.

 Exam Review

 

 

Final Exams:                               9:15 Section           Thu May 12:    8:00 am – 10:00 am         C 112
                  10:45 Section           Tue May 17:  11:00 am – 1:00 pm           C 112