Intuitionistic logic rejects one of the central building blocks of classical logic: that we can always say 'true or false', A-or-not-A. It's an exciting areas of logic to learn, and important for philosophers, mathematicians and computer scientists. In this tutorial video, we'll introduce the basics of intuitionistic logic, and set the stage for more in-depth tutorials.
00:00 - Intro
01:19 - Classical logic
02:08 - Excluded Middle
02:36 - Non-classical logic
02:59 - Intuitionistic logic
03:40 - Double negation elimination
04:07 - Indirect proof
05:33 - Constructive reasoning
06:54 - Mathematical proofs
07:17 - Disjunction
08:37 - Excluded middle again
09:18 - Information
12:20 - Anti-Realism
12:51 - Verificationism
13:15 - Use theory of meaning
13:50 - 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 #meaning
