H. P. Grice: The primacy of the buletic over the doxastic

For pirot P,

"P judges that p" 

iff 

P wills as follows:

Given any situation in which (PROTASIS) 

1. P wills that some end E is satisfied. 

2. There are *two* _non-empty_ classes, K1 and K2 of action-types, such that: 

the _performance_ (by P) of an action-type belonging to K1 realises E1 just in case p obtains, and the performance (by X) of an action-type belonging to of K2 will realise E just in case p does not obtain. 

3. (Closure clause): 

There is _no_ third non-empty class K3 of action-types such that the performance (by X) of an action type belonging to  will realise E whether p obtains or not,

APODOSIS: 

in such situation, P is to will that P performs some action-type belonging to K1.

"We soon believe what we desire."