[jonathf]

I agree that fuzzy logic wouldn't work for that purpose. But it addresses a formalism around the foundation of what probabilities are, which to what I could see was something you guys were doing as well. Just a thought.

As for actually addressing logical uncertainty and asymptotic convergence, I think subjective Bayesianism can be used in both cases. For example you write "the axioms of probability theory force you to put probability either 0 or 1 on those statements", which I think is simply not true. If I as an "expert" claimed that "in my experience there is a 70% chance of conjecture being correct", I can set "Prior(conjecture)=0.7".

I like to hear you input on this.