Proof trees are a great way to build proofs and test arguments in modal logic. They're also a helpful way to understand the possible world semantics for modal logic. In the previous videos, I showed how proof trees work for basic modal logic, and how to extend them to all the common systems of modal logic. In this video, I’ll look at some example problems and explain how they work.

For background on how to use proof trees, see here: [ Ссылка ]

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

свернуть