Proof Trees for Intuitionistic Logic | Attic Philosophy

Описание: 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