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