Comment on Reflection in Probabilistic Logic

Sat, 23 Mar 2013 21:36:02 GMT

OK, forget about F for a second. Isn't the huge difficulty finding the right deductions to make, not formalizing them and verifying them?

Discuss