Semantics for Quantified Modal Logic

Рет қаралды 2,025

Күн бұрын

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: 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

Пікірлер: 12

@kaipaul7667 3 жыл бұрын

As a philosophy student in korea im very glad to find this channel, it’s excellent and you are giving lecture in a very organized and easy way! I think this channel should be more hyped!! Thx!

@AtticPhilosophy 3 жыл бұрын

Thanks! Yes, more hype please!

@ericd9827 3 жыл бұрын

I couldn’t love your videos more. Thanks so much for making and sharing them!

@AtticPhilosophy 3 жыл бұрын

Glad you like them!

@ZishanWazedBegg 2 жыл бұрын

Your channel is a goldmine !

@AtticPhilosophy 2 жыл бұрын

Thanks!

@persilis 2 жыл бұрын

so hyped, she likes me back in another world, I still got a chance

@AtticPhilosophy 2 жыл бұрын

Haha! Maybe you've got infinitely many possible admirers.

@quantum-atom 2 жыл бұрын

7:30 It's serial. It's D.

@AtticPhilosophy 2 жыл бұрын

Sounds good to me!

@hansonmanfred2928 3 жыл бұрын

Concerning the issue brought up at 11:37, does anyone know why one could not just have a constant domain model possessing all of the possible objects contained in all possible worlds, then equip each possible world with an existence property?

@AtticPhilosophy 3 жыл бұрын

That’s definitely an option. There are philosophical questions: is there a property of existence? What does the quantified mean, if not ‘exists’? And there’s logical questions: if the universal quantifier quantifies over all possible entities, then true universals will be hard to get. In effect, there won’t be contingent universal truths.