Logic 102: First-Order Logic & Formal Semantics

Objective Semantics and First-Order Logic

Welcome to Logic 102: First-Order Logic & Formal Semantics. This course bridges the gap between philosophy of language and computer science by diving deep into Tarskian models and objective reality. You will learn how formal languages map onto the real world and how machines interpret these data structures.

This sequence utilizes a historical materialist reference frame to contextualize quantified logic, exploring how abstract scientific and logical theories are driven directly by the technological and economic needs of society.

Course Progression

The Ontology of FOL

  1. From Propositional Logic to Quantified Structures
  2. Definite Descriptions and Complex Translations
  3. Tarskian Semantics and Set-Theoretic Models
  4. Model Checking and Counter-Examples

Advanced Deduction

  1. Natural Deduction for Quantified Logic
  2. Relational Logic and Identity Proofs
  3. Metatheory and the Transition to Lean 4
  4. Final Project Synthesis

Connect Your Execution Environment

To participate in the problem-posing exercises and build your Formalization Portfolio, you must connect your GitHub account.

ImportantAuthentication Required

To securely save your progress, this curriculum uses a dedicated GitHub App. It restricts access only to the specific repository you select during installation.

  1. Click the button below to authenticate.
  2. If this is your first time, you will be prompted to install the App. Select a brand new, empty, private repository dedicated to this course.
  3. The app will automatically sync your solutions back to this single, isolated repository.

Begin Week 1 ➔