Modal Logic Semantics | Attic Philosophy

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: My book What Truth Is: Most of my publications are available freely here: Jago Get in touch on Social media! Instagram: