))
Harmony
Manage episode 471813655 series 3653028
Content provided by Cody Roux. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Cody Roux or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
I talk with the brilliant and charming Siva Somayyajula about structural proof theory, and the concept of harmony: what makes a logical rule "good"?
It turns out there's some beautiful philosophical considerations behind that simple question.
As promised during our chat; I'm going to link a few references for those who want to dig deeper:
The papers that started it all:
Prior, The runabout inference ticket
Belnap, Tonk, Plonk and Plink
The first paper (book, really) on Harmony:
Dummett, The Logical Basis of Metaphysics
The paper that originally inspired Siva's discussion:
Zeilberger, On the unity of duality (I highly recommend the introduction to this one!).
Stay logical, folks!
58 episodes
Share
