Introduction to Formal Logic
PHI 2101 Section 901
CPR 249
Fall 2000
Instructor: Miguel Martinez-Saenz
Office: FAO 236
Office Hours: Tuesday 1:00-3:00, before and after class on both Tuesday and Thursday. If these times are not convenient feel free to send me an e-mail or leave me a voice mail message to arrange a different time.
E-mail: mmartine@luna.cas.usf.edu
Textbook
David Spieler, Thinking Logically II, (Pro-Copy, 1988)
This book is available at Pro-Copy located on Fowler Avenue next to Publix, Smoothie King, Gladstone Chicken, Subway etc.
While this is the book we will be using during the course, I suggest that you use all the materials available in the library. I will talk more about this during our first class meeting.
Objectives
The course is designed to introduce students to formal logic. By the end of the semester the students should be able
-to translate statements in Categorical, Propositional, and Quantificational Logic.
-to evaluate and solve proofs in Categorical, Propositional, Quantificational Logic.
-to understand better some methods and techniques for problem solving.
Requirements
Four exams will be offered: Exam #1 on September 26, # 2 on October 24, # 3 on November 16 and # 4 during Final exam week on December 14 @ 6:00 p.m. In addition there will be unannounced quizzes. I will talk more about the quizzes and homework/attendance grade during our first meeting. I will announce assignments at the end of each class session. If you miss class it will be your responsibility, not mine, to find out what was covered and what assignments you might have missed.
Grading Policy
Exams= 75%
Quizzes=15% (I will drop the lowest quiz grade.)
Homework and attendance-10%
There will be zero tolerance for cheating. This means anyone caught cheating will be given an "F" for the semester. This pertains to homework, quizzes, and exams.