Semantics for Quantified Modal Logic

Quantified modal logic is the combination of first-order logic and modal logic. In this video, we look at how to combine first-order and modal semantics to build models for QML.

00:00 - Intro
00:59 - Models for FOL and modal logic
01:46 - Models for QML
03:25 - How to use QML models
04:37 - Second example
05:39 - Third example
06:32 - Different modal systems
07:37 - QML semantics in full
08:29 - Truth in a model
09:29 - Constant Domain Semantics
11:38 - Problems for Constant Domain Semantics
12:49 - 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: https://www.instagram.com/AtticPhilosophy
Twitter: https://twitter.com/PhilosophyAttic

#logic #philosophy #possibility

Видео Semantics for Quantified Modal Logic канала Attic Philosophy