Studia Logica

, Volume 53, Issue 2, pp 343–349 | Cite as

Non-axiomatizability of Grice's implicature

  • Marek Tokarz


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.


Mathematical Logic Formal Language Computational Linguistic Formal Description Conversational Implication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H. P. Grice,Logic and Conversation, in: P. Cole, J. L. Morgan (eds.),Syntax and Semantics 3: Speech acts Academic Press, New York 1975, pp. 41–58.Google Scholar
  2. [2]
    M. Tokarz,On the Logic of Conscious Belief,Studia Logica,49 (1990), pp. 321–332.Google Scholar

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • Marek Tokarz
    • 1
  1. 1.Department of LogicUniversity of SilesiaKatowicePoland

Personalised recommendations