ABSTRACT
This chapter addresses from a Gricean perspective the relation between logic and language, with a special focus on logical connectives and quantifiers. Before addressing these issues, it introduces the relation between logic and semantics and between propositions, sentences, and utterances. The translation step requires that sentences are generated via syntactic rules of predicate calculus, and then, in order to obtain a semantic interpretation, their logical forms are interpreted via semantic rules. The standard view requires pragmatic machinery only if semantic entailments lead to contradiction. The chapter also addresses the general issue of how pragmatic enrichment can be computed from logical properties, and illustrates through the question of the pragmatic meaning of linguistic negation. It discusses two main uses of negation: descriptive and metalinguistic. Descriptive uses are truth-conditional and take narrow scope, whereas metalinguistic ones are non-truth-conditional and take wide scope.
