Stephen Barker

This paper falls into two parts. In the first part, I argue that consideration of general indicative conditionals, e.g., sentences like If a donkey brays it is beaten, provides a powerful argument that a pure material implication analysis of indicative if p, q is correct. In the second part I argue, opposing writers like Jackson, that a Gricean style theory of pragmatics can explain the manifest assertability conditions of if p, q in terms of its conventional content – assumed to be merely (p⊃q) – and the conversational implicature contents which utterance of if p, q may gain in certain contexts. I also defend the pragmatic approach against a recent objection by Edgington that appeal to pragmatics cannot explain what we are inclined to say about the believability conditions, as opposed to the assertability conditions, of indicative if p, q.

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our relationship as thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent.

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology.

Are all instances of the T-schema assertable? I argue that they are not. The reason is the presence of conventional implicature in a language. Conventional implicature is meant to be a component of the rule-based content that a sentence can have, but it makes no contribution to the sentence's truth-conditions. One might think that a conventional implicature is like a force operator. But it is not, since it can enter into the scope of logical operators. It follows that the semantic content of a sentence is not given simply by its truth-conditional content. So not all instances of the T-schema are assertable in the relevant sense. Consequently, there is a strong case to be made against truth-conditional semantics of the disquotational variety and deflationism about truth.