Grice e Croce

 Let me abbreviate "x judges that x judges that p" by "x judges that p", and "x judges that x judges that x judges that p" by "x judges? that p". Let us suppose that we make the not implausible assumption that there will be no way of finding non-linguistic manifestational behaviour which distinguishes  judging? that p from judging that p. There will now be two options: we may suppose that "judge that p" is an inadmissible locution, which one has no basis for applying; or we may suppose that "x judges' that p" and "x judges? that p" are manifestationally equivalent, just because there can be no distinguishing behavioural manifestation.  The second option is preferable, if (a) we want to allow for the construction of a (possibly later) type, a talking pirot, which can express that it judges? that p; and (b) to maintain as a general (though probably derivative) law that ceteris paribus if x expresses that then x judges that  ф.