Modal logic lets us reason about possibility and necessity. Adding quantifiers, 'for some' and 'for all', allows us to reason about how things have to be and how they could have been. In this tutorial video, we'll introduce the basics of quantified modal logic (QML), setting the stage for more in-depth tutorials.
00:00 - Intro
00:57 - What is QML?
01:28 - Language
02:38 - De Re vs De Dicto
03:22 - De Re possibility and necessity
04:14 - De Re/De Dicto comparison
05:00 - Essential properties
05:56 - Accidental properties
07:14 - Descartes & the Mind
10:33 - QML = logic of philosophy
More videos on modal logic coming next! 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
#logic #philosophy #possibility
Негізгі бет What is Quantified Modal Logic? | Attic Philosophy
No video
Пікірлер: 21