Logic syllabus

 

Spring 2015                                                                                                                                                                           Dr. H. E. Baber

ÔLearning OutcomesÕ

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

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

á     Becoming familiar with the JTB account of knowledge

á     Resisting cognitive illusions

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

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

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

á     Using truth trees to test for consistency and validity

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

á     Learning about the semantics for propositional and predicate logic

Office

Founders 164

Office Hours

Tue 9:10 – 10:40 and 12:15 – 1:45; Wed 4:30 – 6:30 pm; and by appointment.

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! send from your USD account to be sure I get it)

Class Website

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

Message Board

http://logicblog.blogspot.com

Class Meetings

Section 6

TueThu   7:45 am – 9:05 am

Camino 119

Section 8

TueThu  10:45 am – 12:05 pm

Lomas 318

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

Your grade for the semester will be based upon quizzes, midterm test and a final exam. The lowest quiz grades from each half of the semester will be dropped in computing your final grade.

There will be no make-ups for quizzes*

Test Schedule

 Quizzes

Feb 5, 12, 19, 26; Mar 5, 12, 26; Apr 9, 16, 23, 30

 Midterm Test

Mar 19

Final Exams

 

7:45 Section:      Tue May 19:    8:00 am – 10:00 am    C 119
10:45 Section:    Tue May 19:  11:00 am -  1:00 pm      L 318

 

 

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

You are responsible for saving all quizzes and your midterm test. You are expected to attend class regularly.

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.

*  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

 

27-Jan

29-Jan

A Prelude to Logic, Ch 0: Fashionable Nonsense

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

 

3-Feb

5-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

 

10-Feb

12-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

 

17-Feb

19-Feb

A Prelude to Logic, Ch 6: Knowledge,

Truth, Belief and Justification

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

 

24-Feb

26-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!

 

3-Mar

5-Mar

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

Quiz 5

 

10-Mar

12-Mar

Truth Functions and Truth Tables, contÕd, Hurley 6.5, Indirect Truth Tables

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

 

17-Mar

19-Mar

Midterm Review

Midterm Test

 

24-Mar

26-Mar

Truth Trees for proving consistency

Truth Trees for proving consistency and validity

Quiz 7

 

31-Mar

2-Apr

Spring Break – No Classes!

 

 

7-Apr

9-Apr

Hurley 7.1

Truth Trees for proving validity

Quiz 8
Hurley 7.2

 

14-Apr

16-Apr

Hurley 7.3

Quiz 9
Hurley 7.4

 

21-Apr

23-Apr

Conditional Proof: Hurley 7.5

Quiz 10
Indirect Proof: Hurley 7.6

 

28-Apr

30-Apr

Proving Tautologies: Hurley 7.7

Quiz 11

Predicate Logic: Hurley 8.1, 8.6 on translation; Hurley 8.3 CQ rules

 

5-May

7-May

Hurley 8.7: Identity and Definite Descriptions

Exam Review

 

 

 

Final Exams:                               7:45 Section           Tue May 19:   8:00 am – 10:00 am
                  10:45 Section           Tue May 19:  11:00 am – 1:00 pm