Natural Deduction or Proof Trees? Which is best? | Attic Philosophy скачать в хорошем качестве

Natural Deduction or Proof Trees? Which is best? | Attic Philosophy

What is the best way to do proofs in logic: natural deduction or proof trees? In this video, I go through 2 examples, doing each one first as a proof tree and then in natural deduction, and comparing the results. At the end, I share my thoughts on which system is best. Spoiler alert: they’re each good for different things, and it’s good to learn both! Which system do you prefer? Let me know in the comments! 00:00 - Intro 01:21 - Example 1: proof tree 02:13 - Example 1: Natural Deduction 05:20 - Example 2: proof tree 07:37 - Example 2: Natural Deduction 09:06 - Comparing the proofs 10:52 - My view 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 #philosophy