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 look at how to understand what the key concepts mean, in terms of possible world (Kripke) semantics.
00:00 - Intro
00:53 - Relational Structures
02:31 - The Connectives
03:00 - Box and Diamond
03:33 - Models
04:48 - The Accessibility Relation
05:41 - Truth in a Model
08:46 - Entailment
10:04 - Validity
10:39 - The Necessitation Principle
12:57 - The Distribution Principle
14:40 - 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 Logic Semantics | Attic Philosophy
No video
Пікірлер: 29