Formal Logic

PHIL 3200     Fall 2016     Call #: 44391



Instructor:                     Dr. Kent Baldner (

Class:                            MW: 10:00-11:40 a.m., 1115 Moore Hall

Office Hours:               By appt. (typically M 12-1 and TR 11-12), Moore Hall 3013

Office Phone:               387‑4402

Required Text:              Introduction to Logic (2nd ed.), Harry Gensler

Class Web Page:

Class Software:              Download at:


In this course, we will study formal or symbolic logic.  This will involve 'translating' English sentences and arguments into a formal language, and learning to evaluate these arguments using formal proof techniques.  Although there is strictly speaking no "math" involved in the class, the symbolism we use has much in common with mathematics, and the kind of reasoning we will study is often known as "mathematical logic."  While this course fulfills the Gen Ed Critical Reasoning requirement, it was designed to attain a significantly higher level of proficiency than what is required for General Education.  If you have no interest in mathematical reasoning, but simply want to meet the Gen Ed proficiency, you are strongly advised to take a different course.


Logic is as much a skill as an intellectual discipline.  As such, it requires practice more so than simple understanding.  Consequently, regular class attendance and completion of class assignments is critical.   Whether and how I take roll is up to me.


Course Schedule and Grading:  My goal is to cover Chapters 1, 6-9 (and maybe more), of the Gensler text, time permitting.  There will be in class tests after each of the chapters, in addition to the final exam.  (Final Exam:  Monday, December 12, 8:00 -- 10:00.)  The homework assignments are not graded, but not completing them can still affect your grade.  I will announce in class (and notify you via email) readings/assignments for the next class period, as well as the dates of each of the tests.  It is your responsibility to attend class and check your emails for course information.  It is also your responsibility to download the software for this course, which creates homework exercises for you.  You are responsible for using the software to email me your homework results.



Tentative Schedule

(I will fill this in as we go along.)


    Monday                                                                Wednesday

9/5   No Classes

9/7  Greeting; general Introduction; Logicola software

9/12 Chapter 1, Ch. 6.1-6.3a

Homework Due Wednesday, 9/14

Logicola exercises from Ch. 6.1-6.3a

9/14 Chapter 6.4-6.8

Homework Due (Logicola exercises from Ch. 6.4-6.7) Friday, 9/16

9/19 thru 6.8 (i.e., no new reading)

Homework (Logicola exercises from 6.10 and 6.11) Due Wednesday, 9/21

9/21  Section 6.7 and 6.8

Homework (Logicola through 6.8) Due Friday

9/26  Sections 6.10-6.13
Homework  due Wednesday

9/28 Review of Ch. 6 and Practice Test

No Written Homework-STUDY FOR TEST!

10/3 Test of Chapter 6 (Not including 6.9 or 6.14)

10/5  Section 7.1 and 7.2

Homework Due Friday

10/10  Section 7.3

Homework due Wednesday

10/12  Section 7.4

Homework ( Logicola exercises from 7.4) Due Friday

10/17   Review all of Chapter 7

No New Homework, but review all the exercises from Ch. 7.1-7.4

10/19  Practice Test on Chapter 7

10/24 Test on Chapter 7

10/26 Ch. 8.1, Quantified Translations

LogiCola exercises due Friday

10/31 Chapter 8.2, 8.3

 LogiCola exercises due Wednesday

11/2 Chapter 8.3, 8.4

LogiCola exercises due Friday

11/7 Chapter 8.4

LogiCola exercises due Wednesday

11/9 Chapter 8.5
LogiCola exercises due Friday

11/14 Chapter 8 Practice Test

11/16 Test on Chapter 8

11/21 Chapter 9.1

LogiCola exercises due Wednesday

11/23 Chapter 9.2
LogiCola exercises due Monday

11/28 Chapter 9.3

LogiCola exercises due Wednesday

11/30 Chapter 9.4

LogiCola exercises due Friday

12/5   Chapter 9.5
Take Home Practice Test,
Answers to Practice Test

LogiCola exercises due Wednesday

12/Review Practice Test for Chapter 9
Office Hours:  8:00--11:00 am


            Final Exam:  Monday, December 11, 8:00 -10:00 am


Downloads of class Handouts:
Chapter 6 LogiCola Assignments

Chapter 7 LogiCola Assignments

Chapter 8 LogiCola Assignments

Chapter 9 LogiCola Assignments

Introduction to Formal Logic
Parentheses and "Scope"
Logical Equivalence, Tautologies, and Contradictions
Doing "Truth Evaluation" Exercises in 6.3 and 6.4
Using Truth Tables to Establish Validity in 6.5 and 6.6
Understanding the "Truth Assignment Test" in 6.7
Section 6.7 Tutorial

Lecture on 6.1-6.8: Truth tables, Validity, Truth Assignment Test, and Translations

Necessary and Sufficient Conditions
Translation Guide

Truth Tables for Truth Functional Connectives
S- and I-Rules Explained in English

Simplification (S) and Introduction (I) Rules
Proof Strategy for "Easier" Proofs and Refutations (Ch. 7.1 and 7.2)
Proof Strategy for "Harder" Proofs and Refutations (7.3 and 7.4)

From Propositional to Quantified Logic
Propositional Logic, Predicate Logic, and Quantified Logic
Rules for Well Formed Formulas (including rules for quantified statements)
Quantificational Inference Rules

Proof Strategy Including Quantifiers (Ch. 8)
Translating "All" and "Some" with Horseshoes and Dots

Quantified Translation and LogiCola

Chapter 9.1 Notes
Chapter 9.2 Notes 

Chapter 9.3 and 9.4 Notes
Definite Descriptions: From Symbolc Logic to Metaphysics
Endless Loops
Modal Translation Guide
Operators and Scope
Modal Proofs



General Education Proficiency 4c:  This course fulfills Gen Ed Proficiency 4c, Critical Thinking.

Course Objectives:  1) Students will learn to recognize the formal characteristics of deductively valid arguments; 2) Students will learn to construct formal proofs in propositional and quantified logic; 3) Students will be introduced to modal logic and/or meta-logic.

Classroom Courtesy:  There is a natural tendency for people to occasionally "chat" with their neighbors during class.  A little of this is to be expected, but it doesn't take much to create a background "hum" which interrupts my concentration, and hinders others from hearing what is going on.  So please have consideration for your fellow students and me and remain quiet during class.  Likewise, please turn off any cell phones, radios, etc.  Texting during class is not appreciated!  And if you bring your laptop, use it for class related purposes only.  Finally, if you want to read the paper or catch up on your sleep, please don't come to class.  There must be more comfortable places to sleep than in this classroom.

Academic Honesty:  You are responsible for making yourself aware of and understanding the policies and procedures in the Undergraduate and Graduate Catalogs that pertain to Academic Honesty. These policies include cheating, fabrication, falsification and forgery, multiple submission, plagiarism, complicity and computer misuse. [The policies can be found at under Academic Policies, Student Rights and Responsibilities.] If there is reason to believe you have been involved in academic dishonesty, you will be referred to the Office of Student Conduct. You will be given the opportunity to review the charge(s). If you believe you are not responsible, you will have the opportunity for a hearing. You should consult me if you are uncertain about an issue of academic honesty prior to the submission of an assignment or test.

Religious Observance:  (The following is from the University's Policy on Religious Observance) The University is a diverse, multicultural enterprise and, as a community, we jointly embrace both individual responsibility and dignified respect for our differences.  University policy recommends that students be should permitted to fulfill obligations set aside by their faith, and that students who must be absent from scheduled classes to fulfill religious obligations or observe practices associated with their faith should not be disadvantaged. However, it is the student's responsibility to make arrangements with his/her instructors in advance. Instructors should assume that a claim of religious observance has veracity, especially when advance notice is provided by the student. Students likewise must recognize that it is their responsibility to meet all their course obligations. Instructors are not obligated to provide materials to students unless these materials would have normally been distributed to the entire class.

Accommodation for disabilities:  Any student with a documented disability (e.g., physical, learning, psychiatric, vision, hearing, etc.) who needs to arrange reasonable accommodations must contact Disability Services for Students at (269) 387-2116 at the beginning of the semester.  A disability determination must be made by this office before any accommodations are provided by the instructor.  For more information, go to

Course Evaluation:  Students will have the opportunity to evaluate both the course and the instructor.  This is handled by the University's "Course/Instructor Evaluation System."  During the semester, you will receive an email from this office (known as "ICES") with instruction for how to complete an evaluation.  You are encouraged to take this opportunity to provide input.