Abstract

A number of statements of the form 'x asserts p', Often described as pragmatically inconsistent, Are examined. By applying the predicate calculus and descriptive axioms to these sentences it is shown that if it is assumed that p is true a formal inconsistency is deducible from them. From the results of this analysis partial definitions of both assertion and pragmatic inconsistency are formulated