Grice's "satisfactory" bootstrap!

"We may import into the OBJECT-language L1 of System G, this or that phrase:

'It is buletically sastisfactory that ...'

and

'It is doxastically satisfactory that ...'

The importation into the object-language yields, in the meta-language:



'It is buletically satisfactory that !p' 

is DOXASTICALLY satisfactory 

just in case 

'!p' is buletically satisfactory.

-----

Note the distinction, which some think otiose, between,

"It is (buletically/doxastically) satisfactory that...' 

and 

'p' is buletically/doxastically satisfactory.

Tarski's disquotation in imperative and deontic logic.

VARIANT B (involving a meta-meta-language).

SUFFICIENT CONDITION FOR ""!p" being buletically satisfactory" being doxastically satisfactory.

''!p' is buletically satisfactory' is DOXASTICALLY satisfactory just in case '!p' is buletically satisfactory.

'It is doxastically satisfactory that ⊢p' is doxastically satisfactory  just in case '⊢ p' is doxastically satisfactory.

Now we introduce 'it is acceptable that' (with the syntactical provisions which Grice has been using)

"'It is acceptable that !p' is doxastically satisfactory just in case 'it is buletically satisfctory that !p' is doxastically satisfactory.