Revised 4/9/03

Phil 2105.002 Deductive Logic (P)

MWF 11 - Spring 2003

Michael Eldridge
Winningham 114C
704/687-3318
email: mleldrid@email.uncc.edu
Office Hours: M 2-3 & TR 2:00-3:30 (and by appointment)

Course material available on instructor’s website: http://www.uncc.edu/mleldrid

Course Description:

Both traditional and symbolic logic will be studied, but most of the course will be concerned with a major deductive system of symbolic logic--propositional logic. Attention will be paid to the uses of symbolic logic in identifying and evaluating reasoning in ordinary language arguments. Note: Course material will be available only on this website.

Schedule

Date	Day	Topic	Assignment
January
13	Mon	Introduction to Course and Reasoning, Arguments & Logic	argument and links (premises, conclusion, deductive, inductive, argument from analogy and hard determinism); also logic
15	Wed	Categorical Propositions	Lesson 1: Categorical Propositions; Exercise 1
17	Fri	Categorical Syllogisms	Lesson 2: Standard Form Categorical Syllogisms; Exercise 2
20	Mon	Martin Luther King, Jr. Day – No Class
22	Wed	Mood and Figure	Lesson 2 (Mood & Figure); Exercise 3
24	Fri	Quiz 1
27	Mon	Departmental Retreat – No Class
29	Wed	Counter Example Method for Determining Validity	L3: Counter-Example Method; Exercise 4
31	Fri	Validity Testing	Exercise 4(continued)
February
3	Mon	Validity, Truth and Soundness	consistency, salva veritate, soundness and validity; also conditional, disjunctive syllogism, modus ponens and modus tollens
5	Wed	Catch Up and Review Looking Ahead: Symbolic Propositional Logic
7	Fri	Exam 1
10	Mon	Propositional Logic: Symbolization and Truth Table for Conjunction	Lesson 4: Propositional logic; truth-value; Lesson 5, Exercise 5
12	Wed	Truth Tables for Disjunction, Conditional and Biconditional	Lesson 6 and Exercise 6
14	Fri	Negation and the Truth Table Test for Validity	Lesson 7, Exercise 7 and Lesson 8
17	Mon	Testing for Validity	Exercise 8
19	Wed	Testing for Validity/Truth Functions	Use the link immediately below to practice truth function knowledge, typing in any name. Then hit “login”. Click on “options” for instructions.
For truth function practice: http://152.15.65.30/tallc2/applets/applets.html
21	Fri	Quiz 2
24	Mon	Short-Cut Truth Table	Lesson 9, Exercise 9
26	Wed	Short-Cut Truth Table: Practice	Exercise 9 (continued)
28	Fri	Exam 2
March
3	Mon	Derivations & Derivation Practice	Lesson 10
5	Wed	Derivation Practice	Exercise 10
7	Fri	Quiz 3
10 - 14		Spring Break - No Class
17	Mon	Derivation Practice
19	Wed	Derivation Practice: http://152.15.65.30/tallc2/applets/core/dt/dt_jar.html
21	Fri	Exam 3
24	Mon	Truth Table Test for Equivalence	Lesson 11 and Exercise 11
26	Wed	Rules of Replacement	Lesson 12 and Exercise 12
28	Fri	Derivation Strategy	Lesson 13 and Exercise 13
31	Mon	Practice: Derivations	additional arguments for derivation practice and the answers are available
April
2	Wed	Quiz 4 at 11:15!	Due to a medical appointment the instructor will be delayed. But if he is not in class by 11:15 a colleague will give the quiz. Those who are not ready to take the quiz should wait on the instructor.
4	Fri	No Class
7	Mon	Practice: Derivations	Here is a tautology example: www.uncc.edu/mleldrid/logic/taut.html
9	Wed	Exam 4
11	Fri	Conditional Proof	Lesson 14 and Exercise 14
14	Mon	Conditional Proof (continued)	Exercise 14 answers
16	Wed	Conditional Proof (continued)	Exercise 14 answers
18	Fri	Quiz 5
21	Mon	Indirect Proof	Lesson 15
23	Wed	Indirect Proof	Exercise 15
25	Fri	Central APA – No Class
28	Mon	Indirect Proof
30	Wed	Quiz 6
May
2	Fri	General Review (questions answered)
9	Fri	12:00 to 3:00 p.m. - Final Exam

Grade Composition
Exam	50%
Quizzes	20%
Participation	10%
Final Exam	20%

Grade Scale
90-100 is an A	80-89 is a B	70-79 is a C	60-69 is a D	59 and below is a F

Attendance and Participation

Attendance is expected. Irregular attendance will negatively impact the student's participation grade. Students who make a contribution to the class will be rewarded. Contributions include providing additional exercises, forming study groups, asking and answering questions in class and working exercises on the chalkboard.

Test Make Up Policy

Missed quizzes or exams may be made up with the instructor's permission prior to the return of the graded tests to the class as a whole.

NOTE

The instructor reserves the right to modify the course and its requirements as conditions warrant. Students will be notified of changes either in class or on line but preferably in both ways

Academic Integrity

Students have the responsibility to know and observe the requirements of "The UNC Charlotte Code of Student Academic Integrity" (UNC Charlotte Catalog 1999-2001, p. 375f). The most recent edition of the Code is available in the Office of the Dean of Students.

Disability Accomodation

Students with documented disabilities requiring accommodation in this course should contact Disability Services in Fretwell 230.

Goal Statement

This course meets Goal II: Problem Solving of the UNC Charlotte General Education Requirements. UNC Charlotte graduates should possess the analytical abilities necessary to:

· Sense, discover and define problems.

· Recognize and understand the use of qualitative and quantitative methods for solving problems and select those appropriate for specific problems.

· Collect and order information.

· See the relationships among phenomena.

· Assess the probable implications of a solution.

· Decide on an appropriate solution.

· Recognizing the implications of decisions made on the basis of values.

Philosophy Majors and Others Interested in Philosophy

Students majoring in Philosophy or considering a major in Philosophy are encouraged to retain a copy of their research paper and exams for possible inclusion in the Portfolio required of majors. This information is available on the web at Philosophy Program, and copies are available in the Department of Philosophy (103 Winningham).

Students are invited to participate via email in an electronic philosophy discussion list for students. To join Phil-D, send your email address to mjcroy@email.uncc.edu and request to be added.

Back to Logic home page

Copyright © 20031, Michael Eldridge