How to understand Sequent Calculus скачать в хорошем качестве

How to understand Sequent Calculus

What's the best proof system for formal logic? Many logicians will say it's the sequent calculus. But it can be hard to understand at first. In this video, I'll show you how I finally got my head around its difficult-looking rules. You can support the channel and help it grow by contributing on my Ko-fi page: http://Ko-fi.com/atticphilosophy The ideas in the video draw on Greg Restall's work in understanding proof systems, for example, his paper Multiple Conclusions: https://consequently.org/papers/multi... 00:00 - Intro 00:40 - Sequents 01:25 - Multiple conclusions 01:42 - My method 03:03 - Accepting or rejecting sentences 03:49 - Understanding sequents 04:46 - Sequent proofs 05:56 - Sequent rules 07:23 - Proving LEM 09:08 - Intuitionistic proofs 10:33 - The key to understanding sequents 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! Twitter:   / philosophyattic   #philosophy # logic #proof