Modal logic is all about relational models, in which possible worlds are related together in order to say which are possible relative to which. In this video, we'll find out how to build models which make a sentence true, and how to construct counter-models to a given argument in modal logic.
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
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: [ Ссылка ]
Get in touch on Social media!
Instagram: [ Ссылка ]
Twitter: [ Ссылка ]
#logic #philosophy #modallogic
