In this tutorial video, we look at how to express quantities - at least one/two/three, at most one/two/tree, exactly one/two/three - in logic, using identity and quantifiers.
00:00 - Intro
00:45 - Counting in Logic
01:16 - At least 1
01:34 - At least 2
02:08 - The urn analogy
04:10 - At least 3
05:01 - At most 1
05:14 - The urn analogy (again)
06:14 - At most 2
06:45 - At most 3
07:32 - Exactly 1
08:00 - Exactly 2
08:55 - Exactly 1: biconditional version
Related videos:
How Identity Works in Logic • How Identity Works | S...
How to use Quantifiers • How to use Quantifiers...
How to translate Quantifiers in Logic • How Identity Works | S...
If there’s a topic you’d like to see covered, leave me a comment below!
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#identity #logic #philosophy
Негізгі бет How to Count in Logic | Symbolic Logic Tutorial | Attic Philosophy
Пікірлер: 20