Counterexample, if Q = “true”, then it becomes “it’s true to believe that if it’s true to believe P, then P”, which means Prov(Prov(P) → P), which implies Prov(P) because of Lob’s theorem
Just assume the formal theory(s) being used is sound :)
Counterexample, if Q = “true”, then it becomes “it’s true to believe that if it’s true to believe P, then P”, which means Prov(Prov(P) → P), which implies Prov(P) because of Lob’s theorem
Just assume the formal theory(s) being used is sound :)