This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

We can distinguish two senses of the Given, the nonconceptual and the non-doxastic. The idea of the nonconceptual Given is the target of Sellars’s severe attack on the Myth of the Given, which paves the way for McDowell’s conceptualism, while the idea of the non-doxastic Given is largely neglected. The main target of the present paper is the non-doxastic Given. I first reject the idea of the nonconceptual Given by debunking the false assumption that there is a systematic relation between (...) the conceptual and the nonconceptual. I then propose a constitutive understanding of experience and concept, which at once challenges the idea of the non-doxastic Given. Unlike the more familiar Davidsonian challenge, which questions the transition from the non-doxastic to the doxastic, the constitutive understanding implies that the idea of the non-doxastic Given endangers the very possibility of having thought about the world. I urge an exorcism of the Myth of the Given by proposing doxasticism, the view that experience is essentially a doxastic attitude towards that which is experienced. (shrink)

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails to (...) make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...) aim of this paper is to explore a nominalist version of the view, Austere Nominalist Dispositional Essentialism. The core features of the proposed account are that it eschews all kinds of properties, takes certain predicative truths as fundamental, and employs the so-called generic notion of essence. As I will argue, the account is significantly closer to the core idea behind Dispositional Essentialism than the only nominalist account in the vicinity of Dispositional Essentialism that has been offered so far—Ann Whittle’s Causal Nominalism—and is immune to crucial problems that affect this view. (shrink)

Michael Ayers’s Knowing and Seeing: Groundwork for a New Empiricism is a rich and detailed development of two ideas. The first is that perception presents reality to us directly in a perspicuous way. We thus acquire primary knowledge of the world: “knowledge gained by being evidently, self-consciously, in direct cognitive contact with the object of the knowledge.” (Ayers 2019, 63) The second idea is that concepts are not needed in perception. In this article, the author examines Ayers’s view. The author (...) proceeds as follows: In the first section, he identifies the target of Ayers’s attacks, conceptualism. He then describes why many philosophers have felt this conceptualist view to be attractive. In the next section, he discusses Ayers’s criticisms of conceptualism in an attempt to disentangle these criticisms from the statement of his positive view, which the author discusses in the following section. He ends by describing some problems for Ayers’s positive position that are, so he argues, the result of his vehement opposition to conceptualism. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

Say that the Moving Spotlight Theory (MST) combines the following three theses: A-THEORY : There is an absolute distinction between present and non-present time.

Some Presentists—according to whom everything is present—identify instants of time with propositions of a certain kind. However, the view that times are propositions seems to be at odds with Presentism: if there are times then there are past times, and therefore things that are past; but how could there be things that are past if everything is present? In this paper, we describe the Presentist view that times are propositions ; we set out the argument that Presentism is incompatible with (...) the view that times are propositions ; and then we describe three possible responses to that argument on behalf of Presentists who identify times with propositions. We argue that each of these responses comes with significant costs. Finally, we describe a fourth possible response—according to which times are irreducibly higher-order entities—which appears to avoid the costs of the other three. We also describe and respond to two objections to the higher-order strategy. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

Stanisław Leśniewski developed a system of logic and foundations of mathematics that considerably differs from Russell and Whitehead’s system. The difference between these two approaches to logic is significant primarily in the case of Leśniewski’s calculus of names, Ontology, and the concept of names that it contains. Russell’s theory of descriptions played a much more important role than Leśniewski’s concept of names in the history of philosophy. In response to that, several researchers aimed to approximate Leśniewski’s concept of names to (...) Russell’s theory. There are several such attempts. This paper presents an interpretation that was suggested by Arthur Prior. Prior interpreted Leśniewskian names as class names. This interpretation was rejected by such prominent Leśniewskian scholars as Peter Simons or Rafal Urbaniak. According to Simons, class names oppose Leśniewski’s ontological views. Urbaniak claimed that Prior’s interpretation of Leśniewskian names as class names is unclear. The aim of this paper is to demonstrate that from the formal point of view, Prior’s interpretation could be justified. (shrink)

Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of representation’ and thus modal (...) realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

I investigate when we can (rationally) have attitudes, and when we cannot. I argue that a comprehensive theory must explain three phenomena. First, being related by descriptions or names to a proposition one has strong reason to believe is true does not guarantee that one can rationally believe that proposition. Second, such descriptions, etc. do enable individuals to rationally have various non-doxastic attitudes, such as hope and admiration. And third, even for non-doxastic attitudes like that, not just any description will (...) allow it. I argue that we should think of attitude formation like we do (practical) choices among options. I motivate this view linguistically, extending "relevant alternatives'' theories of the attitudes to both belief and to the other, non-doxastic attitudes. Given a natural principle governing choice, and some important differences between doxastic and non-doxastic "choices'', we can explain these puzzling phenomena. (shrink)

According to some philosophers, the Liar paradox arises because of a mistaken theory of truth. Its lesson is that we must reject some instances of the naive propositional truth-schema \It is true that \ if and only if \\. In this paper, I construct a novel semantic paradox in which no principle even analogous to the truth-schema plays any role. I argue that this undermines the claim that we ought to respond to the Liar by revising our theory of truth.

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

The Reference Principle states that co-referring expressions are everywhere intersubstitutable salva congruitate. On first glance, looks like a truism, but a truism with some bite: transforms difficult philosophical questions about co-reference into easy grammatical questions about substitutability. This has led a number of philosophers to think that we can use to make short work of certain longstanding metaphysical debates. For example, it has been suggested that all we need to do to show that the predicate ‘ is a horse’ does (...) not refer to a property is point out that ‘ is a horse’ and ‘the property of being a horse’ are not everywhere intersubstitutable salva congruitate. However, when we understand ‘substitution’ in the simplest and most straightforward way, is no truism; in fact, natural languages are full of counterexamples to the principle. In this paper, I introduce a new notion of substitution, and then develop and argue for a version of that is immune to these counterexamples. Along the way I touch on the following topics: the relation between argument forms and their natural language instances; the reification of sense; the difference between terms and predicates; and the relation between reference and disquotation. I end by arguing that my new version of cannot be used to settle metaphysical debates quite as easily as some philosophers would like. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

This paper develops the situational model of primate beliefs from the Prior-Lurz line of thought. There is a strong skepticism concerning primate beliefs in the analytic tradition which holds that beliefs have to be propositional and non-human animals do not have them. The response offered in this paper is twofold. First, two arguments against the propositional model as applied to other animals are put forward: an a priori argument from referential opacity and an empirical argument from varieties of working memory. (...) Second, the Prior-Lurz situational model based on state of affairs as opposed to propositions is introduced and defended with two significant modifications. With this model of primate beliefs we can make progress in understanding how other primates can have certain mindreading capacity. (shrink)

This paper offers a positive account of an important but under-explored class of mental states, non-propositional attitudes such as loving one’s department, liking lattice structures, fearing Freddy Krueger, and hating Sherlock Holmes. In broadest terms, the view reached is a representationalist account guided by two puzzles. The proposal allows one to say in an elegant way what differentiates a propositional attitude from an attitude merely about a proposition. The proposal also allows one to offer a unified account of the non-propositional (...) attitudes that captures both empty and non-empty cases by properly locating the posited representations in the metaphysical structure of the attitudes. (shrink)

There is a core to the referential/attributive distinction that reveals a propositional ambiguity that is scope-related and rooted in syntax.

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

The main contribution of this paper is a novel account of ontological dependence. While dependence is often explained in terms of modality and existence, there are relations of dependence that slip through the mesh of such an account. Starting from an idea proposed by Jonathan Lowe, the article develops an account of ontological dependence based on a notion of explanation; on its basis, certain relations of dependence can be established that cannot be accounted by the modal-existential account. Dependence is only (...) one of two main topics of this paper, for it is approached via a discussion of the category of substance. On a traditional view, substances can be characterised as independent entities. Before the background of a modal-existential account of dependence, this idea appears problematic. The proposed notion of explanatory dependence is shown to vindicate the traditional approach to substance. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to non-propositional objects and do (...) so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

I propose a way of thinking aboout content, and a related way of thinking about ontological commitment. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘An Actualist’s Guide to Quantifying In’ and ‘An Account of Possibility’.).

Do non‐symmetric relations apply to the objects they relate in an order? According to the standard view of relations, the difference between aRb and bRa obtaining, where R is non‐symmetric, corresponds to a difference in the order in which the non‐symmetric relation R applies to a and b. Recently Kit Fine has challenged the standard view in his important paper ‘Neutral Relations’ arguing that non‐symmetric relations are neutral, lacking direction or order. In this paper I argue that Fine cannot account (...) for the application of non‐symmetric relations to their relata; so far from being neutral, these relations are inherently directional. (shrink)

theory of knowledge defended in Timothy Williamson's book Knowledge and its Limits is compared here with the theory defended in the author's articles ‘How Knowledge Works ’ and ‘ Knowledge and Self- Knowledge ’. It is argued that there are affinities between these theories, but that the latter has considerably more explanatory power.

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...) the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...) introduce an aboutness-based account of truthmaking as a metaphysically modest alternative to the orthodox necessitarian account of truthmaking. Second, I discuss the distinction between states and events that has been made on the basis of linguistic evidence regarding aspectual markers and nominalisation. I argue that the modest approach to truthmaking allows us to accept that there is a real distinction between states and events without requiring that the distinction is ontologically substantial. Specifically, what we are talking about with state-truthbearers really differs from what we are talking about with event-truthbearers, but this difference need not be understood as a difference in kinds of entities. Because of its overall modesty, this is a theoretically virtuous result. (shrink)

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

The causal theory of properties is standardly combined with a realist's ontology of universals or tropes. In this paper, I consider an uncharted alternative – a nominalist causal theory of properties. I discuss advantages and disadvantages of the resulting theory of properties, and explore the Rylean understanding of causal powers that emerges.

The formal structure of Frege’s ‘concept script’ has been widely adopted in logic text books since his time, even though its rather elaborate symbols have been abandoned for more convenient ones. But there are major difficulties with its formalisation of pronouns, predicates, and propositions, which infect the whole of the tradition which has followed Frege. It is shown first in this paper that these difficulties are what has led to many of the most notable paradoxes associated with this tradition; the (...) paper then goes on to indicate the lines on which formal logic—and also the lambda calculus and set theory—needs to be restructured, to remove the difficulties. Throughout the study of what have come to be known as first-, second-, and higher-order languages, what has been primarily overlooked is that these languages are abstractions. Many well known paradoxes, we shall see, arose because of the elementary level of simplification which has been involved in the abstract languages studied. Straightforward resolutions of the paradoxes immediately appear merely through attention to languages of greater sophistication, notably natural language, of course. The basic problem has been exclusive attention to a theory in place of what it is a theory of, leading to a focus on mathematical manipulation, which ‘brackets off’ any natural language reading. (shrink)

This paper argues that ‘that’-clauses are not singular terms (without denying that their semantical values are propositions). In its first part, three arguments are presented to support the thesis, two of which are defended against recent criticism. The two good arguments are based on the observation that substitution of ‘the proposition that p’ for ‘that p’ may result in ungrammaticality. The second part of the paper is devoted to a refutation of the main argument for the claim that ‘that’-clauses are (...) singular terms, namely that this claim is needed in order to account for the possibility of quantification into ‘that’-clause position. It is shown that not all quantification in natural languages is quantification into the position of singular terms, but that there is also so-called ‘non-nominal quantification’. A formal analysis of non-nominal quantification is given, and it is argued that quantification into ‘that’-clause position can be treated as another kind non-nominal quantification. (shrink)

Robert Trueman (2022) sets out and defends an ‘immodest’ identity theory of truth: that is, an identity theory in which the facts with which true propositions are identical are things whose totality is the world: i.e. obtaining states of affairs. This brief reply argues that Truman’s theory falls foul of a perennial objection to such immodest identity theories: namely, that it cannot explain how a candidate proposition’s putative elements can be unified into a proposition proper without this proposition being true.

As the label suggests, according to _propositionalism_, each intentional mental state, attitude or event is or involves a relation to a proposition. In this paper, I will discuss a case that seems prima facie not to be accountable for by propositionalism. After having presented the case, I will show why it is different from others that have been discussed in the literature as able to show that propositionalism cannot be correct. I will then consider what the propositionalist can say to (...) fix the problem and I will show that no strategy that is genuinely propositionalist seems promising. I will not conclude that propositionalism is doomed. But I will show that if propositionalism can account for our case at all, it can only do so by losing its main appeal, i.e. its elegance and simplicity. But then propositionalism seems to have lost its advantage with respect to its obvious alternative, i.e. a pluralist account according to which mental states, attitudes and events are not all homogeneously relations to propositions, but rather our mental life should be accounted for in terms of a plurality of kinds of relata. (shrink)

This paper is about the relationship between truthmaking—one of the pillars of contemporary metaphysics—and deflationism about truth—one of the main contenders in the debate about truth, and a key component of the broad anti-metaphysical philosophical approach known as pragmatism. Many philosophers have argued that deflationism and truthmaking are incompatible or in conflict in some interesting way. Some take this to count against deflationism, others to count against truthmaking. In this paper I argue that deflationism and truthmaking are compatible in most (...) of the ways in which they are commonly thought to be incompatible. Deflationism does not render truthmaking unintelligible, avoidable, unmotivated, or trivial. While deflationism is incompatible with certain ideas within mainstream truthmaking, I argue that these ideas result from merely optional assumptions and principles commonly accepted by mainstream truthmaker theorists. (shrink)