A formal treatment of explicature and the pragmatics of conditional statements

In this thesis, we argue for a situation-theoretic regularity model of communication. Based on this conception of communication, we bring the relevance-theoretic concept of explicature (the best hypothesis of explicit speaker meaning) to fit this regularity model, thus paving the way for formalization. A formalism is then built for the explicating process using the channel model developed in Barwise & Seligman (1997) Information Flow: The Logic of Distributed System, which finally leads to a formal definition of explicature. After this formal part, the thesis turns to the pragmatics of conditional statements. In contrast with the traditional truth-conditional approaches, we argue for a regularity approach to the semantics of conditionals and develop an explicature analysis for their pragmatics. Upon this analysis, background conditions associated with conditionals and world knowledge of the hearer are found to be two crucial sources of contextual information to the comprehension of conditional statements because they frequently participate in the identification of their explicatures. We demonstrate that an explicature analysis for conditional statements is adequate for the resolution of semantic paradoxes arising from the material conditional theory. We also show that the phenomenon of conditional perfection favors an explicature analysis rather than Gricean implicature analyses.