Modal logic is the logic of possibility and necessity, past and future, knowledge and belief, and dynamic change. It's one of the most exciting areas of logic to learn, and one of the best for philosophers and linguists. In this tutorial video, we'll see how different modal logics correspond to the different modal semantics. We'll see how placing different conditions on the accessibility relation - like reflexivity, or transitivity - gives us new valid theorems.
00:00 - Intro
01:38 - Corresponding logics
02:38 - Entailment
04:38 - Modal Axioms
09:02 - Modal Correspondence
10:27 - Wrap-up
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
Негізгі бет Modal Correspondence Theory | Logic Tutorial | Attic Philosophy
No video
Пікірлер: 9