2 May
2019
2 May
'19
10:12 p.m.
So does B(P)=1 => B(~P)=-1 ?
In Nagarjuna’s system, not entirely.
? If P' is undoubtable then B(P')=1, or I don't understand what "belief in P" means.
B(P’)=0 is an axiom that means “P’ does not require a belief”. To make a more definite distinction between classes P and P’, we could require (without loss of applicability) that the P’ are all trivially decidable statements such as 1+1=2 or “red”=“color of book” and that the P are all statements about belief of the form B(x)=y. This actually makes a little bit of sense because any statement involving belief should be doubtable. —Brad