Mark Jago

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.

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that their use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one.

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making and truth-making, and in constituting holes and edges.

Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent’s beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite high complexity. In this paper, we consider belief revision for agents which reason in a simpler logic than full first-order logic, namely rule-based reasoners. We show that it is possible to define a contraction operation for rule-based reasoners, which we call McAllester contraction, which satisfies all the basic Alchourrón, Gärdenfors and Makinson (AGM) postulates for contraction (apart from the recovery postulate) and at the same time can be computed in polynomial time. We prove a representation theorem for McAllester contraction with respect to the basic AGM postulates (minus recovery), and two additional postulates. We then show that our contraction operation removes a set of beliefs which is least preferred, with respect to a natural interpretation of preference. Finally, we show how McAllester contraction can be used to define a revision operation which is also polynomial time, and prove a representation theorem for the revision operation.

Substantial facts are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to provide identity conditions for facts. This theory validates truthmaker maximalism : it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach

Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influence the information an agent can take into account when making decisions at a particular point in time. We prove general completeness and decidability results for TRL, and analyse the impact of communication in an example system consisting of two agents which use different conflict resolution strategies.

Grounding is a powerful metaphysical concept; yet there is widespread scepticism about the intelligibility of the notion. In this paper, I propose an account of an entity’s nature or essence, which I then use to provide grounding conditions for that entity. I claim that an understanding of an entity’s nature, together with an account of how logically complex entities are grounded, provides all we need to understand how that entity is grounded. This approach not only allows us to say what grounds what, it also sheds light on the formal features of the grounding relation. It provides a principled argument for the orthodox view that grounding is irreflexive, asymmetrical, and transitive; but it allows that it may not be well-founded. The resulting approach gives us a powerful framework for understanding nature, grounding, and the relationship between them.

Stephen Barker presents a novel approach to solving semantic paradoxes, including the Liar and its variants and Curry’s paradox. His approach is based around the concept of alethic undecidability. His approach, if successful, renders futile all attempts to assign semantic properties to the paradoxical sentences, whilst leaving classical logic fully intact. And, according to Barker, even the T-scheme remains valid, for validity is not undermined by undecidable instances. Barker’s approach is innovative and worthy of further consideration, particularly by those of us who aim to find a solution without logical revisionism. As it stands, however, the approach is unsuccessful, as I shall demonstrate below.

Mark Jago presents an original philosophical account of meaningful thought: in particular, how it is meaningful to think about things that are impossible. We think about impossible things all the time. We can think about alchemists trying to turn base metal to gold, and about unfortunate mathematicians trying to square the circle. We may ponder whether God exists; and philosophers frequently debate whether properties, numbers, sets, moral and aesthetic qualities, and qualia exist. In many philosophical or mathematical debates, when one side of the argument gets things wrong, it necessarily gets them wrong. As we consider both sides of one of these philosophical arguments, we will at some point think about something that’s impossible. Yet most philosophical accounts of meaning and content hold that we can’t meaningfully think or reason about the impossible. -/- In The Impossible, Jago argues that we often gain new information, new beliefs, and, sometimes, fresh knowledge through logic, mathematics, and philosophy. That is why logic, mathematics, and philosophy are useful. We therefore require accounts of knowledge and belief, of information and content, and of meaning which allow space for the impossible. Jago’s aim in this book is to provide such accounts. He gives a detailed analysis of the concept of hyperintensionality, whereby logically equivalent contents may be distinct, and develops a theory in terms of possible and impossible worlds. Along the way, he provides a theory of what those worlds are and how they feature in our analysis of normative epistemic concepts: knowledge, belief, information, and content.

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal reasoners. I’ll argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge