Formal Logic

PHIL 3200     Fall 2018     Call #: 43697



Instructor:             Dr. Kent Baldner (

Class:                    MW: 10:00—11:40 a.m., Moore Hall 1111

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

Office Phone:       387‑4402

Required Text:      Introduction to Logic (3rd 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 and 6 thru 9 (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 10, 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


  Monday                           Wednesday 

8/27   No Classes

8/29  Greetings; General Introduction; Installing and using Logicola software

9/3  Labor Day

       No Classes


9/5  Chapter 1, Ch. 6.1—6.3a

Homework (Logicola exercises from Ch. 6.1—6.3a) Due by Friday

9/10  Chapter 6.4—6.8

Homework (Logicola exercises from Ch. 6.4—6.7) Due Wednesday

9/12  Thru 6.8 (i.e., no new reading)

Homework (Logicola exercises from 6.10 and 6.11) Due Friday

9/17  Section 6.10—6.12

Homework (Logicola from 6.12) due Wed.

9/19  Finish up/Review/Practice Test
Any Unfinished Homework due by Friday

9/24 Test on Ch. 6 (not including 6.9 or 6.14)

9/26 Sections 7.1 and 7.2: Homework (Logicola exercises 7.1 and 7.2) due by Friday

10/1  Section 7.3

Homework (Logicola exercises 7.3) Due by Wednesday

10/3  Section 7.4

Homework (Logicola exercises thru 7.4) Due by Friday

10/8  Review all of Chapter 7

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

10/10  Practice Test on Chapter 7 (Tentative)


10/15 Test on Chapter 7


10/17 Fall Recess--No Classes

10/22  Ch. 8.1, Quantified Translations

LogiCola exercises due by Wednesday


10/24  Ch. 8.2

LogiCola exercises due by Friday


10/29 Chapter 8, continued

LogiCola exercises due by Wednesday


10/31 Chapter 8, continued

LogiCola exercises due by Friday

11/5  Chapter 8, continued

LogiCola exercises due by Wednesday

11/7  Chapter 8, Practice Test (Tentative)


11/12 Test on Chapter 8


11/14  Chapter 9.1

LogiCola exercises due by Friday

11/19 Chapter 9.2

LogiCola exercises due by Wednesday

11/21 To Be Determined


11/26   Chapter 9.3

LogiCola exercises due by Wednesday

11/28   Chapter 9.4

LogiCola exercises due by Friday

12/3  Chapter 9.5 Homework by Wed.

12/5  Chapter 9.6: Review Chapter 9


Final Exam:  Monday, December 10, 8:00 —10:00


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 Symbolic Logic to Metaphysics
Endless Loops



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 me and your fellow students 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.