Tag Archives: logical uncertainty

What’s logical coherence for anyway?

Time for a writeup! Or something. So I’ve written before about Logical Uncertainty in a very vague way. And a few weeks ago I wrote about a specific problem of Logical Uncertainty which was presented in the MIRI workshop. I’m gonna reference definitions and results from … Continue reading

Posted in Computer Science, Logic, Mathematics, Philosophy, Probability Theory | Tagged , , , , , , , , | Leave a comment

The Gaifman Condition and the Π1-Π2 problem

So I’m at a MIRI workshop on Logical Uncertainty, and I’m gonna make a more complete post about it later, but I wanted to talk about a thing that has been on my mind. So we’re trying to build a … Continue reading

Posted in Logic, Mathematics, Probability Theory | Tagged , , , , , , , | 9 Comments