Abstract

The aim of this paper is to test Grice's theory of conversational implication [1], so-calledimplicature, by putting it into operation in the simplest possible formal language, that is, by constructing an adequate zero-order (sentential) logic. We are going to give a recursive formal description of Grice's maxims and show that the description cannot be made finite.