How to use Quantifiers | Symbolic Logic Tutorial | Attic Philosophy

In this tutorial video, we start looking at First-Order Logic (also known as Quantifier Logic, or Predicate Logic). I introduce the quantifiers EVERY and SOME, and discuss how they work and why we need them to capture more valid arguments. 00:00 - Intro 01:22 - Why use quantifiers? 02:44 - The Quantifiers 05:18 - Language of FOL 09:36 - Formation rules 10:49 - Binding and Scope 14:26 - Syntax Trees 16:25 - Coming next … This is the first in a series of videos on First-Order Logic. Coming soon: Translating sentences into in First-Order Logic Relations in First-Order Logic Semantics for First-Order Logic Quantifier Equivalence Normal Forms in First-Order Logic If there’s a topic you’d like to see covered, leave me a comment below! Links: My academic philosophy page: http://markjago.net My book What Truth Is: http://bit.ly/JagoTruth Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago Get in touch on Social media! Instagram:   / atticphilosophy   Twitter:   / philosophyattic   #logic #quantifiers #firstorderlogic