Properties

What is the relationship between objects and properties? According to a standard view, there are primitive individuals (or ‘particulars’, or ‘substrata’) that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that (...) avoids many of the problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

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

Book review of David Armstrong's "Sketch for a Systematic Metaphysics", written in Spanish. || Reseña del libro "Sketch for a Sytematic Metaphysics", escrito por David Armstrong.

Book review of Earl Conee and Ted Sider's "Riddles of Existence: A Guided Tour of Metaphysics", written in Spanish. || Reseña del libro "Riddles of Existence: A Guided Tour of Metaphysics", escrito por Earl Conee y Ted Sider.

In common treatments of deontic logic, the obligatory is what's true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference rule (...) which ensures that all tautologies are obligatory. I sketch this amended semantics to show how it invalidates the rule in a new way. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

(April 2019) UNBELIEVABLE similarities between some articles from a book edited by Bliss and Priest (2018) and my ideas (2002-208) -/- (2018) Reality and its Structure - Essays in Fundamentality, Ricki Bliss and Graham Priest (eds.), Oxford Univ Press -/- The content of this paper is about the following articles from the above book: -/- Gabriel Oak Rabin (2018) Grounding Orthodoxy and the Layered Conception Daniel Nolan (2018) Cosmic Loops Naomi Thompson (2018) Metaphysical Interdependence, Epistemic Coherentism, and Tuomas E. Tahko (...) (2018) Holistic Explanation Fundamentality and Ontological Minimality Matteo Morganti (2018) The Structure of Physical Reality Beyond Foundationalism Nathan Wildman (2018) On Shaky Ground? Exploring the Contingent Fundamentality Thesis . (shrink)

Aristotle’s philosophy is considered with respect to one central concept of his philosophy, viz. opposition. Far from being a mere side-effect of syllogistic, it is argued in the present paper that opposition helps to articulate ontology and logic through an account of what can be or cannot be in a systematic and structural way. The paper is divided into three main parts. In Section I, the notion of Being is scrutinized through Aristotle’s theory of categories. In Section II, the notion (...) of Non-Being is connected to Aristotle’s theory of oppositions. In Section III, the notion of essence is revisited in order to bring about a holist theory of meaning by individuating through opposite properties. In conclusion, the legacy of Aristotle is depicted as balanced between a powerful reflection around Being and a restrictive ontology of substance. (shrink)

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this view faces a (...) contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (shrink)

W artykule rozważana jest koncepcja nagiego substratu w kontekście problemu indywiduacji. Głównym celem tekstu jest obrona teorii nagiego substratu (TNS) przed klasycznymi oraz współczesnymi zarzutami. Tok rozważań jest następujący: Autor we wstępie definiuje problem jednostkowienia i systematyzuje obecną dyskusję nad tym zagadnieniem. Następnie skupia się na porównaniu teorii wiązki i teorii nagiego substratu, ujętych jako alternatywne wyjaśnienia jednostkowości przedmiotów. Celem porównania dwóch teorii jest przedstawienie motywacji stojących za przyjęciem TNS. Głównym elementem tekstu jest punkt 2, w którym analizuje podstawowe założenia (...) TNS oraz odpiera wytaczane wobec niej zarzuty. Autor wykazuje, że warunkiem możliwości przezwyciężenia zarzutów z przeludnienia i regresu jest modyfikacja TNS i postulat teorii identyczności. (shrink)

Este ensaio consiste num exame crítico da estrutura e do valor de um conjunto diverso de argumentos por regressão ao infinito que têm sido objecto de discussão recorrente na metafísica contemporânea. O seminal livro de David Armstrong Nominalism and Realism (Armstrong 1978) contém uma das mais compreensivas discussões de argumentos regressivos em metafísica, os quais variam entre argumentos que foram de facto avançados ao longo da história da disciplina (como o Argumento do Terceiro Homem, de Platão) e argumentos construídos de (...) novo por Armstrong para fins de exame crítico. Os argumentos regressivos discutidos por Armstrong têm como alvo uma grande variedade de teorias metafísicas acerca da semelhança e da predicação, entre as quais se contam o nominalismo de predicados, o nominalismo de conceitos, o nominalismo de classes, o nominalismo de semelhança e o realismo metafísico. (shrink)

Neste ensaio, discutem-se cinco questões acerca da existência: 1. É a existência representável em termos de quantificação? 2. É a existência um predicado" real", de primeira ordem? 3. É existir o mesmo que ser? 4. Existe tudo? 5. Qual é a forma lógica de afirmações de existência? São introduzidas e examinadas algumas das mais salientes posições acerca destas questões, em especial a concepção Frege-Russell da existência e diversas concepções recentes neo-Meinongianas. Defendemos as seguintes três teses acerca daquilo que deve ser (...) um bom predicado de existência:(a) um predicado puramente lógico e parcialmente definível em termos do quantificador existencial;(b) invariavelmente um predicado de primeira ordem (dadas certas suposições de partida acerca do universo do discurso);(c) um predicado universal, verdadeiro de tudo e falso de nada. (shrink)

The concepts of particular and universal have grown so familiar that their significance has become difficult to discern, like coins that have been passed back and forth too many times, worn smooth so their values can no longer be read. On the Genealogy of Universals seeks to overcome our sense of over-familiarity with these concepts by providing a case study of their evolution during the late nineteenth century and early twentieth century, a study that shows how the history of these (...) concepts is bound up with the origins and development of analytic philosophy itself. Understanding how these concepts were taken up, transfigured, and given up by the early analytic philosophers, enables us to recover and reanimate the debate amongst them that otherwise remains Delphic. This book begins from the early, originating texts of analytic philosophy that have hitherto baffled commentators, including Moore's early papers, and engages afresh with the neglected contributions of philosophical figures that historians of analytic philosophy have mostly since forgotten, including Stout and Whitehead. This sheds new light upon the relationships of Moore to Russell, Russell to Wittgenstein, and Wittgenstein to Ramsey. (shrink)

It is widely accepted that if a property is essential then it is necessary. Against this I present numerous counterexamples from biology and chemistry, which fall into two groups: (I) A property is essential to a genus or species, yet some instances of this genus or species do not have this essential property. (II) A property is essential to a genus, yet some species of this genus do not have this essential property. I discuss and reject four minor objections. Then (...) I discuss in depth whether a distinction between constitutive essence and consequential essence is able to handle these counterexamples. I conclude that this distinction is better put as one between (1) the essence, which is necessary, and (2) the essential properties, which are not formally necessary. An essence of an object X is the substantial universal expressed by its real definition. An object X has a property P essentially iff the property P is explanatory and non-trivial, and P follows from the essence of X. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

Der Topos von der Unerschöpflichkeit des Gegenstands wird mit der Phänomenologie assoziiert. Den ihm verwandten Topos von der Unaussprechlichkeit des Individuellen haben Goethe und die deutschen Romantiker in die Welt getragen. Der Diktion der analytischen Philosophie sind die Ausdrücke „unerschöpflich“ und „unaussprechlich“ fremd. Dieser Umstand sollte analytische Philosophen nicht davon abhalten, sich den sprachphilosophischen und ontologischen Problemen zuzuwenden, die sich hinter den besagten Formeln verbergen. Husserls Wort für Unerschöpflichkeit ist „Fülle“. Die „Fülle des Gegenstandes“ erläutert Husserl als den „Inbegriff der (...) ihn konstituierenden Bestimmtheiten“, seine „individualisierenden Bestimmtheiten“ eingeschlossen. Ich werde in diesem Aufsatz von deskriptiver Unerschöpflichkeit sprechen, die ich auf eine ontische Eigenart der konkreten Einzeldinge zurückführe. Den Begriff der deskriptiven Unerschöpflichkeit werde ich zunächst anhand des Problems entwickeln, die Eigenschaften eines Einzeldings zu zählen. Aristoteles, Leibniz und Kant beantworten die Frage, wie viele Eigenschaften ein Einzelding hat, gleichlautend: es sind potentiell unendlich viele (1.). Die ontologische Kategorie, für die dies gilt, ist die der konkreten, raumzeitlichen Einzeldinge (2.). Unter (3.) wird der Befund der deskriptiven Unerschöpflichkeit näher erläutert und ausdifferenziert. Unter (4.) wird ein sprachphilosophisch motivierter Einwand gegen die Unerschöpflichkeitsthese diskutiert und zurückgewiesen: der Einwand aus der endlichen Zahl der Prädikate. Dann werde ich die Begriffe Leerstelle, Auflösung und ontische Dichte einführen, um meinen Befund zu sichern und zu präzisieren (5.). Unter dem Stichwort „Unerschöpflich oder bloß faktisch unerschöpft?“ diskutiere ich die Frage, worin das prinzipielle Hindernis für das Unternehmen liegen soll, ein Einzelding erschöpfend zu beschreiben (6.). Anschließend kontrastiere ich die Unerschöpflichkeitsthese mit der pathetischen Formel von der „Unaussprechlichkeit des Individuellen“, um zu verdeutlichen, was mit ersterer nicht gemeint ist (7.). Diese Diskussion führt zu ontologischen Überlegungen über Individualität, Einzigkeit und haecceitas (8.). Schließlich bringe ich den Gedanken ins Spiel, daß wir in der natürlichen Sprache beliebig feine semantische Unterscheidungen treffen können, der auf den ersten Blick in einer gewissen Spannung zur These der deskriptiven Unerschöpflichkeit steht. Diese Spannung werde ich unter (9.) und (10.) zu mildern suchen und dabei meinen Begriff der ontischen Dichte zu Goodmans Begriff der semantischen Dichte in Beziehung setzen. (shrink)

In the world there are concrete particulars that exhibit the kind of substantial unity that allows them to be called substances or “natural individuals”, as opposed to artifacts or mere conglomerates. Persons, animals, and possibly the most fundamental physical simples are all natural individuals. What gives these entities the ontological status of a substantial unity? Arguments from the philosophy of mind and arguments from general metaphysics show that physical properties alone cannot account for substantial unity. The ultimate intrinsic properties of (...) natural individuals resemble phenomenal mental properties rather than any other kind of known properties. Pan(proto-)psychism is thus supported by systematically related arguments from different areas of philosophical inquiry. A certain amount of skepticism regarding the full nature of absolutely intrinsic properties is nevertheless well-advised. (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

In this paper I discuss a passage from *Naming and Necessity* where Kripke assumes that the essential properties by means of which a definite description designates are a sufficient condition of its rigidity. I put forward two examples that show the falsity of this assumption. Then I examine the non-rigid character of definite descriptions that designate by means of properties that are sufficient conditions of identity of the objects designated by those descriptions. I conclude that the properties by means of (...) which rigid descriptions designate must be both necessary and sufficient conditions of the identity of the designated objects. (shrink)

My main reaction to MCGivern’s paper was one of dialectical puzzlement. Block argues that, Macro Non-Reduction: [all] macro properties are irreducible to the micro properties on which they supervene..

Egan argues against Lewis’s view that properties are sets of actual and possible individuals and in favour of the view that they are functions from worlds to extensions (sets of individuals). Egan argues that Lewis’s view implies that 2nd order properties are never possessed contingently by their (1st order) bearers, an implication to which there are numerous counter-examples. And Egan argues that his account of properties is more commensurable with the role they play as the semantic values of predicates than (...) is Lewis’s. (shrink)

It has been argued recently that perception is indeterminate. But there are more than one ways of spelling out what this means. The standard line is that perceptual states attribute different probabilities to different propositions. I provide an alternative to this view, where it is not the attitude, but the content of perceptual states that is indeterminate, inasmuch as it consists of the representation of determinable properties. This view does justice to the more general claim that perception is indeterminate without (...) appealing to probability either in the attitude or in the content. (shrink)

Apart from his critique of Kant, Maimon’s significance for the history of philosophy lies in his crucial role in the rediscovery of Spinoza by the German Idealists. Specifically, Maimon initiated a change from the common eighteenth-century view of Spinoza as the great ‘atheist’ to the view of Spinoza as an ‘acosmist’, i.e., a thinker who propounded a deep, though unorthodox, religious view denying the reality of the world and taking God to be the only real being. I have discussed this (...) aspect of Maimon’s philosophy in other places, and though the topic of the current paper has an interesting relation to certain doctrines of Spinoza, I will not develop this issue here. Neither of these two issues -- Maimon’s criticism of Kant or his original interpretation of Spinoza -- was considered by Maimon as his main contribution to philosophy. There is little doubt that if Maimon were asked to point out his single most important innovation he would have picked his doctrine of the Principle of Determinability [Satz der Bestimmbarkeit]. Regarding this doctrine Maimon writes: ... [T]he principle of determinability laid down in this work is a principle of all objectively real thought, and consequently of philosophy as a whole too. All the propositions of philosophy can be derived from, and be determined by it [woraus sich alle Sätze herleiten und wodurch sie sich bestimmen lassen]. … I have made available a supreme principle of all objectively real thought, viz., the principle of determinability... and have established as the ground of the whole of pure philosophy -- a principle which, if it is ever grasped, will, I hope, withstand every scrutiny. These claims may strike the reader as somewhat presumptuous, to say the least. But, if we pay attention to the last sentence of the passage, we can see that Maimon doubts whether his great finding will ever be understood. It is not unlikely that in this phrase (“wenn er nur einmal eingesehen werden wird”) Maimon was reacting to his own repeatedly unsuccessful attempts to explain the principle. The fate of Maimon’s principle has not been much better in the few works written on Maimon’s philosophy, and though almost all commentators agree that the principle of determinability is the linchpin of the positive philosophy Maimon was trying to develop, we do not yet have a clear explanation of this principle, or of the reason why Maimon assigns such importance to it. Recently, Oded Schechter developed an excellent reading of this principle, and in most aspects my view agrees with his (primarily, in its rejecting the attempt to explain the principle as a version of Leibniz’s predicate-in-subject [Praedicatum inest subjecto] containment thesis). My paper consists of two parts. The first is expository in nature. In this part, I spell out briefly the main aspects of Maimon’s principle of determinability and its aims. In the second part, I examine Maimon’s surprising claim that once we accept the principle of determinability, we have to deny the possibility of two subjects sharing the same predicate. Maimon provides several proofs for this highly counterintuitive claim, and I will try to clarify and evaluate these proofs. (shrink)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of there being (...) determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

Trope theories aim to eschew the primitive dichotomy between characterising (properties, relations) and characterized entities (objects). This article (in Finnish) presents a new trope theoretical analysis of relational inherence as the best way out of the impasse created by the alleged necessity to choose between an eliminativist and a primitivist ("relata-specific") view about relations in trope theory.

Intentionalism about visual experiences is the view according to which the phenomenal character of a visual experience supervenes on the content of this experience. One of the most influential objections to this view is about blur: seeing a fuzzy contour clearly and seeing a sharp contour blurrily have different phenomenal character but the same content. I argue that this objection does not work if we understand perceptual content simply, and not particularly controversially, as partly constituted by the sum total of (...) perceptually attributed properties, some determinable, some determinate. (shrink)

Intentionalism about visual experiences is the view according to which the phenomenal character of a visual experience supervenes on the content of this experience. One of the most influential objections to this view is about blur: seeing a fuzzy contour clearly and seeing a sharp contour blurrily have different phenomenal character but the same content. I argue that this objection does not work if we understand perceptual content simply, and not particularly controversially, as partly constituted by the sum total of (...) perceptually attributed properties, some determinable, some determinate. (shrink)

Adverbialist theories of thought such as those advanced by Hare and Sellars promise an ontologically sleek understanding of a variety of intentional states, but such theories have been largely abandoned due to the ‘many-property problem’. In an attempt to revitalize this otherwise attractive theory, in a series of papers as well as his recent book, Uriah Kriegel has offered a novel reply to the ‘many-property problem’ and on its basis he argues that ‘adverbialism about intentionality is alive and well’. If (...) true, Kriegel will have shown that the logical landscape has long been unnecessarily constrained. His key idea is that the many-property problem can be overcome by appreciating that mental states stand in the determinable–determinate relation to one another. The present paper shows that this relation can’t save adverbialism because it would require thinkers to think more thoughts than they need be thinking. (shrink)

In this article, we present a new conception of internal relations between quantity tropes falling under determinates and determinables. We begin by providing a novel characterization of the necessary relations between these tropes as basic internal relations. The core ideas here are that the existence of the relata is sufficient for their being internally related, and that their being related does not require the existence of any specific entities distinct from the relata. We argue that quantity tropes are, as determinate (...) particular natures, internally related by certain relations of proportion and order. By being determined by the nature of tropes, the relations of proportion and order remain invariant in conventional choice of unit for any quantity and give rise to natural divisions among tropes. As a consequence, tropes fall under distinct determinables and determinates. Our conception provides an accurate account of quantitative distances between tropes but avoids commitment to determinable universals. In this important respect, it compares favorably with the standard conception taking exact similarity and quantitative distances as primitive internal relations. Moreover, we argue for the superiority of our approach in comparison with two additional recent accounts of the similarity of quantity tropes. (shrink)

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

Once the reality of properties is admitted, there are two fundamentally different realist theories of properties. Platonist or transcendent realism holds that properties are abstract objects in the classical sense, of being nonmental, nonspatial, and causally inefficacious. By contrast, Aristotelian or moderate realism takes properties to be literally instantiated in things. An apple’s color and shape are as real and physical as the apple itself. The most direct reason for taking an Aristotelian realist view of properties is that we perceive (...) them. We perceive an individual apple, but only as a certain shape, color, and weight, because it is those properties that confer on it the power to affect our senses. It is in virtue of being blue that a body reflects certain light and looks blue. Since “causality is the mark of being,” the properties that confer causal power are real. And that means a reality, not in a Platonic and acausal world of “abstract objects,” but in the ordinary concrete world in which we live. On an Aristotelian view, it is the business of science to determine which properties there are and to classify and understand the properties we perceive, and to find the laws connecting them. (shrink)

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like not aqua and (...) not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

It is widely held that some properties are more natural than others and that, as David Lewis put it, “an adequate theory of properties is one that recognises an objective difference between natural and unnatural properties” (Lewis 1983, p. 347). The general line of thought is that such ‘elitism’ about properties is justified as it can give simple and elegant solutions to a number of old metaphysical and philosophical problems. My aim is to analyze what these natural properties are: super-determinates (...) or determinable (or maybe both) and argue that all three of these options would lead to serious difficulties for metaphysical elitism and would prevent natural properties from fulfilling their supposed grand explanatory role. (shrink)

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal disjunctions of (...) brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

Sydney Shoemaker's "Subset Account" offers a new take on determinable properties and the realization relation as well as a defense of non-reductive physicalism from the problem of mental causation. At the heart of this account are the claims that (1) mental properties are determinable properties and (2) the causal powers that individuate a determinable property are a proper subset of the causal powers that individuate the determinates of that property. The second claim, however, has led to the accusation that the (...) effects caused by the instantiation of a determinable property will also be caused by the instantiation of the determinates of that property—so instead of solving the problem of mental causation, the Subset Account ends up guaranteeing that the effects of mental properties (and all other types of determinable property) will be causally overdetermined! In this paper, I explore this objection. I argue that both sides in this debate have failed to engage the question at the heart of the objection: Given that both a determinable property and its determinates have the power to cause some effect (E), does it follow that both will actually cause E when the relevant conditions obtain? To make genuine progress towards answering this question, we need to take a serious look at the metaphysics of causation. With the debate properly reframed and issues about the metaphysics of causation front and center, I explore the question of whether the Subset Account is doomed to result in problematic causal overdetermination. (shrink)

This paper presents a puzzle or antinomy about the role of properties in causation. In theories of properties, a distinction is often made between determinable properties, like red, and their determinates, like scarlet (see Armstrong 1978, volume II). Sometimes determinable properties are cited in causal explanations, as when we say that someone stopped at the traffic light because it was red. If we accept that properties can be among the relata of causation, then it can be argued that there are (...) good reasons for allowing that some of these are determinable properties. On the other hand, there are strong arguments in the metaphysics of properties to treat properties as sparse in David Lewis’s (1983) sense. But then it seems that we only need to believe in the most determinate properties: particular shades of colour, specific masses, lengths and so on. And if we also agree with Lewis that sparse properties are ‘the ones relevant to causal powers’ (1983: 13) it seems we must conclude that if properties are relevant to causation at all, then all of these are determinate properties. I call this ‘the antinomy of determinable causation’. On the one hand, we have a good argument for the claim that determinable properties can be causes, if any properties are. I call this the Thesis. But on the other hand, we have a good argument for the claim that only the most determinate properties can be causes, if any properties are. I call this the Antithesis. Clearly, we need to reject either the Thesis or the.. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

McKitrick (2003) proposes that an object has a disposition if and only if there are a manifestation, the circumstances of the manifestation, a counterfactual true of the object, and an overtly dispositional locution referring to the disposition. A disposition is extrinsic if and only if an object has it, but a perfect duplicate of the object might not have it. I present an alternative definition that an object has a disposition if and only if a counterfactual is true of the (...) object that under a certain condition, it would interact with another object in a certain manner. There are three reasons for thinking that my definition is better than her definition. 1. Ockham’s razor favors my definition over McKitrick’s definition. My definition is consistent, while her definition is not, with Lewis’s and her definitions of intrinsic and extrinsic properties. 3. My definition goes well, while her definition does not, with our intuition that an object has a disposition even in a possible world where there is nothing but that object. (shrink)

In the world there are concrete particulars that exhibit the kind of substantial unity that allows them to be called substances or “natural individuals”, as opposed to artifacts or mere conglomerates. Persons, animals, and possibly the most fundamental physical simples are all natural individuals. What gives these entities the ontological status of a substantial unity? Arguments from the philosophy of mind and arguments from general metaphysics show that physical properties alone cannot account for substantial unity. The ultimate intrinsic properties of (...) natural individuals resemble phenomenal mental properties rather than any other kind of known properties. Pan(proto-)psychism is thus supported by systematically related arguments from different areas of philosophical inquiry. A certain amount of skepticism regarding the full nature of absolutely intrinsic properties is nevertheless well-advised. (shrink)

In the first half of this paper, I argue that essential properties are intrinsic and that this permits a modal analysis of essence that is immune the sort of objections raised by Fine. In the second half, I argue that intrinsic properties collectively have a certain structure and that this accounts for some observations about essences: that things are essentially determinate; that things often have properties within a certain range essentially; and that the essential properties of things are their core (...) properties. (shrink)

In Science Without Numbers (1980), Hartry Field defends a theory of quantity that, he claims, is able to provide both i) an intrinsic explanation of the structure of space, spacetime, and other quantitative properties, and ii) an intrinsic explanation of why certain numerical representations of quantities (distances, lengths, mass, temperature, etc.) are appropriate or acceptable while others are not. But several philosophers have argued otherwise. In this paper I focus on arguments from Ellis and Milne to the effect that one (...) cannot provide an account of quantity in ''purely intrinsic'' terms. I show, first, that these arguments are confused. Second, I show that Field's treatment of quantity can provide an intrinsic explanation of the structure of quantitative properties; what it cannot do is provide an intrinsic explanation of why certain numerical representations are more appropriate than others. Third, I show that one could provide an intrinsic explanation of this sort if one modified Field's account in certain ways. (shrink)

In "How to Define Intrinsic Properties" I offered a relational account of the intrinsic/extrinsic distinction. The basic idea is that F is an intrinsic property of an item x just in case x’s having F consists entirely in x’s having certain internal properties, where an internal property is one whose instantiation does not consist in one’s relation to any distinct items (items other than oneself and one’s proper parts). I still think that this relational analysis is largely correct, and here (...) I provide additional support for it and defend it against some objections that have been raised. In the process I aim to make the account somewhat more precise, especially by contrasting it with a grounding approach to defining the intrinsic/extrinsic distinction. (shrink)

Alvin I. Goldman has argued that since one must count epistemic rules among the factors that help to fix the justificational status of agents (generally called J-factors), not all J-factors are internalist, that is, intrinsic to the agent whose justificational status they help to fix. After all, for an epistemic rule to count as a genuine J-factor, it must be objectively correct and, therefore, “independent of any and all minds.” Consequently, it cannot be intrinsic to any particular epistemic agent. In (...) this brief commentary, I will argue that Goldman’s argument misunderstands what it takes for epistemic justification to be internalist and, therefore, fails to guarantee his externalist conclusion. In particular, I want to demonstrate that Goldman’s argument trivializes the difference between intrinsic and extrinsic properties that lays at the basis of the internalist/externalist debate. I will show that, if sound, simple variations on Goldman’s argument could be used to prove the absurd conclusion that all properties are extrinsic. Now, since the intrinsic/extrinsic distinction is fundamental to debates in several areas of philosophy, not only the internalist/externalist debate in epistemology, I conclude that Goldman’s argument cannot be sound. (shrink)

Work on the intrinsic/extrinsic distinction is often motivated by its use in other areas, such as intrinsic value, real vs. Cambridge change, supervenience and other topics. With the exception of Figdor 2008, philosophers have sought to articulate a global distinction -- a distinction between kinds of properties, rather than ways in which individuals have properties. I argue that global I/E distinctions are unable to do the work that allegedly motivates them, focusing on the case of intrinsic value.

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)

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties in terms of the facts about naturalness. This article discusses the three most influential of these attempts, each of which involve David Lewis. These are Lewis's 1983 analysis, his 1986 analysis, and his joint 1998 analysis with Rae Langton.

The predicates 'is outgrown by Theaetetus,' 'is 300 miles west of a lemur,' and 'is such that 9 is odd' denote properties, but there is a sense in which these properties are not genuine features of the objects that have them. The fact that we find these mere-Cambridge properties odd has something to do with their relational character. But relationality in itself is not an adequate criterion for property-genuineness for there are many relational properties that do not qualify as mere-Cambridge. (...) The goal of this essay is to isolate the special type of relationality needed to explain what makes a property genuine. In the process, the author evaluates causal accounts of property-genuineness, and shows how the analysis presented is superior. (shrink)

The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties.