PHIL 470 A: Intermediate Logic

Winter 2022
Meeting:
MWF 10:00am - 11:20am / SAV 131
SLN:
19022
Section Type:
Lecture
Instructor:
RECOMMENDED BACKGROUND: PHIL 120 OR EQUIVALENT
Syllabus Description (from Canvas):

470b.png

Overview

This course is an examination of foundational topics in metalogic, including completeness and decidability.  Metalogic concerns theorems about logical systems, and in this course students will prove several celebrated metalogical theorems: soundness and completeness of propositional logic and first-order logic, as well as compactness and the Löwenheim-Skolem theorem.

 

Books

There are no required books to purchase.  All readings and handouts will be posted on Canvas.  If you like having the course materials in book form, our main text is Logic for Philosophy by Theodore Sider (Oxford: Oxford University Press, 2010).

 

Prerequisites

PHIL 120 or an equivalent course. 

 

Grading and Course Requirements

There are three components of your grade:

  1. Problem sets (35%)
  2. Midterm (30%)
  3. Final exam (35%)

Here is more information about each component:

  1. Problem sets: We will have problem sets due most weeks. They will be due Saturday by 11 p.m.  Typically a problem set will involve a set of quiz questions in Canvas.  
  2. Midterm exam: The midterm will occur in class one day in the middle of the quarter. It is closed note/book/computer (unless allowed by Disability Resources for Services). It will be multiple choice, true/false, proofs, etc. Directions and a study guide will be provided before the exam.  You must bring a PURPLE (not green) Scantron answer card and a no. 2 pencil in order to take the test. 
  3. Final exam: The final exam will occur in our assigned slot during finals week. It is closed note/book/computer (unless allowed by Disability Services). Like the midterm, it will be multiple choice, true/false, proofs, etc. Directions and a study guide will also be provided during the last week of class.  The test in cumulative, but the emphasis will be on new material since the midterm.  You must bring a PURPLE (not green) Scantron answer card and a no. 2 pencil in order to take the test. 
Catalog Description:
An introduction to the concepts and methods of metatheory and their application to the sentential calculus.
GE Requirements Met:
Social Sciences (SSc)
Natural Sciences (NSc)
Quantitative and Symbolic Reasoning (QSR)
Credits:
5.0
Status:
Active
Last updated:
March 26, 2024 - 10:00 am