Скачать с ютуб Intuitionistic Logic | Attic Philosophy в хорошем качестве

Intuitionistic Logic | Attic Philosophy

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: 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 #meaning