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 difficultlooking rules. You can support the channel and help it grow by contributing on my Kofi page: The ideas in the video draw on Greg Restall s work in understanding proof systems, for example, his paper Multiple Conclusions: 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 theres a topic youd 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 Twitter: , philosophy, logic, proof
|
|