Abstract

The aim is to fashion intuitive conditions of pragmatic consistency for the speech act of assertion into a formal theory, so as to exclude "pragmatically absurd" utterances (contradictory statements, versions of the liar, moore's paradox, etc.). a core theory i for a concept of pragmatic implication (tentatively identified with overt or covert assertion) and an added theory ib for implied belief are constructed on the pattern of a weak modal system, whose specific axiom is taken to explicate what it means to perform a binding speech act. a model-theoretic interpretation is given. a theory of declarative expressions provides a bridge from ib to the desired results for explicit assertion