Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

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)

The metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to be made.

The identity predicate can be defined using second-order quantification: a=b =df ∀F(Fa↔Fb). Less familiarly, a dyadic sentential operator analogous to the identity predicate can be defined using third-order quantification: ϕ≡ψ =df ∀X(Xϕ↔Xψ), where X is a variable of the same syntactic type as a monadic sentential operator. With this notion in view, it is natural to ask after general principles governing its application. More grandiosely, how fine-grained is reality? -/- I will argue that reality is not structured in anything like (...) the way that the sentences we use to talk about it are structured. I do so by formulating a higher-order analogue of Russell’s paradox of structured propositions. I then relate this argument to the Frege-Russell correspondence. When confronted with the alleged paradox, Frege agreed that reality was not structured, but maintained that propositions (i.e. thoughts) were structured all the same. Russell replied that his paradox showed Frege’s theory of structured thoughts to be inconsistent, to which Frege replied that Russell’s argument failed to heed the distinction between sense and reference. Most recent commentators have sided with Russell. In defense of Frege, I establish the consistency of one version of his rejoinder. I then consider and reject some ways of resisting the argument against a structured conception of reality. I conclude that, if propositions are structured, this is because they correspond not to distinctions in reality, but rather to ways in which those distinctions can be represented. (shrink)

Most contemporary action theorists deny the possible existence of intentionally evil actions or diabolic agency. The reason for this is a normative interpretation of agency that appears to be motivated by action theoretic concerns, where agents are conceived as necessarily acting sub specie bonie or under ‘the guise of the good’. I argue that there is nothing in human agency to motivate this view and that diabolic evil is not at odds with inherent features of our nature.

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Necessarily, if I ate a slice of pizza, then that slice of pizza was eaten by me. More generally, it is necessarily true that if a relation holds between two objects in some order, its converse holds of the same objects in reverse order. What is the intimate relationship that guarantees such necessary connections? Timothy Williamson argues that the relationship between converses must be identity, on pain of the massive and systematic indeterminacy of relational predicates. If sound, Williamson’s argument overturns (...) our standard conception of relations, according to which relations are individuated not just by the arguments they take, but by the order in which they take those arguments. I show how one can defend the standard conception against Williamson’s argument. My defense helps us to better understand both the standard conception of relations and the nature of relational predicates. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

I explore some ways in which one might base an account of the fundamental metaphysics of geometry on the mathematical theory of Linear Structures recently developed by Tim Maudlin (2010). Having considered some of the challenges facing this approach, Idevelop an alternative approach, according to which the fundamental ontology includes concrete entities structurally isomorphic to functions from space-time points to real numbers.

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

Many contemporary philosophers endorse the Humean-Lewisian Denial of Absolutely Necessary Connections (‘DANC’). Among those philosophers, many deny all or part of the Humean-Lewisian package of views about causation and laws. I argue that they maintain an inconsistent set of views. DANC entails that (1) causal properties and relations are, with a few possible exceptions, always extrinsic to their bearers, (2) nomic properties and relations are, with a few possible exceptions, always extrinsic to their bearers, and (3) causal and nomic properties (...) and relations globally supervene on non-causal, non-nomic properties and relations. Hence, one can’t be a consistent Half-Hearted Humean. Consistency demands giving up the core Humean thesis or facing up to its consequences. The upshot is that we face a stark choice: either there are absolutely necessary connections between distinct existents or it’s "just one damn thing after another.". (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

Realists about universals face a question about grounding. Are things how they are because they instantiate the universals they do? Or do they instantiate those universals because they are how they are? Take Ebenezer Scrooge. You can say that Scrooge is greedy because he instantiates greediness, or you can say that Scrooge instantiates greediness because he is greedy. I argue that there is reason to prefer the latter to the former. I develop two arguments for the view. I also respond (...) to some concerns one might have about the view defended. I close by showing that analogous views regarding the truth of propositions and the existence of facts are supported by analogs of one of these arguments. (shrink)

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

The object of this paper is to argue once again for the combinatorial account of possibility defended in earlier work. But there I failed fully to realise the dialectical advantages that accrue once one begins by assuming the hypothesis of logical atomism, the hypothesis that postulates simple particulars and simple universals at the bottom of the world. Logical atomism is, I incline to think, no better than ‘speculative cosmology’ as opposed to ‘analytic ontology’, to use Donald Williams’ terminology. It is, (...) however, not an implausible hypothesis given the current state of quantum physics. More important for our purposes here, the strictly combinatorial theory that flows rather naturally from the atomist metaphysics shows some promise of continuing to hold in a world that is not an atomist world. (shrink)

A proper presentation of this theory [sc. of properties] would treat properties as a special kind of relation. And it would treat propositions as a special kind of relation: it would treat properties as monadic relations and propositions as 0-adic relations. But I will not attempt to discuss relations within the confines of this paper.[ii].

Two kinds of explanation might be put forward. The first goes like this: the necessary connection between the location of a whole and the location of its parts holds because the location of the whole is nothing but the collective location of its parts. The second style of explanation goes like this: the connection holds because what it is for a material whole to have something as a part, is (perhaps among other things) for the whole to contain the part.

1. La estructura como problema filosófico 2. Teorías metafísicas de la estructura 2.1. La concepción intrínseca de la estructura 2.2. Como parte sui-generis 2.3. La concepción extrínseca de la estructura 3. Conclusiones Referencias.

This paper seeks to explicate and analyze an alternative response to fine-tuning arguments from those that are typically given—namely, design or brute contingency. The response I explore is based on necessity, the necessitarian response. After showing how necessity blocks the argument, I explicate the reply I claim necessitarians can give and suggest how its three requirements can be met: firstly, that laws are metaphysically necessary; secondly, that constants are metaphysically necessary; and thirdly, that the fundamental properties that determine the laws (...) and constants are necessary. After discussing each in turn, I end the paper by assessing how the response fares when running the fine-tuning argument in two ways, as an inference to best explanation and as a Bayesian argument. (shrink)

Timothy Williamson thinks that every object is a necessary, eternal existent. In defense of his view, Williamson appeals primarily to considerations from modal and tense logic. While I am uncertain about his modal claims, I think there are good metaphysical reasons to believe permanentism: the principle that everything always exists. B-theorists of time and change have long denied that objects change with respect to unqualified existence. But aside from Williamson, nearly all A-theorists defend temporaryism: the principle that there are temporary (...) existents. I think A-theorists are better off without this added commitment, but I will not argue for that in any great detail here. Instead, I will contend that a very tempting A-theoretic argument for temporaryism is unsound. In the first half of the paper, I will develop the Moorean “common sense” argument for temporaryism and dispute its central premise, namely that temporaryism is a valid generalization from highly plausible beliefs about change. I will argue that given the pervasive vagueness in our ordinary beliefs about change and the background commitments of all A-theories, no party can claim to be the common sense view because no party can accommodate most of our common sense beliefs about change in existence. In the second half of the paper, I will propose a permanentist A-theory that explains all change over time as a species of property change. I call it the minimal A-theory, since it dispenses with the change in existence assumption. As we'll see, the permanentist alternative performs well enough in explaining our ordinary beliefs about change, and it has better prospects for answering some objections commonly levied against A-theories. (shrink)

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)