Degree of Classicality

Benjamin Bumpus

Tue Feb 27 2024

My good friend Zoltan Kocsis and I finally got our paper “Degree of Satisfiability in Heyting Algebras” published in the Journal of Symbolic Logic. Yay! Since Zoltan is half-way across the world, we can’t grab a beer together and celebrate, so instead here’s a celebratory blog post (you can find the ArXiv version of our paper here).

This is a companion discussion topic for the original entry at https://bmbumpus.com/2024/02/27/degree-of-classicality/

David Jaz Myers

Thu Feb 29 2024

This is awesome. I like your philosophical explanation in terms of describing the possibility of empirically (Bayesian-ly?) falsifying classical axioms since some of them have finite satisfiability gap.

Benjamin Bumpus

Thu Feb 29 2024

Thanks David, that’s really nice to hear!