Instructor    Carlos Mariscal
Lectures   T. & Th. 15:05-16:55 LSC-C338
Office Hours    Weekdays 12-1 @LSC Common Area

Course Goals & Methods

This course seeks to improve analytical skills through an in-depth exploration of logic.
We will cover three major areas of logic: informal logic, inductive logic, and deductive logic. We begin with informal logic, learning tools that help you use better reasoning in your everyday life. Then we will discuss inductive logic, focusing on tools that help us think scientifically about the world. Finally, we will tackle deductive logic. This will be done in two parts. The first part is propositional logic (truth-functional logic), in which we translate English to the formal language of propositional logic and determine the validity of symbolized arguments.
Our last topic will be predicate logic (also called quantificational logic), which includes all of the elements of propositional logic as well as quantifiers, variables, individual constants, and property & relational predicates. In sum, students will develop an understanding and appreciation of the role of logic in argumentation


30% Final Exam
25% Third-term Exams (x2)
20% Homework

(Some people call these ‘midterms,’ but such a name is misleading.)
Each in-class exam will be an hour long and consist of problems of and inspired by the material. Due to the nature of this class, exams are always at least partially cumulative, though this will be most evident in the final. We will prepare for each exam with a review sheet and an in-class Jeopardy!-style review as well as with student questions. It is advised for people to study in groups.

Every class will have assigned homework. These are due daily, but they are merely graded on whether they are a complete (100%), incomplete or poorly attempted (partial %), late (docked 10% per day), or absent (0%).

Required Reading

The required text for this class is Understanding Logic by Virginia Klenk. Selections of Copi & Cohen’s Introduction to Logic will also be provided (CC in the syllabus).


I urge you to send comments, questions, and concerns via email or via the class website. By emailing me, you give me permission to post your question and my answer to the class website (if I deem it appropriate).

Academic Assistance

If you have or believe you have a disability and would benefit from any accommodations, you may wish to contact Academic Support Accessibility at 494-2836 or access@dal.ca.
For writing assistance, contact your TAs or the Writing Centre at writingcentre@dal.ca, or 494-1963.
If you have problems outside of class impeding your ability to do your coursework, please contact the Counselling and Psychological Services at 494.2081 or recepcps@dal.ca.
If there’s something strange in the neighborhood, please call the Ghostbusters at 1-212-897-1964.


(Lecture classes are highlighted in gold)

Date Topic Reading Exercises
Aug 29 Introduction to Logic  CC Ch. 4 4.2: II: 6-10; 4.6:I: 2-6
Sept 3 Informal Logic – Definitions  CC Ch. 3.1-3.2  3.2:I: 4, 8, 12, 13; II: 2-4
Sept 5 Fallacies – Relevance  CC Ch. 3.3-3.4  3.3:I: 4-10; 3.4: I: 4, 5, 9
Sept 8 Fallacies – Ambiguity  CC Ch. 11  11.2: II: 1-7, 13; 11.3: 1-2
Sept 10 Inductive Logic – Analogy  CC Ch. 12  p. 411: 1-8
Sept 12 Mill’s Five Methods  CC Ch. 13  p. 452: 1-8
Sept 15 Scientific Reasoning  CC Ch. 14.1-14.2  p. 466: 1-4
Sept 17 Probability  CC Ch. 14.3  p. 478: 1-8
Sept 19 Logic in the Real World  CC Ch. 3-4, 11-14  Review Sheet
Sept 22 Logic Jeopardy! Exam #1
Sept 24 First Exam
Sept 26 Structure of Sentential Logic
Sept 29 Well Formed Formulae
Oct 1 Computing Truth Values
Oct 4 Symbolizing English Sentences
Oct 6 Truth Tables for Testing Validity
 Oct 8  More Truth Table Method
Oct 10 Eight Basic Inference Rules
Oct 13 Practice with Inference Rules
Oct 15 Replacement Rules
Oct 17 Practice with Replacement Rules
Oct 20 Conditional Proof
Oct 22 Logic Double Jeopardy!
Oct 24 Second Exam
Oct 27 Indirect Proof
Oct 29 Quantifiers
Oct 31 Categorical Propositions
Nov 3 Complex Subjects & Predicates
Nov 5 Quantifier Form
Nov 7 Proofs in Predicate Logic
Nov 10 Invalidity in Quantifier Logic
Nov 12 Understanding Invalidity
Nov 14 Symbolization in Rel. Pred. Logic
Nov 17 Proofs for Pred. Logic
Nov 19 Invalidity for Relational Pred. Logic
Nov 21 Identity and Definite Descriptions
Nov 24 More on Identity
Dec 1 Proofs Involving Identity
Dec 3 Practice with Identity Proofs
Dec 5 Logic Final Jeopardy!
Dec 10 Final Exam

Previous Semesters' Syllabuses

Spring 2012