How to translate Quantifiers in Symbolic Logic | Attic Philosophy

In this tutorial video, we look at how to translate the quantifiers in First-Order Logic, EVERY and SOME. We'll translate some example English sentences, of increasing complexity, into quantified logic. Along the way, we'll look at some of the issues that arise. 00:00 - Intro 01:37 - Anna goes 01:51 - Someone goes 02:16 - Everyone who goes is happy 03:12 - Someone likes everyone who goes 03:49 - No one who goes is unhappy 04:36 - Everyone who goes likes someone 05:11 - Everyone who goes likes someone who goes 05:56 - Quantifier order 06:59 - Active and passive 08:49 - Everyone likes someone This is the second in a series of videos on First-Order Logic. Previously: How to use Quantifiers    • How to use Quantifiers | Symbolic Logic Tu...   Coming soon: 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