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: [ Ссылка ]
My book What Truth Is: [ Ссылка ]
Most of my publications are available freely here: [ Ссылка ]
Get in touch on Social media!
Instagram: [ Ссылка ]
Twitter: [ Ссылка ]
#logic #philosophy #proof
Ещё видео!