Mark Jago

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot

Predictive accounts of belief ascription, either following the principle of charity or Dennett's intentional stance, have proved popular recently. However, such accounts require us first to treat agents as perfectly rational agents and then revise this assumption as appropriate. I argue that such downwards revision is no easy task and that several proposed accounts are not satisfactory. I propose a way of characterising agent's belief states which shares Dennett's approach but avoids treating agents as perfectly rational, and develop a formal account in terms of fan models

Amongst those who feel the pull of the truthmaker principle (that truths require for their truth a truthmaker to exist), there is disagreement as to whether it applies to all truths or merely to some distinguished subset. Those in the latter camp, the non-maximalists, argue that there are no ducks in my bath is true not because of something’s existence, but because of the lack of ducks in my bath. Maximalists, by contrast, insist that truths are made true by something’s existence, and so appear to be committed to strange ‘negative’ entities in their ontology. As a consequence, non-maximalists appear to have a more common-sense ontology than maximalists. But things are not so straightforward. I will argue that if maximalism is committed to strange entities then so is non-maximalism; and if non-maximalism can do without strange entities, then so can maximalism. Either way, the non-maximalist has no ontological advantage over the maximalist

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources.

What makes up reality, and how? What kinds of entity are fundamental to reality, and how do dependent entities depend on the fundamental ones? How does one entity metaphysically ground another? These questions are central to contemporary metaphysics. The papers in this collection, written by a new generation of metaphysicians, address these and related questions. They investigate the metaphysical concepts of grounding and fundamentality, and the relationship between the fundamental and all the other parts of reality. Together, these papers represent the cutting-edge of a central topic in contemporary metaphysics

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries.

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results.

We defend the view that an indexical uttered by an actor works on the model of deferred reference. If it defers to a character which does not exist, it is an empty term, just as ‘Hamlet’ and ‘Ophelia’ are. The utterance in which it appears does not express a proposition and thus lacks a truth value. We advocate an ontologically parsimonious, anti-realist, position. We show how the notion of truth in our use and understanding of indexicals (and fictional names) as they appear within a fiction is not a central issue. We claim that our use and understanding of indexicals (and names) rests on the fact that their cognitive contribution is not exhausted by their semantic contribution.

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist.