SYLLABUS

Philosophy 240(511)

Introduction to Logic

Spring 2008

MWF 11:30a.m.-12:20p.m. O&M 103

 

Instructor Information:

            Robert W. Burch

            209F Bolton Hall (Viktor K. Finn Laboratory)

            845-2932

            Office Hours: MWF 12:20 p.m.-1:50 p.m.

Textbook:        Patrick Hurley, A Concise Introduction to Logic, 10th ed., Wadsworth

                        Robert Burch, Study Guide to Hurley’s Logic, 10th ed., Wadsworth

Purpose of Course: To introduce students to standard propositional and predicate logic

Course Calendar:

Week number Monday date              Readings                    Topics

Week   1          January 14                    1.1-1.5                         Introduction

                                                            6.1-6.2                         Translation, Truth

Week   2          January 21                    6.3-6.4                         Truth Tables

Week   3          January 28                    EXAM 1: Wednesday January 30

                                                            7.1                               Inference 1

Week   4          February 4                   7.2                               Inference 2

Week   5          February 11                 7.3                               Inference 3

Week   6          February 18                 7.4                               Inference 4

Week   7          February 25                 EXAM 2: Wednesday February 27

                                                            7.5                               Conditional Proof

                                                            7.6                               Indirect Proof

                                                            7.7                               Tautologies

Week 8            March 3                       8.1                               Predicate Logic

SPRING BREAK, March 10-March 14

Week 9            March 17                     8.2                               Inference 1

                                                            8.3                               Inference 2

Week 10          March 24                     8.4                               CP and IP

                                                            8.5                               Invalid Arguments

Week 11          March 31                     EXAM 3: Wednesday April 2

                                                            8.6                               Multiple Generality

Week 12          April 7                          8.6                               Relations

Week 13          April 14                        8.7                               Identity

Week 14          April 21                        8.6-8.7                         First-Order Logic

Week 15          April 28                                                            REVIEW

Week 16          May 5                          FINAL EXAM: Wednesday, May7, 10:30-12:30

 

Course Grade: Grade is determined by the mean of the four exam grades, with the standard 90+ = A, 80+ = B, etc. cutoffs.

Honor code: Students are expected to abide by the Aggie Honor Code and to pledge and sign all work. See http://www.tamu.edu/aggie/honor/

 

Americans with Disabilities Act (ADA) Policy Statement:

The Americans with Disabilities Act (ADA) is a federal anti-discrimination statute that provides comprehensive civil rights protection for persons with disabilities. Among other things, this legislation requires that all students with disabilities be guaranteed a learning environment that provides for reasonable accommodation of their disabilities. If you believe you have a disability requiring accommodation, please contact the Department of Student Life, Services for Students with Disabilities, in Room 126 of the Koldus Building, or call 845-1637.

 

Exemplary Educational Objectives:

EEO1: To apply arithmetic, algebraic, and higher-order thinking to modeling real-world situations and solving real-world problems.

EEO2: To represent basic and mathematical information symbolically.

EEO3: To expand mathematical and formal-logical reasoning skills for the purpose of developing convincing arguments (mathematical and general).

EEO4: To relate computational theory to logical and mathematical thinking so as to enable the use of appropriate technology related to solving problems and judging the reasonableness of arguments.

EEO5: To interpret well-formed formulas of logic and to draw correct deductive inferences from them.