lecture01

PHIL 220: Introduction to Formal Logic Lecture 1: Introduction, Course Policies; Propositions Dr. Jonathan Ichikawa Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 1 / 22 Table of Contents 1 Introduction and Course Policies 2 Sentences and Propositions Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 2 / 22 Welcome Basics: PHIL 220; Instructor: Jonathan Ichikawa I Feel free to call me Jonathan I Or “Dr. Ichikawa” or “Professor Ichikawa” (not “Mr.” please) Contact info, office hours on syllabus, linked on Canvas I Formal, Symbolic Language I Proof, Reasoning, Argument I Important for clarity of thinking within philosophy and outside it This course has a Canvas page; resources there Grad and undergrad TAs Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 3 / 22 Online/In-Person Hybrid Sections 001 and 002 use the same lectures I 001 in-person; 002 online lectures Synchronous participation highly encouraged for everyone Exams are in-person for everyone Lectures are recorded; they and slides will be available on Canvas Anyone can attend online. (Please stay home if sick!) Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 4 / 22

Formal Logic A formal system for the evaluation of arguments. I Formal: governed by rigid rules English isn’t great for simple formal systems, so we’ll be learning a formal language for logic to evaluate. The first task: develop the formal language, and learn to translate between it and English. Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 5 / 22 A note of caution Logic is hard. Many students struggle with it. Be prepared to study and review between classes. Logic is different from most of the philosophy you’ve probably taken before. It’s more like math. The material in this course is cumulative; we’re building up tools to do more complicated things. This means: 1 It will be pretty hard to catch up if you fall behind or miss classes. 2 You can’t really judge the difficulty until several weeks in. (It’s going to get harder.) Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 6 / 22 Assessment Participation I In class, Learning Catalytics I Credit for responding I Students may opt out Midterms I During class period I Dates given on schedule I In-person for everyone Final Exam I Exam period, date TBA, cumulative Homework I (Approximately) weekly I Students may opt out Midterm 1: 10% Midterm 2: 15% Midterm 3: 20% Final Exam: 40% *Homework: 10% *Participation: 5% Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 7 / 22 Textbook My own version of forall x , an open-access logic textbook originally developed by P.D. Magnus Prepared specifically for this course Available for PDF download I’ll maintain a list of errata as I discover them Find a mistake? If you’re the first person to point it out to me, I’ll give you extra credit for it Dr. Jonathan Ichikawa PHIL 220: Introduction to Formal Logic 8 / 22