Intuitionistic Logic and Constructive Proof | Attic Philosophy

A central idea in Intuitionistic logic is that proofs should be constructive. In this video, we look at what that means, why it might be important, and how it gives intuitionistic logic its special character. 00:00 - Intro 00:57 - What is a constructive proof? 02:06 - Non-Constructive Example 04:54 - How to avoid non-constructive proofs 05:43 - Law of Excluded Middle 06:29 - Non-Constructive natural Deduction Proofs 07:55 - Should we accept non-constructive proofs? 10:36 - Mathematical entities 11:25 - Wrap-up More videos on intuitionistic logic coming next! 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: https://www.instagram.com/AtticPhilosophy Twitter: https://twitter.com/PhilosophyAttic #logic #philosophy #proof