An introduction to propositional and predicate logic in mostly a philosophical (non-mathematical) style. This video contains portions from prior videos on this channel (with some new additions) compiled in one place.

Timestamps

00:00:00 Introduction
00:02:54 The Language of Propositional Logic (PL)
02:07:30 PL Truth Tables
02:44:32 PL Truth Trees
03:35:48 PL Intelim Proofs
07:17:09 The Language of Predicate Logic (RL)
08:54:19 RL Trees
09:42:16 RL Proofs

**** What the video covers:
The language of propositional logic (symbols, syntax, semantics, basic translation into English), propositional logic truth tables, propositional & predicate logic truth trees, propositional logic proofs (using an intelim / natural deduction system), the language of predicate logic (the basics), predicate logic trees, predicate logic proofs (using an intelim / natural deduction system).

**** What the video does not cover:
- metatheory, more advanced aspects of the semantics of predicate logic (variable assignments) or its extensions (e.g., functions, identity, definite descriptions), non-classical logic (e.g., 3-valued logic, relevant logic, etc.), modal logic, axiom proof systems, alternative types of notation (e.g., polish notation), the history of logic (e.g., Aristotle, syllogisms), limitations of logic (e.g., vagueness, context-sensitivity)

- Parts of the video are scuffed and so if you have suggestions about what you'd like to see different in the 2023 version, let me know in the comments. GOOD LUCK!
- Thumbnail art is Autumn and Winter, an etching by Giuseppe Arcimboldo.

__________________________________________
🌐 Handouts: http://www.davidagler.com
🔴 Channel Membership Link: https://www.youtube.com/channel/UCmVAIqvL7852sE23K5D1ldg/join

"Man fears the darkness, and so he scrapes away at the edges of it with fire. He creates life by diminishing the darkness."
-Rei Ayanami
__________________________________________