Properties

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

Bird reveals an important problem at the heart of Armstrong’s theory of laws of nature: to explain how a law necessitates its corresponding regularity, Armstrong is committed to a vicious regress. In his very brief response, Armstrong gestures towards an argument that, as he admits, is more of a “speculation.” Later, Barker and Smart argue that a very similar problem threatens Bird’s dispositional monist theory of laws of nature and he is committed to a similar vicious regress. In this paper, (...) first, I construct Armstrong’s would-be argument in response to Bird. Second, I argue that his response makes his account of laws and natural properties incompatible with science. Finally, I argue that Armstrong’s strategy to address Bird’s criticism can be used, quite ironically, to defuse Barker and Smart’s argument against Bird. (shrink)

According to the worm theory, persons are (maximal) aggregates of person-stages existing at different times. Personites, on the other hand, are non-maximal aggregates of stages that are nonetheless very much like persons. Their existence appears to make instances of prudential self-sacrifice morally problematic: the personites that exist at the time of the sacrifice but not at the time of the reward seem to be unfairly exploited. Instances of punishment appear to give rise to a similar problem. We argue that these (...) impressions arise from a mistaken assumption about which beings are the primary bearers of properties such as suffering, receiving compensation (in the future) and having (previously) committed a crime. According to the worm theory, stages, rather than persons or personites, possess these properties. Persons and personites have these properties only in a derivative sense. As we show, once this clarification and related ones are made, the apparent moral problems raised by the existence of personites dissolve. (shrink)

In this paper, we make a case for the disjunctive view of phenomenal consciousness: consciousness is essentially disjunctive in being either physical or non-physical in the sense that it has both physical and non-physical possible instances. We motivate this view by showing that it undermines two well-known conceivability arguments in philosophy of mind: the zombie argument for anti-physicalism, and the anti-zombie argument for physicalism. By appealing to the disjunctive view, we argue that two hitherto unquestioned premises of these arguments are (...) false. Furthermore, making use of the resources of this view, we formulate distinct forms of both physicalism and anti-physicalism. On these formulations, it is easy to see how physicalists and anti-physicalists can accommodate the modal intuitions of their opponents regarding zombies and anti-zombies. We conclude that these formulations of physicalism and anti-physicalism are superior to their more traditional counterparts. (shrink)

This article challenges a particular form of Eliminative Materialism as presented in the work, "Quining Qualia" where Dr. Daniel Dennett argues that qualia, as he defines it, does not exist. The paper underscores the contradictory nature of Dennett's "Intuition Pumps" and shows how he assumes the very notion he proports to defeat namely, that first-person (or subjective) conscious experience, commonly termed "qualia," exists.

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

Working with the assumption that properties depend for their instantiation on substances, I argue against a unitary analysis of instantiation. On the standard view, a property is instantiated just in case there is a substance that serves as the bearer of the property. But this view cannot make sense of how properties that are mind-dependent depend for their instantiation on minds. I consider two classes of properties that philosophers often take to be mind-dependent: sensible qualities like color and bodily sensations (...) like itches. Given that the mind is never itself literally red or itchy, we cannot explain the instantiation of these qualities as a matter of their having a mental bearer. Appealing to insights from Berkeley, I defend a view on which a property can be instantiated not in virtue of having a bearer—mental or material—but rather in virtue of being the object of a conscious act of perception. In the second half of the paper, I suggest that the best account of sensible qualities and bodily sensations ultimately makes use of both varieties of instantiation. (shrink)

The debate over persistence currently involves three competing theories—one three-dimensionalist theory called “endurantism” and two four-dimensionalist theories called “perdurantism” and “exdurantism.” This inner debate between the latter two persistence theories is what I aim to clarify, and ultimately, I argue that perdurantism is superior to exdurantism because exdurantism is too extravagant in counting ordinary objects in the world. Extravagant for the reason that objects in their entirety are bound to their momentary stages, and there is practically an interminable number of (...) these stages, which is not reasonable when counting in the ordinary world. (shrink)

What are the prospects for a linguistic approach to ontology? Given that it seems that there are true subject-predicate sentences containing empty names, traditional linguistic approaches to ontology appear to be flawed. I argue that in order to determine what there is we need to determine which sentences ascribe properties (and relations) to objects, and that there does not appear to be any formal criterion for this. This view is then committed to giving an account of what predicates do in (...) sentences when they do not ascribe properties. I sketch an approach to the varieties of predication. (shrink)

In this paper, I discuss a connection between quidditism and the Lewisian principle of recombination. I begin by reconstructing a typical characterisation of a Lewisian principle of recombination, followed by an explanation of quidditism. In the remainder, I argue that a proponent of a Lewisian principle of recombination cannot endorse quidditism without some important modifications of her view.

Aristotle gives a surprisingly broad menu of examples of something being accidental to something else. But the breadth of these examples seems to threaten a basic feature of accidentality, namely its asymmetry. ‘Accident’ has different senses, and one might think that that fact offers a way out, but some examples resist such an understanding. The best way forward, I argue, is to take accidentality to be contextual: relative to some context or condition, something might be accidental to something else; relative (...) to another context or condition, the latter might be accidental to the former. (shrink)

I offer the first sustained defence of the claim that ugliness is constituted by the disposition to disgust. I advance three main lines of argument in support of this thesis. First, ugliness and disgustingness tend to lie in the same kinds of things and properties (the argument from ostensions). Second, the thesis is better placed than all existing accounts to accommodate the following facts: ugliness is narrowly and systematically distributed in a heterogenous set of things, ugliness is sometimes enjoyed, and (...) ugliness sits opposed to beauty across a neutral midpoint (the argument from proposed intensions). And third, ugliness and disgustingness function in the same way in both giving rise to representations of contamination (the argument from the law of contagion). In making these arguments, I show why prominent objections to the thesis do not succeed, cast light on some of the artistic functions of ugliness, and, in addition, demonstrate why a dispositional account of disgustingness is correct, and present a novel problem for warrant-based accounts of disgustingness (the ‘too many reasons’ problem). (shrink)

ABSTRACT Lewtas [2017] recently articulated an argument claiming that emergent conscious causal powers are impossible. In developing his argument, Lewtas makes several assumptions about emergence, phenomenal consciousness, categorical properties, and causation. We argue that there are plausible alternatives to these assumptions. Thus, the proponent of emergent conscious causal powers can escape Lewtas’s challenge.

According to presentism, everything that exists is present. According to the truthmaker principle, for every true proposition there is a truthmaker – an entity that suffices for the truth of that proposition. According to realism about the past, there are true propositions about the past. Together these claims necessitate presently existing truthmakers for truths about the past (presentist truthmakers). Cameron (2010) argues that temporal distributional properties (TDPs) can play the role of presentist truthmakers. Corkum (2014) argues that they cannot. I (...) argue against Corkum’s objections. In §2, I introduce and outline the motivation for TDPs. In §3, I show that unless TDPs are stipulated to be fundamental, as Cameron does, they can be reduced to temporal non–distributional properties, which are unable to play the role of presentist truthmakers. In §4, I argue against Corkum’s two objections to Cameron’s stipulation. Corkum’s first objection is that Cameron has no grounds on which to stipulate that TDPs are fundamental, and that the reducibility of TDPs to temporal non–distributional properties (as discussed in §3) shows that they are not. I argue that the burden of proof is not on Cameron to argue that TDPs are fundamental, but on Corkum to argue that they are not, and that to argue from the reducibility of TDPs to their non–fundamentality is to beg the question against Cameron: the reduction is only possible once their non–fundamentality is assumed. Corkum’s second objection is that if Cameron is allowed to stipulate that TDPs are fundamental in order to escape objections, then Bigelow's (1996) account is allowed to make the same move, rendering Cameron’s account redundant. I argue that the cases are asymmetric: the alternative account faces a legitimate objection whilst Cameron’s account does not. (shrink)

This is a commentary on Laurence Maloney’s chapter in Mausfeld R., and Heyer, D. (Eds.): Colour Perception: Mind and the Physical World. Oxford: Oxford University Press, 2003. I discuss two related proposals as to the nature of object color formulated by Maloney. On the first proposal colors are photoreceptor excitations; on the second, they are fundamental, universal reflectance characteristics of terrestrial surfaces. I argue that the second proposal is suitable for purposes of color objectivism, whereas the first one is not. (...) However, if we look at Maloney’s – and Brian Wandell’s – models of color vision and color constancy more thoroughly, not even the second version supports absolutist versions of color objectivism, according to which observer-independent reflectance properties determine, or are identical to, the phenomenal character of color experience. (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)

In this paper, I advance a lesser known counterfactual principle of grounding in a new kind of way by appealing to properties and the work they do. I then show that this new way of arguing for this principle is superior to another way, describe some of the work this principle can do, defend my use of this principle, and conclude with remarks on why principles like it are needed.

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

Quantum entanglement poses a challenge to the traditional metaphysical view that an extrinsic property of an object is determined by its intrinsic properties. So structural realists might be tempted to cite quantum entanglement as evidence for structural realism. I argue, however, that quantum entanglement undermines structural realism. If we classify two entangled electrons as a single system, we can say that their spin properties are intrinsic properties of the system, and that we can have knowledge about these intrinsic properties. Specifically, (...) we can know that the parts of the system are entangled and spatially separated from each other. In addition, the concept of supervenience neither illuminates quantum entanglement nor helps structural realism. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals 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)

David Lewis’s arguments against magical ersatzism are notoriously puzzling. Untangling different strands in those arguments is useful for bringing out what he thought was wrong with not just one style of theory about possible worlds, but with much of the contemporary metaphysics of abstract objects. After setting out what I take Lewis’s arguments to be and how best to resist them, I consider the application of those arguments to general theories of properties and relations. The constraints Lewis motivates turn out (...) to yield an argument for concretism about possible individuals that is quite different from the better-known Lewisian arguments for that position. The discussion also touches on the puzzling question of whether things are the way they are because of the properties they have, or are the properties and relations the way they are because of the things that have them. (shrink)

ABSTRACT On the traditional picture, accidents must inhere in substances in order to exist. Berkeley famously argues that a particular class of accidents—the sensible qualities—are mere ideas—entities that depend for their existence on minds. To defend this view, Berkeley provides us with an elegant alternative to the traditional framework: sensible qualities depend on a mind, not in virtue of inhering in it, but in virtue of being perceived by it. This metaphysical insight, once correctly understood, gives us the resources to (...) solve a central problem that still plagues the philosophy of perception—the problem of how, given the power of the mind to create phenomenally rich experiences, ordinary perception can nonetheless be said to acquaint us with the mind-independent world. (shrink)

Philosophers of perception frequently assume that we see actual states of affairs, or facts. Call this claim factualism. In his book, William Fish suggests that factualism is supported by phenomenological observation as well as by experimental studies on multiple object tracking and dynamic feature-object integration. In this paper, I examine the alleged evidence for factualism, focusing mainly on object detection and tracking. I argue that there is no scientific evidence for factualism. This conclusion has implications for studies on the phenomenology (...) and epistemology of visual perception. (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)

According to the so-called ‘standard theory’ of conditions, the conditionship relation is converse, that is, if A is a sufficient condition for B, B is a necessary condition for A. This theory faces well-known counterexamples that appeal to both causal and other asymmetric considerations. I show that these counterexamples lose their plausibility once we clarify two key components of the standard theory: that to satisfy a condition is to instantiate a property, and that what is usually called ‘conditionship relation’ is (...) an inferential relation. Throughout the paper this way of interpreting the standard theory is compared favourably over an alternative interpretation that is outlined in causal terms, since it can be applied to all counterexamples without losing its intuitive appeal. (shrink)

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)

In this short and highly readable monograph, the author aims to answer the age-old question of why humans construct moral orders grounded upon natural orders, deriving normative authority from divine or otherwise nonanthropomorphic sources in nature. Why, for instance, did the drafters of the U.S. Declaration of Independence invoke natural laws rather than simply relying on human reason and argument to ground their objections to British colonial rule? Answering this and related questions about the relationship between moral and natural orders (...) demands a precise method. Daston describes hers as philosophical (not cultural) anthropology, probing the motivations behind the intellectual leap—often described as ‘the naturalistic fallacy’—from the natural to the normative (3). In that vein, her inquiry begins with a remark from Immanuel Kant’s underappreciated work Anthropology from a Pragmatic Point of View. (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)

Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.

(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)

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)

A crucial question for both philosophy and for science concerns the kind of relationship that obtains between entities—objects, properties, states, processes, kinds and so on—that exist at apparently higher and lower ‘levels’ of reality. According to reductionism, seeming higher-level entities can in fact be fully accounted for by more fundamental, lower-level entities. Conversely, emergentists of various stripes hold that whilst higher-level entities depend in some important sense on lower-level entities, they are nevertheless irreducible to them. This introductory paper outlines the (...) context of the debate between emergentists and reductionists; offers a broad characterisation of ‘strong’ or ontological emergence, and provides summaries of each of the papers to come in this special issue. (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)

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)

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)

Presentists face a challenge from truthmaker theory: if you hold both that the only existing objects are presently existing and that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. One reconciliation strategy, advocated by Cameron (2011), is to appeal to distributional properties so to serve as presently existing truthmakers for past truths. I argue that a presentist ought to deny that distributional properties (...) can serve as truthmakers. (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)

In this essay, I present the basics of Spinoza’s ontology and attempt to go some distance toward clarifying its most pertinent problems. I start by considering the relationship between the concepts of substance and mode; my aim is to show that despite his somewhat peculiar vocabulary there is much here that we should find rather familiar and intelligible, as Spinoza’s understanding of these matters harks back to the traditional distinction of substance and accident, or thing and property. After this I (...) move on to fitting the concept of attribute into Spinoza’s conceptual architecture, and then examine the implications concerning real existents and causation that Spinoza sees these fundamental conceptual commitments as having. The most startling of these implications is of course his monism, according to which there is only one substance. Through this examination it becomes clear that it is only when Spinoza makes the transition from considerations concerning concepts to existential claims that the collision with what was previously commonly accepted becomes inevitable. (shrink)

I give shape to a neglected debate in metaphysics, the debate over the ontological priority between individuality and collectivity. I distinguish the debate from more familiar ones in the recent literature and articulate what I call ontological collectivism, the view that collectivity is prior to individuality. I defend the in-principle intelligibility of the view from forceful general objections and argue that not only is it coherent but also of significant interest to the literature: it allows for overlooked alternatives on a (...) variety of central discussions. (shrink)

Niels Bohr gave us the model of the atom as having a central nucleus around which electrons were circulating in stable orbits. He also gave us the complementarity principle that states that the mutually exclusive wave and corpuscular nature of light were not merely contradictory but complementary descriptions. Field theory considers light as a continuous wave phenomenon with a wavelength and frequency, while quantum theory considers its corpuscular nature as a discrete packet of energy called a photon. Thus we actually (...) have an opposition of a continuous-discontinuous description concerning the fundamental nature of light. In line with what we have been discussing about the nature of reality as having an intrinsic polar nature, we have yet another confirmation at even the atomic level of investigation. This harks back to Kant’s “Critique of Pure Reason” where in his second antinomy he tried to show that the continuous and discontinuous descriptions of the cosmos were both possible although they were mutually exclusive of each other. Kant tried to demonstrate that this was a limitation of the way we think about the world, i.e. a defect of reason since the world is obviously content to go on as a single reality regardless of how we understand it. But we are showing here that our understanding of the world does not have to be antagonistic to it if we understand it properly. For Kant, opposites merely exclude one another. We are claiming that not only do they exclude each other but also they depend upon each other for either to exist at all. (shrink)

Judgments of visual resemblance (‘A looks like B’), unlike other judgments of resemblance, are often induced directly by visual experience. What is the nature of this experience? We argue that the visual experience that prompts a subject looking at A to judge that A looks like B is a visual experience of B. After elucidating this thesis, we defend it, using the ‘phenomenal contrast’ method. Comparing our account to competing accounts, we show that the phenomenal contrast between a visual experience (...) that induces the judgment that A looks like B, and a visual experience that does not induce this judgment, is best explained by the fact that the former visually represents B, whereas the latter does not. (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)

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive parthood (...) in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

What I call Mellor’s Question is the problem of whether determinables are properties of their determinates or properties of the particulars that possess these determinates. One can distinguish two basic competing theories of determinables that address the issue, implicitly if not explicitly. On the second-order theory, determinables are second-order properties of determinate properties; on the second-level theory, determinables are first-order properties of the particulars with these determinate properties. Higher-order properties are prima facie ontologically uneconomical, and in line with my general (...) view that ontological parsimony is vital to metaphysics, I consider it highly important which of the two theories is true. Firstly, I argue that the second-level theory offers the best explanation of the explananda (though the race is close), including the important but neglected phenomenon of ‘intermediate determinables’. Secondly, by paying attention to intermediate determinables and instantiation of higher-order properties, I argue that the second-level theory also is more ontologically economical. For these two reasons, this theory is preferable. (shrink)