Skip to content

Agenda 3/17/26

  1. QL Proofs
  2. Syllabus Construction Assignment Discussion
  3. Beyond Propositional Logic

Assignments

  1. Due: Assignment Construction Assignment
  2. Quizzes: prefix and postfix

QL Predicate Proofs

Proof rules

QL adds four new intelim derivation rules and one derived equivalence rule:

  1. Existential Introduction (\(\exists I\))
  2. Universal Elimination (\(\forall E\))
  3. Universal Introduction (\(\forall I\))
  4. Existential Elimination (\(\exists E\))
  5. Quantifier Negation (\(QN\))

Syllabus Construction Assignment

Beyond PL

Let's try to cover the following:

  1. What does it mean to go "Beyond PL"? (1) Deviations, Variations, Extensions
  2. Truth-functional completeness and reduction (Peirce Arrow and Sheffer Stroke)
  3. Alternative notation.
    • Prefix and postfix notation
    • Existential graphs
  4. Alternative proof systems:
    • jaskowski
    • fitch
    • lemmon-suppes
    • sequent (skim)
    • existential graphs
    • axiomatic (skim)

Current Schedule

  • 3/24 - Informal Logic: Good vs. bad arguments, what is a fallacy, describing a fallacy, different fallacies. Due: Assignment Construction
  • 3/31 - Beyond QL: Variable Assignments, Identity, Numerical quantification, definite descriptions, functions
  • 4/7 - Metaphysics and Logic, Part 1: Lambda abstraction, definitely operator, 2nd and 3rd order predicate logics, Leibniz's laws, Evans on vague objects
  • 4/14 - Modal Propositional Logic, Part 1
  • 4/21 - Modal Propositional Logic, Part 2
  • 4/28 - Presentations