How to do Modal Logic | 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 introduce the basics of modal logic, focusing on possibility and necessity, and set the stage for more in-depth tutorials.

00:00 - Intro
01:19 - What is modal logic?
02:12 - Modalities are intensional
02:41 - More modalities
02:56 - Temporal modalities
03:19 - Epistemic Modalities
05:51 - Modal language
07:34 - Modal Semantics
08:06 - Possible worlds
09:29 - Truth at a world
10:54 - Semantics for BOX and DIAMOND
11:56 - Examples
13:37 - 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: http://markjago.net
My book What Truth Is: http://bit.ly/JagoTruth
Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago

Get in touch on Social media!
Instagram:   / atticphilosophy  
Twitter:   / philosophyattic  

#logic #philosophy #possibility