Abstract
We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion (including a complex of ‘might’ and ‘factual’ claims) always succeeds in expressing a well-defined (partial) doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature.
Similar content being viewed by others
Notes
See von Fintel and Gillies (2011).
See Yalcin (2007, (2011) for expressivism about epistemic modals. Compare the following to (i) and (ii) in the main text: “[The correct model of might discourse] recommends the idea that in modeling the communicative impact of an epistemic possibility claim, we construe the objective as one of coordination on a certain global property of one’s state of mind—the property of being compatible with a certain proposition—not of one of coordination concerning the way the world is” (Yalcin 2011, p. 310). See also Swanson (2006) and Moss (2013, (2015).
One may elaborate ‘awareness’ in different ways: say, as mere psychological salience, or in dispositional terms. See (Portner 2009, Sect. 4.2.3) for a useful discussion of this general approach, with more comprehensive references to the literature. See Willer (2013) for a precise development of the dispositional approach (though he discourages understanding his framework in terms of the ordinary notion of ‘awareness’). See Ciardelli et al. (2009) for a precise development of the ‘bringing to attention’ view in the context of inquisitive semantics.
The typical expressivist view is that ‘might’ expresses compatibility with the agent’s beliefs. Our own proposal follows if one identifies—as is again typical – ‘compatible with the agent’s beliefs’ with ‘the agent does not disbelieve’. See Yalcin (2011), building on the ideas of Veltman (1996). Note that in Sects. 5 and 6, Yalcin (2011) presents a potential counter-example to the claim that ‘might’ expresses a lack of belief: if an agent does not have Topeka or its state at all in mind, yet it is consistent with the agent’s beliefs that it is raining in Topeka, it is natural to conclude: first, that the agent does not believe that it is not raining in Topeka; and, second, that the agent does not believe that it might be raining in Topeka. This example suggests that the agent’s awareness (or, in Yalcin’s terms, what distinctions the agent’s doxastic state is sensitive to) is indeed one factor in the semantics for ‘might’ locutions, and should not be overlooked by expressivists of our stripe. We largely agree with this assessment, but nevertheless ignore issues of awareness/sensitivity in our treatment, for two reasons. First, since the typical formal tools for handling these issues are compatible with our framework, we can postpone extra levels of complexity for elsewhere. Second, once again, it seems to us that awareness/sensitivity presents issues that are not peculiar to ‘might’ locutions, and so are fruitfully backgrounded when focusing on ‘might’. One might, for instance, claim that the issues that an agent is aware of imposes a certain ‘resolution’ on logical space, and that every belief ascription is relative to such a resolution (cf. Yalcin (2016)). In this case, an expressivist of our stripe can be more precise by saying that ‘might’ expresses a lack of belief relative to the resolution in question.
Our view is easily extended to the more nuanced position that different discourses have different ‘tones’—and so aim to coordinate different kinds of informational attitudes—and that ‘might’ serves to express a lack of whatever attitude is relevant to that discourse (cf. Yalcin, 2007, p. 464). Nevertheless, belief-toned exchanges strike us as the natural candidate for default or normal assertoric discourse.
Cf. Yalcin (2007), especially page 1005, and the general discussion concerning the robust incompatibility of \(\lnot p\) and \(\lozenge p\).
For instance, this goal is not, in our view, accomplished by the especially well developed theory of epistemic modals presented in Yalcin (2007). However, since our goal in this paper is not to argue that our theory has advantages over any particular rival, we leave such arguments for another time. See Hawke and Steinert-Threlkeld (2015b).
Though see Chapter 6 of Stalnaker (2014) for an outline of a proposal that, in certain key respects, is similar to that which we propose here. In particular, Stalnaker proposes that acceptance of a ‘might’ claim leads to certain possibilities being added to the common ground of the conversation, and that an ordering on worlds be used to model the selection of those possibilities. Willer (2013) provides a precise theory of update in the tradition of dynamic semantics, but explicitly discourages the reader (on page 60) from conflating this with a theory of belief revision.
See, for instance, van Benthem (2011).
\(w \succ v\) means w is strictly more plausible than v. In our notation, b, n, p are all equally plausible.
Conservative revision corresponds in a precise sense to transitively relational partial meet revision and conservative contraction corresponds to transitively relational partial meet contraction. See Hansson (2014), especially Sect. 4, for an overview of these results. See Rott (2009) for a comprehensive list of belief update procedures, including those that appear in this paper.
It is not our goal to here offer an account that does full justice to our ordinary conception of assertion, nor the many facets of the theoretical role that assertion is intended to play in linguistic theorizing. For a more thoroughgoing discussion of assertion, see MacFarlane (2011b). Our immediate goal is to offer a simple and natural account of when a sentence is assertable relative to a particular body of information, predominantly thought of as the belief worlds of a relevant agent.
Our framework of assertability conditions is similar in technical spirit to the expressivist semantics of Lin (2013), a connection we do not detail here. At any rate, the formulation, conceptual underpinnings, dialectical role and technical consequences of the current framework diverge from that of Lin (2013) in significant ways.
See van Benthem (2011) for an overview of this tradition.
Note that the result easily generalizes to the case of doxastic state descriptions with more than one abelief.
See Holliday and Icard (2010) for a solution to the similar problem of finding the successful formulas in the case of knowledge and the update operation of public announcement.
Thanks to an anonymous reviewer for identifying this example, and the ensuing worry about our account.
See Hawke and Steinert-Threlkeld (2015b) for more discussion.
We owe thanks to an anonymous referee for suggesting the below proof, which is in the spirit of but more concise than the proof we furnished for review.
See Hawke and Steinert-Threlkeld (2015b).
See Chapter 8 of van Benthem (2011), where it goes by ‘conservative upgrade’.
Ciardelli and Roelofsen (2015) introduce a disjunction with the same semantics as ours and would then have to define \(\lozenge \varphi \) as \(?\left\{ \varphi , \top \right\} \).
References
Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2009). Attention! might in inquisitive semantics. In E. Cormany, S. Ito & D. Lutz, (Eds.), Proceedings of semantics and linguistic theory (SALT 19), pp. 91–108
Ciardelli, I. A., & Roelofsen, F. (2015). Inquisitive dynamic epistemic logic. Synthese, 192(6), 1643–1687. doi:10.1007/s11229-014-0404-7.
Dorr, C., & Hawthorne, J. (2013). Embedding epistemic modals. Mind, 122(488), 867–913. doi:10.1093/mind/fzt091.
Hansson, S. O. (2014). Logic of belief revision. Stanford encyclopedia of philosophy, (Winter). Retrieved from http://plato.stanford.edu/archives/win2014/entries/logic-belief-revision.
Hawke, P., & Steinert-Threlkeld, S. (2015a). Informational dynamics of ‘might’ assertions. In W. vander Hoek, W. Holliday & W. Wang (Eds.), Logic, Rationality, and Interaction (pp. 143–155). Berlin: Springer.
Hawke, P., & Steinert-Threlkeld, S. (2015b). Epistemic modality and the dynamics of discourse (manuscript).
Holliday, W. H., & Icard, T. F. (2010). Moorean phenomena in epistemic logic. In L. Beklemishev, V. Goranko & V. Shehtman, (Eds.), Advances in modal logic (Vol. 8, pp. 178–199). Fort Worth, TX: College Publications
Kratzer, A. (1981). The notional category of modality. In H. Eikmeyer & H. Rieser (Eds.), Words, worlds, and context (pp. 38–74). Berlin: Walter de Gruyter
Kratzer, A. (1991). Modality. In A. von Stechow & D. Wunderlich (Eds.), Semantik (chapter 29, pp 639–650). Berlin: Mouton de Gruyter.
Kratzer, A. (2012). Modals and conditionals. Oxford: Oxford University Press.
Lewis, D. (1973). Counterfactuals. New York: Wiley.
Lewis, D. (1980). Index, context, and content. Philosophy and Grammar, 2, 79–100.
Lin, H. (2013). Acceptance-conditional semantics & modality-disjunction interaction. In USC Deontic Modality Workshop
Liu, F. (2011). Reasoning about preference dynamics. Dordrecht: Springer.
MacFarlane, J. (2011a). Epistemic modals are assessment-sensitive. In A. Egan & B. Weatherson (Eds.), Epistemic modality (pp. 144–179). Oxford: Oxford University Press
MacFarlane, J. (2011b). What is assertion? In J. Brown & H. Cappelen (Eds.), Assertion: New philosophical essays (pp. 79–97). Oxford: Oxford University Press
MacFarlane, J. (2014). Assessment sensitivity. Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199682751.001.0001.
Moss, S. (2013). Epistemology formalized. Philosophical Review, 122(1), 1–43. doi:10.1215/00318108-1728705.
Moss, S. (2015). On the semantics and pragmatics of epistemic vocabulary. Semantics and Pragmatics, 8(5), 1–81. doi:10.3765/sp.8.5.
Papafragou, A. (2006). Epistemic modality and truth conditions. Lingua, 116(10), 1688–1702. doi:10.1016/j.lingua.2005.05.009.
Portner, P. (2009). Modality. Oxford: Oxford University Press.
Rott, H. (2009). Shifting priorities: Simple representations for twenty-seven iterated theory change operators. In D. Makinson, J. Malinkowski, & H. Wansing (Eds.), Towards mathematical philosophy. Trends in logic (Vol. 28, pp. 269–296). Dordrecht: Springer.
Schulz, M. (2010). Epistemic modals and informational consequence. Synthese, 174(3), 385–395. doi:10.1007/s11229-009-9461-8.
Simons, M. (2005). Dividing things up: The semantics of or and the modal/or interaction. Natural Language Semantics, 13(3), 271–316. doi:10.1007/s11050-004-2900-7.
Sorensen, R. (2009). Meta-agnosticism: Higher order epistemic possibility. Mind, 118(471), 777–784. doi:10.1093/mind/fzp105.
Stalnaker, R. (2014). Context. Oxford: Oxford University Press.
Swanson, E. (2006). Interactions with context. PhD thesis, Massachusetts Institute of Technology.
Väänänen, J. (2008). Modal dependence logic. In K. R. Apt & R. van Rooij (Eds.), New perspectives on games and interaction. Texts in logic and games (Vol. 4, pp. 237–254). Amsterdam: Amsterdam University Press
van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge: Cambridge University Press.
van Benthem, J., & Liu, F. (2007). Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics, 17(2), 157–182. doi:10.3166/jancl.17.157-182.
van der Does, J., Groeneveld, W., & Veltman, F. (1997). An update on “might”. Journal of Logic, Language, and Information, 6, 361–381.
Veltman, F. (1996). Defaults in update semantics. Journal of Philosophical Logic, 25(3), 221–261. doi:10.1007/BF00248150.
von Fintel, K. (2011). ‘Might’ made right. In A. Egan & B. Weatherson (Eds.), Epistemic modality (pp. 108–130). Oxford: Oxford University Press.
Willer, M. (2013). Dynamics of epistemic modality. Philosophical Review, 122(1), 45–92. doi:10.1215/00318108-1728714.
Yalcin, S. (2007). Epistemic modals. Mind, 116(464), 983–1026. doi:10.1093/mind/fzm983.
Yalcin, S. (2009). More on epistemic modals. Mind, 118(471), 787–793. doi:10.1093/mind/fzp106.
Yalcin, S. (2011). Epistemic modality. In A. Egan & B. Weatherson (Eds.), Nonfactualism about epistemic modality (pp. 295–332). Oxford: Oxford University Press.
Yalcin, S. (2016). Belief as question-sensitive. Philosophy and Phenomenological Research
Zimmermann, T. E. (2000). Free choice disjunction and epistemic possibility. Natural Language Semantics, 8, 255–290.
Acknowledgments
The authors wish to thank the following people for providing comments that helped in the development of this paper (of course, any remaining errors or other infelicities in the paper remain the authors’ sole responsibility): the audience at LORI-V, Rob Bassett, Johan van Benthem, Michael Cohen, Cleo Condoravdi, Sophie Dandelet, Tom Donaldson, Melissa Fusco, Lelia Glass, Dave Gottlieb, Thomas icard, David Israel, Lauri Kartunnen, Dan Lassiter, Meica Magnani, Katy Meadows, Prerna Nadathur and Seth Yalcin. Special thanks to our anonymous referees and Alex Kocurek for very detailed comments. Thanks to the organizers of LORI-V and especially to Wen-fang Wang. This paper was developed at the Logical Dynamics Lab at CSLi, Stanford University.
Author information
Authors and Affiliations
Corresponding author
Additional information
The current paper substantially extends and refines (Hawke and Steinert-Threlkeld 2015a).
Rights and permissions
About this article
Cite this article
Hawke, P., Steinert-Threlkeld, S. Informational dynamics of epistemic possibility modals. Synthese 195, 4309–4342 (2018). https://doi.org/10.1007/s11229-016-1216-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-016-1216-8