In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

The laws of nature have come a long way since the time of Newton: quantum mechanics and relativity have given us good reasons to take seriously the possibility of laws which may be non-local, atemporal, ‘all-at-once,’ retrocausal, or in some other way not well-suited to the standard dynamical time evolution paradigm. Laws of this kind can be accommodated within a Humean approach to lawhood, but many extant non-Humean approaches face significant challenges when we try to apply them to laws outside (...) the time evolution picture. Thus for proponents of non-Humean approaches to lawhood there is a clear need for a novel non-Humean account which is capable of accommodating these sorts of laws. In this paper we propose such an account, characterizing lawhood in terms of constraints, which are understood as a form of modal structure. We demonstrate that our proposed realist account can indeed accommodate a large variety of laws outside the time evolution paradigm, and describe some possible applications to important philosophical problems. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

I compare Stalnaker’s early take on assertoric content with the one expressed in his recent book (2014). I discern in the latter some striking implications about the semantics of proper names and assertoric content’s relation to semantics.

I defend the view that linguistic meaning is a relation borne by an expression to a type of speech act, and that this relation holds in virtue of our overlapping communicative dispositions, and not in virtue of linguistic conventions. I argue that this theory gives the right account of the semantics–pragmatics interface and the best-available semantics for non-declarative clauses, and show that it allows for the construction of a rigorous compositional semantic theory with greater explanatory power than both truth-conditional and (...) dynamic semantics. (shrink)

We can communicate linguistic information by asserting sentences that are not explicitly about linguistic matters. Stalnaker offers a pragmatic account of this phenomenon. It is not clear that such an account is correct. In this article I offer an alternative account that does not rely on pragmatic mechanisms and which captures many of the insights in Stalnaker's theory of linguistic communication. The view is inspired by Barker's semantics of vague adjectives.