У нас вы можете посмотреть бесплатно Proof Trees for Intuitionistic Logic | Attic Philosophy или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Proof trees are a great way to build proofs and test arguments in intuitionistic logic. They're also a helpful way to understand the Kripke semantics for intuitionistic logic. In this video, we'll look at how to adapt the proof trees we've seen in modal logic so that they work for arguments in intuitionistic logic. Specifically, we'll adapt the trees we used for modal system S4. If you're not sure what that means, make sure you watch these videos first: Basics of proof trees: • Logic tutorial: how to use proof trees | A... Modal proof trees: • Proof Trees for Modal Logic | Attic Philos... Trees for K4 (and other systems): • Proof trees for different modal logics | L... 00:00 - Intro 00:53 - Warning: these are difficult! 01:28 - Designing intuitionistic trees 03:28 - Intuitionistic logic as modal logic 04:40 - New features in intuitionistic trees 07:27 - Rules for AND and OR 09:30 - Closing a branch 10:25 - Rules for NOT 13:22 - Rules for ARROW 15:39 - Summary of the rules 16:02 - Additional rules 17:00 - The heredity rule 18:25 - Using intuitionistic trees 20:08 - Wrap-up 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 #proof #intuitionism