Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component forces. We (...) think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

It is common for contemporary ontologists to claim that they are not concerned with what exists simpliciter, but rather with what exists ’fundamentally’, or what ’really’ exists. I argue that positions of this sort cannot satisfy reasonable constraints concerning the acquisition of language. I assess and dismiss possible responses to this complaint before commenting on the prospects for a metaphysics without bespoke existence claims.

There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, and (...) showing that the most obvious formal argument in its favour is question begging. I go on to discuss the behaviour of natural language plurals, motivating a case against (Necinc) by developing a case that natural language plural terms are not de jure rigid designators. The paper concludes by developing a model theory for modal PFO-f which does not validate (Necinc). An Appendix discusses (Necinc) in relation to counterpart theory. Of course, it would be a mistake to think that the rules for "multiple pointing" follow automatically from the rules for pointing proper. Max Black—The Elusiveness of Sets In some influential articles during the 1980s George Boolos proposed an interpretation of monadic second-order logic in terms of plural quantification [4, 5]. One objection to this proposal, pressed by Williamson [22, 456-7], focuses on the modal behaviour of plural variables, arguing that the proposed interpretation yields the wrong results in respect of the modal status of atomic predications. In the present paper I will present this objection and argue against it. In the course of developing the argument, I will have cause to consider the under-investigated question of how a logic for plurals should be extended to incorporate modal operators. (shrink)

There is a widely extended viewpoint about physical possibility, what we will call Standard Approach, which holds that the physically possible is delimited by the nomological structure of physical theories: to be physically possible is to be in accordance with the physical laws, to be physically impossible is to be prohibited by physical laws and to be physically necessary is to be demanded by the physical laws. However, it is possible to show that this approach is too relaxed and permissive (...) when it comes to collecting and systematizing many of the modal intuitions present in the physical community. In this work we will argue, on the one hand, that the notion of physical possibility is more complex and richer than suggested by the standard approach and, on the other hand, that it is necessary to add some extra elements to the characterization of physical possibility in order to that it is adequate in scientific contexts. (shrink)

The frame problem is the problem of how we selectively apply relevant knowledge to particular situations in order to generate practical solutions. Some philosophers have thought that the frame problem can be used to rule out, or argue in favor of, a particular theory of belief states. But this is a mistake. Sentential theories of belief are no better or worse off with respect to the frame problem than are alternative theories of belief, most notably, the “map” theory of belief.

An outline for a modal interpretation in terms of possible worlds is presented. The so-called Schmidt histories are taken to correspond to the physically possible worlds. The decoherence function defined in the histories formulation of quantum theory is taken to prescribe a non-classical probability measure over the set of the possible worlds. This is shown to yield dynamics in the form of transition probabilities for occurrent events in each world. The role of the consistency condition is discussed.

An outline for a modal interpretation in terms of possible worlds is presented. The so-called Schmidt histories are taken to correspond to the physically possible worlds. The decoherence function defined in the histories formulation of quantum theory is taken to prescribe a non-classical probability measure over the set of the possible worlds. This is shown to yield dynamics in the form of transition probabilities for occurrent events in each world. The role of the consistency condition is discussed.

A direct realist theory of perceptual justification. I take a ground-up approach, beginning with a theory of subjective rationality understood in terms of first-person rational explicability of the stream of consciousness. I mathematize this picture via a Tractarian spin on a semantical framework developed by Rayo. Perceptual states justify by being 'receptive': rationally inexplicable intentional states encoded in sentences that are analytic. Direct realists working within this framework should say that when one is taken in by hallucination one's overall picture (...) of the world is incoherent; in this sense, a belief based on delusive hallucination can be provided with exculpation but not with justification. (shrink)

Few topics in cosmology are as hotly debated as the Multiverse: for some it is untestable and hence unscientific; for others it is unavoidable and a natural extension of previous science. A third position is that it is seen to follow from other theories, but those other theories might themselves be seen as too speculative. The idea of fine-tuning has a similar status. Some of this disagreement might be due to misunderstanding, in particular the degree to which probability distributions are (...) necessary to interpret conclusions based on the Multiverse, especially with regard to the Anthropic Principle. I present undisputed facts, discuss some common misunderstandings, and investigate the role played by probability. The Multiverse is perhaps an important component necessary for interpreting cosmological and other physical parameters. (shrink)

The aim of this paper is to argue that there is no unproblematic way of delineating perceptual beliefs from non-perceptual beliefs. The concept of perceptual belief is one of the central concepts not only of philosophy of perception but also of epistemology in a broad foundationalist tradition. Philosophers of perception talk about perceptual belief as the interface between perception and cognition and foundationalist epistemologists understand perceptual justification as a relation between perceptual states and perceptual beliefs. We consider three ways of (...) cashing out the difference between perceptual and non-perceptual beliefs (semantic, justificatory, and etiological) and argue that none of them works. Finally, we explore the possibility of understanding perceptual justification without relying on the concept of perceptual beliefs. (shrink)

Objectivism about evidential support is the thesis that facts about the degree to which a body of evidence supports a hypothesis are objective rather than depending on subjective factors like one’s own language or epistemic values. Objectivism about evidential support is key to defending a synchronic, time-slice-centric conception of epistemic rationality, on which what you ought to believe at a time depends only on what evidence you have at that time, and not on how you were at previous times. Here, (...) I defend a version of objectivism about evidential support on which facts about evidential support are grounded in facts about explanatoriness. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

While empirical symmetries relate situations, theoretical symmetries relate models of a theory we use to represent them. An empirical symmetry is perfect if and only if any two situations it relates share all intrinsic properties. Sometimes one can use a theory to explain an empirical symmetry by showing how it follows from a corresponding theoretical symmetry. The theory then reveals a perfect symmetry. I say what this involves and why it matters, beginning with a puzzle that is resolved by the (...) subsequent analysis. I conclude by pointing to applications and implications of the ideas developed earlier in the paper. (shrink)

At first sight the Aharonov- Bohm effect appears nonlocal, though not in the way EPR/Bell correlations are generally acknowledged to be nonlocal. This paper applies an analysis of nonlocality to the Aharonov- Bohm effect to show that its peculiarities may be blamed either on a failure of a principle of local action or on a failure of a principle of separability. Different interpretations of quantum mechanics disagree on how blame should be allocated. The parallel between the Aharonov- Bohm effect and (...) violations of Bell inequalities turns out to be so close that a balanced assessment of the nature and significance of quantum nonlocality requires a detailed study of both effects. (shrink)

The paper offers a new account of Spinoza's conception of “substance”, the fundamental building block of reality. It shows that it can be demonstrated apriori within Spinoza's metaphysical framework that (i) contrary to Idealist readings, for Spinoza there can be no substance that is not determined or modified by some other entity produced by substance; and that (ii) there can be no substance (and hence no being) that is not a thinking substance.

Take this banana. It is now yellow, and when I bought it yesterday it was green. How can a single object be both green all over and yellow all over without contradiction? It is, of course, the passage of time which dissolves the contradiction, but how is this possible? How can a banana ripen? These questions raise the problem of change. The problem is sometimes called the problem of temporary intrinsics, but, as I shall explain below, this emphasis on intrinsic (...) properties is misleading. For my more recent thoughts in this area, please see my 'David Lewis on Persistence' (2015). (shrink)

It has been argued that actualism – the view that there are no non-actual objects – cannot deal adequately with statements involving iterated modality, because such claims require reference, either explicit or surreptitious, to non-actual objects. If so, actualists would have to reject the standard semantics for quantified modal logic (QML). In this paper I develop an account of modality which allows the actualist to make sense of iterated modal claims that are ostensibly about non-actual objects. Every occurrence of a (...) modal operator involves the stipulation of a possible world, and nested modal operators require stipulation of nested possible worlds. I provide an actualistically acceptable (AA) semantics for QML wherein the nesting relation is irreflexive and intransitive and forms a tree. Despite these restrictions, AA models can beshown to be sound and complete for a wide variety of modal logics. (shrink)

If the property _being a methane molecule_ is a universal, then it is a structural universal: objects instantiate _being a methane molecule_ just in case they have the right sorts of proper parts arranged in the right sort of way. Lewis argued that there can be no satisfactory account of structural universals; in this paper I provide a satisfactory account.

Think of “locations” very abstractly, as positions in a space, any space. Temporal locations are positions in time; spatial locations are positions in (physical) space; particulars are locations in quality space. Should we reify locations? Are locations entities? Spatiotemporal relation- alists say there are no such things as spatiotemporal locations; the fundamental spatial and temporal facts involve no locations as objects, only the instantiation of spatial and temporal relations. The denial of locations in quality space is the bundle theory, according (...) to which particulars do not exist; facts apparently about particulars really concern relations between universals. A “space”, in our abstract sense, consists of a set of objects, together with properties and relations defined on those objects. The objects are the locations of the space, and the distribution of the properties and relations over the locations defines the space’s structure. All spaces are thus quality spaces; when the relations are thought of as spatiotemporal then the space is also a spatiotemporal space. By not reifying locations one denies that these abstract spaces isomorphically represent the real world. The real world does in some sense have a structure that can be non-isomorphically represented by a space (or, more likely, a class of spaces), but the locations in those spaces do not correspond to anything real. We will examine modal considerations on reifying locations. Denying the existence of spatiotemporal locations excludes certain possibilities for spatiotemporal reality. Denying the existence of qualitative locations excludes certain possibilities for qualitative space. In each case the excluded possibilities are pre-analytically possible. Some of the possibilities can be reinstated by modifying the locationless theories, but at the cost of an unattractive holism. Do these modal considerations mandate postulating locations? That depends on whether modal intuition can teach us about the actual world.. (shrink)

This chapter explores the connections between David Lewis's perdurance theory and his Humean supervenience, arguing that his influential argument about temporary intrinsics is best seen in this light. It presents domestic dispute within the anti‐endurantist camp and analyzes the following questions: why does Lewis identify ordinary objects with world‐bound parts of transworld objects, but not with time‐bound parts of transtemporal objects? Given that Lewis is a counterpart theorist about modality, why isn't he a stage theorist about persistence? Humean supervenience in (...) isolation does not entail perdurance theory, even for the actual world. Lewis's treatment of temporary intrinsics in On the Plurality of Worlds forms part of a discussion of both persistence and its modal analogue, for which there is no neutral term. Perdurance theory is challenged by the stage theory of persistence, which identifies ordinary objects with brief stages instead of transtemporal sums of those stages. (shrink)

The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

What is it for a predicate or a general term to be a rigid designator? Two strategies for answering this question can be found in the literature, but both run into severe difficulties. In this paper, it is suggested that proper names and the usual examples of rigid predicates share a semantic feature which does the theoretical work usually attributed to rigidity. This feature cannot be equated with rigidity, but in the case of singular terms this feature entails their rigidity, (...) as understood in the standard characterisation. Hence, it is appropriate to call this feature proto-rigidity. (shrink)

It is widely held, even among nonnaturalists, that the moral supervenes on the natural. This is to say that for any two metaphysically possible worlds w and w′, and for any entities x in w and y in w′, any isomorphism between x and y that preserves the natural properties preserves the moral properties. In this paper, I put forward a conceivability argument against moral supervenience, assuming non-naturalism. First, I argue that though utilitarianism may be true, and the trolley driver (...) is permitted to kill the one to save the five, there is a conceivable scenario that is just like our world in all natural respects, yet at which deontology is true, and the trolly driver is not permitted to kill the one to save the five. I then argue that in the special case of morality, it is possible to infer from the conceivability of such a scenario to its possibility. It follows that supervenience is false. (shrink)

According to the person-affecting view, the ethics of welfare should be cashed out in terms of how the individuals are affected. While the narrow version fails to solve the non-identity problem, the wide version is subject to the repugnant conclusion. A middle view promises to do better – the Interpersonal Comparative View of Welfare (ICV). It modifies the narrow view by abstracting away from individuals’ identities to account for interpersonal gains and losses. The paper assesses ICV’s merits and flaws. ICV (...) solves the non-identity problem, avoids the repugnant conclusion, and seems to accommodate the person-affecting intuition. But it cuts too many things along the way: ICV obstructs the advantage of the wide view to account for all future individuals’ welfare, abandons the intuitions that underlie the narrow view, and even violates its own presuppositions by turning out to be merely pseudo person-affecting. (shrink)

Here's one piece of practical reasoning: "If I do this then a person will reap some benefits and suffer some costs. On balance, the benefits outweigh the costs. So I ought to do it." Here's another: "If I do this then one person will reap some benefits and another will suffer some costs. On balance, the benefits to the one person outweigh the costs to the other. So I ought to do it." Many influential philosophers say that there is something (...) dubious about the second piece of reasoning. They say that it makes sense to trade-off costs and benefits within lives, but not across lives. In this paper I make a case for the second piece of reasoning. My case turns on the existence of morphing sequences—sequences of possible states of affairs across which people transform smoothly into other people. (shrink)

From among philosophical concepts of explanation those referring to causes have been the most influential. The aim of this paper it to show that a particular kind of causal explanations, namely dispositional explanations are particularly suited to explain the workings of the world. Apart from purely philosophical arguments, I claim that the view treating dispositions as important elements of the basic ontology of nature is in line with the Christian worldview and the ways God impacts the world. Also, this paper (...) shows that dispositional explanations are not only appropriate in the domains studied by natural sciences but also in the ones being under investigation in social sciences, and thus the case of economics. (shrink)

Non-actualist theories promise straightforward accounts of meaning, truth and reference of fictional discourse but are ostensibly saddled with a Selection Problem, that multiple possible candidates satisfy the role-descriptions associated with names used in fictions and no principled way to distinguish between them; yet if names are referential, there can only be one referent. The problem is often taken to be a serious—even decisive—obstacle for non-actualism, and the aim of this article is to show that the challenge can be met. I (...) suggest that storytellers and authors fix the referents of referential terms they use by arbitrary selecting referents through simple acts of stipulation, and then determine which of the worlds containing the relevant individuals serve as truth-makers for the story by adding properties to the characters. The resulting view of reference is consistent with reasonable, foundational requirements on reference, such as a causal-historical theory, and can moreover be used to support plausible theories of truth in fiction and facilitate elegant models of fiction as a type of discourse. (shrink)

There are, broadly, three sorts of account of intrinsicality: ‘self-sufficiency’, ‘essentiality’ and ‘pure qualitativeness’. I argue for the last of these, and urge that we take intrinsic properties of concrete objects to be all and only those shared by actual or possible duplicates, which only differ extrinsically. This approach gains support from Francescotti’s approach: defining ‘intrinsic’ in contradistinction to extrinsic properties which ‘consist in’ relations which rule out intrinsicality. I answer Weatherson’s criticisms of Francescotti, but, to answer criticisms of my (...) own, I amend his account, proposing that possession of an extrinsic property consists in a relation to one or more actual or possible distinct concrete objects. Finally I indicate ways to avoid some apparent objections to this account. (shrink)

Possession of any actual physical property depends on the ambient conditions for its bearers, irrespective of one's particular theory of dispositions. If 'self-sufficiency' makes a property intrinsic, then, because of this dependence, things in the actual world cannot have an intrinsic physical resemblance to one another or to things in other possible worlds. Criteria for the self-sufficiency of intrinsic properties based on, or implying indifference to both 'loneliness' and 'accompaniment' entail that no self-sufficient property can require its bearers to be (...) extended in space or time, yet all physical properties of concrete objects do require this. These outcomes undermine the vindication of physicalism claimed by neo-Humeans for their metaphysical project. For physical properties dependent on ambient conditions cannot supervene on intrinsic properties independent of ambient conditions: when ambient conditions change we get a change in the former without a change in the latter. (shrink)

The first section of this paper introduces talk about absolutely everything -- the world as a totality -- as an integral element in the project of natural theology, as it has been presented by Fergus Kerr and Denys Turner respectively. The following section presents talk about the world as a totality of facts as a theme in philosophical logic and outlines a problem it has given rise to there. After confronting the solution originally suggested by Bertrand Russell and defended by (...) David Armstrong, the paper points to key elements of the solution presented by Wittgenstein in Tractatus Logico-Philosophicus. I show how Wittgenstein’s answer to the question of unrestricted quantification draws on his notion of showing and the inexpressible. Against this background, the concluding section draws attention to an important difference in ambition between Kerr’s and Turner’s description of the prospects for natural theology. (shrink)

In this paper I explore how the tenseless copula is to be interpreted in sentences of the form “a is F at t”, where “a” denotes a persisting, changeable object, “F” stands for a prima facie intrinsic property and “t” for a B-time. I argue that the interpretation of the copula depends on the logical role assigned to the time clause. Having rejected the idea that the time clause is to be treated as a sentence operator, I argue: that if (...) “at t” is thought of as being associated with “a” or “F”, then the tenseless copula is most plausibly read as an “is” simpliciter; and that if “at t” is treated as being associated with the copula, then the tenseless copula is most plausibly understood as expressing a disjunction of tensed copulas. I end the paper by explaining the importance of the issue. I indicate the ramifications interpretation of the tenseless copula has for the so-called problem of temporary intrinsics. (shrink)

Saying so can make it so, J. L. Austin taught us long ago. Famously, John Searle has developed this Austinian insight in an account of the construction of institutional reality. Searle maintains that so-called Status Function Declarations, allegedly having a “double direction of fit”, synchronically create worldly institutional facts, corresponding to the propositional content of the declarations. I argue that Searle’s account of the making of institutional reality is in tension with the special theory of relativity—irrespective of whether the account (...) is interpreted as involving causal generation or non-causal grounding of worldly institutional facts—and should be replaced by a more modest theory which interprets the results of Status Function Declarations in terms of mere Cambridge change and institutional truth. I end the paper by indicating the import of this more modest theory for theorizing about the causal potency of institutional phenomena generated by declarations. (shrink)

Setting off from a familiar distinction in the philosophy of properties, this paper introduces a tripartite distinction between sparse causation, abundant causation and mere abundant causation. It is argued that the contrast between sparse and mere abundant causation allows us to resolve notorious philosophical issues having to do with negative causation, causation involving institutional properties and physical macro-causation in a way that is unified, intuitive and in line with scientific doctrines and practices.

In this paper I answer Aranyosi’s (Axiomathes 19(2):223–224, 2009) criticism of my “Is Phosphorus Hesperus?” (Axiomathes 19(1):101–102, 2009).

I argue that Mumford and Anjum’s recent theory of simultaneous causation among powerful meso-level objects is problematic in several respects: it is based on a false dichotomy, it is incompatible with standard meso-level physics, it is explanatory deficient, and it threatens to render the powers metaphysics incoherent. Powers theorists are advised, therefore, to adopt a purely sequential conception of causation.

Can institutional objects be identified with physical objects that have been ascribed status functions, as advocated by John Searle in The Construction of Social Reality (1995)? The paper argues that the prospects of this identification hinge on how objects persist – i.e., whether they endure, perdure or exdure through time. This important connection between reductive identification and mode of persistence has been largely ignored in the literature on social ontology thus far.

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal processes, and (...) that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (shrink)

Three arguments for the conclusion that objects cannot endure in B-time even if they remain intrinsically unchanged are examined: Carter and Hestevolds enduring-objects-as-universals argument (American Philosophical Quarterly 31(4):269-283, 1994) and Barker and Dowe's paradox 1 and paradox 2 (Analysis 63(2):106-114, 2003, Analysis 65(1):69-74, 2005). All three are shown to fail.

Over the last few decades, philosophers and social scientists have applied the so-called powers ontology to the social domain. I argue that this application is highly problematic: many of the alleged powers in the social realm violate the intrinsicality condition, and those that can be coherently taken to be intrinsic to their bearers are arguably causally redundant. I end the paper by offering a diagnosis of why philosophers and social scientists have been tempted to think that there are powers in (...) social realm. (shrink)

This paper asks whether persistence can be a matter of convention. It argues that in a rather unexciting de dicto sense persistence is indeed a matter of convention, but it rejects the notion that persistence can be a matter of convention in a more substantial de re sense. However, scenarios can be imagined that appear to involve conventional persistence of the latter kind. Since there are strong reasons for thinking that such conventionality is impossible, it is desirable that our metaphysical-cum-semantic (...) theories of persistence be able to account for such scenarios in terms of conventions of the first kind. Later parts of the article therefore investigate whether three of the currently most influential metaphysical-cum-semantic theories of persistence—the endurance theory, the stage theory, and the perdurance theory—can do this. Fortunately, for them, it turns out that all can, though some philosophers have disputed this. However, when we ask how they account for a typical case of “conventional persistence” some problematic features of the theories—having to do with reference, persistence conditions, how they relate, and the epistemology of persistence—are revealed. (shrink)

Many powers metaphysicians postulate both active and passive powers, understood as distinct kinds of intrinsic causal properties of objects. I argue that the category of passive power is superfluous. I also offer a diagnosis of how philosophers are misled to postulate passive powers.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object , property , and relation —are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical (...) form: for example, the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)