Degree of Classicality

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

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.

1 Like

Thanks David, that’s really nice to hear!

1 Like