Although idealism was widely defended in the history of philosophy, it is nowadays almost universally considered a non-starter. This holds in particular for a strong form of idealism, which asserts that not just minds or the mental in general, but our human minds in particular are metaphysically central to reality. Such a view seems to be excessively anthropocentric and contrary to what we by now know about our place in the universe. Nonetheless, there is reason to think that such a (...) strong form of idealism is indeed correct. In this paper, I will present an argument for idealism of this kind through considerations about a harmony between our thought and reality. The central argument in favour of idealism will come from a possibly unexpected source: we can see that a strong form of idealism is true simply from considerations about our language alone. I shall argue that thinking about how we represent reality allows us to conclude that idealism is true, and thus that reality must be a certain way. But no argument of this kind seems to allow for a metaphysical conclusion like idealism, since considerations about our language alone only show how we represent reality, not how reality is. And thus idealism can’t possibly follow, since it concerns how reality is, not just how we represent it to be. A good part of the second half of the paper is devoted to showing how such an argument is possible after all, and that it really does establish idealism. (shrink)

For sentences such as (1), "Columbus knows that the sea is unpredictable", there is a face-value theory, according to which ‘that’-clauses are singular terms denoting propositions. Famously, Prior raised an objection to the theory, but defenders of the face-value theory such as Forbes, King, Künne, Pietroski and Stanley urged that the objection could be met by maintaining that in (1) ‘to know’ designates a complex relation along the lines of being in a state of knowledge having as content. Is the (...) theory safe, then? The aim of this paper is to show that a new problem for the theory arises if we consider attributions of skills, knacks, propensities and abilities. (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.

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...) are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (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)

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)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

I advance a variety of intellectualism about knowing-how that is, paradoxically, suggested by Ryle's positive discussions of that phenomenon. I discuss the roots of the view in Ryle's work, its affinity with John Hyman's () view of factual knowledge, and important points of contrast with Stanley and Williamson's () proposal. Drawing on work by Cath () and Wiggins () I also discuss conditions on knowing practically, in ‘the executive way’, as an alternative to appealing to practical modes of presentation.

Although widely used across psychology, economics, and philosophy, the concept ofeffort is rarely ever defined. This article argues that the time is ripe to look for anexplicit general definition of effort, makes some proposals about how to arrive at thisdefinition, and suggests that a force-based approach is the most promising. Section 1presents an interdisciplinary overview of some chief research axes on effort, and arguesthat few, if any, general definitions have been proposed so far. Section 2 argues thatsuch a definition is (...) now needed and proposes a basic methodology to arrive at it, whosefirst step is to make explicit the various tacit assumptions about effort made acrosssciences and ordinary thinking. Section 3 unearths 4 different conceptions of effortfrom research on effort so far:primitive-feelings accounts,comparator-based accounts,resource-based accountsandforce-based accounts. It is then argued that the first 2kinds of accounts, although interesting in their own right, are not strictly speaking abouteffort. Section 4 considers the 2 most promising general approaches to efforts: re-source-based and force-based accounts. It argues that these accounts are not only compatible but actually extensionally equivalent. This notwithstanding, it explains why force-based accounts should be regarded as more fundamental than resource-basedaccounts -/- . (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, (...) contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (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 is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

A response to critics, Douglas Patterson and Mark Textor, on Künne's modest theory of truth in *Conceptions of Truth*.

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (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)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

The purpose of this paper is twofold: first we outline a version of non‐descriptivism, ‘minimal expressivism’, leaving aside certain long‐standing problems associated with conventional expressivist views. Second, we examine the way in which familiar expressivist results can be accommodated within this framework, through a particular interpretation that the expressive realm lends to a theory of meaning. Expressivist theories of meaning address only a portion of the classical problems attributed to this position when they seek to explain why the expressions they (...) deal with have a given meaning. A position can nevertheless be termed ‘expressivist’ – in the minimal sense that we favor – based simply on the following key features of the meaning of these expressions: they can be used as functions of propositions, and they are not used to describe the way the world is. (shrink)

I examine the difficulties that several philosophers of language are liable to encounter in their attempts to provide an account of the connection between truth and assertion. I then attempt to provide an account of this connection. The analysis is concerned chiefly with difficulties which consist in elucidating the conceptual connection between truth and assertion in a way that respects certain linguistic intuitions while at the same time rendering the concept of truth amenable to a semantic interpretation. The proposed view (...) suggests one way in which we might go about meeting the theoretical demands implicit in addressing this concern, among others, demonstrating the extent to which a theory of truth should be regarded as belonging to the province of epistemology. Insofar as semantical considerations figure into such a theory, a more systematic investigation of the interface between epistemology and natural language semantics is recommended. The solution to many problems at this interface, I argue, lay in an analysis of judgment. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

Both through his own work and that of his students, Franz Clemens Brentano had an often underappreciated influence on the course of 20 th - and 21 st -century philosophy. _The Routledge Handbook of Franz Brentano and the Brentano School_ offers full coverage of Brentano’s philosophy and his influence. It contains 38 brand-new essays from an international team of experts that offer a comprehensive view of Brentano’s central research areas—philosophy of mind, metaphysics, and value theory—as well as of the principal (...) figures shaped by Brentano’s school of thought. A General Introduction serves as an overview of Brentano and the contents of the volume and three separate bibliographies point students and researchers on to further avenues of inquiry. Systematic and detailed, _The Routledge Handbook of Franz Brentano and the Brentano School_ provides readers with a valuable reference to Brentano’s work, and to his lasting importance in the history of philosophy and in contemporary debates. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

The purpose of this paper is twofold: first we outline a version of non-descriptivism, ‘minimal expressivism’, leaving aside certain long-standing problems associated with conventional expressivist views. Second, we examine the way in which familiar expressivist results can be accommodated within this framework, through a particular interpretation that the expressive realm lends to a theory of meaning. Expressivist theories of meaning address only a portion of the classical problems attributed to this position when they seek to explain why the expressions they (...) deal with have a given meaning. A position can nevertheless be termed ‘expressivist’ – in the minimal sense that we favor – based simply on the following key features of the meaning of these expressions: they can be used as functions of propositions, and they are not used to describe the way the world is. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (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)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

This paper is a critical evaluation of Kuenne's attempt to define truth via quantification into the position of a sentence.

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

The paper describes the evolution of russell's theory of judgment between 1910 and 1913, With especial reference to his recently published "theory of knowledge" (1913). Russell abandoned the book and with it the theory of judgment as a result of wittgenstein's criticisms. These criticisms are examined in detail and found to constitute a refutation of russell's theory. Underlying differences between wittgenstein's and russell's views on logic are broached more sketchily.

When thinking about the notion of essence or of an essential feature, philosophers typically focus on what I will call the notion of objectual essence. The main aim of this paper is to argue that beside this familiar notion stands another one, the notion of generic essence, which contrary to appearance cannot be understood in terms of the familiar notion, and which also fails to be correctly characterized by certain other accounts which naturally come to mind as well. Some of (...) my objections to these accounts are similar to some of Kit Fine’s compelling objections to the standard modal account of (objectual) essence (Fine 1994). In the light of these objections, Fine advances the view that it is metaphysical necessity which has to be understood in terms of essence, rather than the other way around, and takes essence to be unanalyzable. When formulatinghis view, Fine had only objectual essence in mind (or had both concepts in mind, but assumed that the generic is a special case of the objectual), and for that reason, I will argue, his account fails. I will suggest that Fineans should modify their view, and take it that metaphysical necessity is to be understood in terms of the two notions of essence—a view I myself find appealing. Finally, I will end by suggesting a further move which reduces the objectual to the generic, making metaphysical necessity reducible to generic essence alone—a move with which I myself have some sympathy. (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’.).

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (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)

An account of the distinction between singular and general propositions should reflect the core ideas that have motivated the distinction. Those core ideas can be appreciated independently of many commitments regarding the metaphysics of propositions, but theorists with differing views on the latter have given quite different explanations of what it is for a proposition to be singular or general. Many of those explanations turn out not to reflect the core ideas adequately after all, either by misclassifying certain propositions or (...) by failing to be sufficiently informative. A more satisfactory account can be formulated by more directly elaborating on the background ideas motivating the distinction. The resulting account not only does better than its competitors, but is compatible with various views on the metaphysics of propositions. (shrink)

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (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)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.