One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond (...) to those who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my (...) arguments against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed (...) objections. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location (...) and One over Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. By contrast, the (...) status of instantiation as an internal relation is comparatively clear. Nevertheless, because of holding by virtue of the essences of particulars, the holding of instantiation between universals and particulars rules out the possibility of kind change and entails that particulars are essentially rigidly dependent on universals. Finally, Lowe’s analysis of necessary exemplification gives us some reasons to suspect that some property universals need not have any instances in order to exist. (shrink)

Realists about mental disorder have been hasty about dismissing social explanations of how mental disorder is constituted. However, many social ontologies are realist ontologies. In order to create a meaningful distinction between realism and social metaphysics about mental disorder, I propose that realism about mental disorder is best understood as Individual Trait Realism (ITR) about them. For ITR, mental disorders exist in virtue of traits. I defend the view that ITR is compatible with social metaphysics, arguing that, in asking whether (...) constituents in the social sphere figure the metaphysics of psychopathology, we are asking questions on three different strata of explanation: the strata of demarcation, instantiation, and individual traits. Distinguishing between these strata allows for nuanced realism that need not reject the social constitution of mental disorder. (shrink)

This paper is a commentary on the target article by Michael Arbib, “Levels of modeling of mechanisms of visually guided behavior”, in the same issue of the journal, pp. 407–465. -/- I focus on the importance of the inclusion of an ability of a system to entertain, at a given time, multiple instantiations of a given schema (situation template, frame, script, action plan, etc.), and complications introduced into neural/connectionist network systems by such inclusion.

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is (...) obliged to resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

Existential instantiation is a rule of inference that allows us infer, from the proposition that there are some p things, the proposition that a is a p thing. What role does 'a' play here? According to one account, recently defended by Breckenridge and Magidor, we use 'a' to refer to a p thing. I argue that this cannot be right. I propose an alternative account, according to which we use 'a' to refer to a supposedly p thing.

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs (...) to be filled by appeal to my theory of Aspects. (shrink)

In a recent paper, Breckenridge and Magidor argue for an interesting and counterintuitive account of instantial reasoning. According to this account, in arguments such as one beginning with 'There is some x such that x is mortal. Let O be such an x. ...', the 'O' refers to a particular object, although we cannot know which. I give and defend a simple counterexample involving the notion of an unreferred-to object.

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)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is (...) symmetric. Armstrong's standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs are (...) bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way (...) a version of the problem of the regress of instantiation is posed and solved. (shrink)

The idea that qualities can be had partly or to an intermediate degree is controversial among contemporary metaphysicians, but also has a considerable pedigree among philosophers and scientists. In this paper, we first aim to show that metaphysical sense can be made of this idea by proposing a partial taxonomy of metaphysical accounts of graded qualities, focusing on three particular approaches: one which explicates having a quality to a degree in terms of having a property with an in-built degree, another (...) based on the idea that instantiation admits of degrees, and a third which derives the degree to which a quality is had from the aspects of multi-dimensional properties. Our second aim is to demonstrate that the choice between these accounts can make a substantial metaphysical difference. To make this point, we rely on two case studies (involving quantum observables and values) in which we apply the accounts in order to model apparent cases of metaphysical gradedness. (shrink)

We discuss the one–many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one–many relationships between universals themselves: instantiation, subkind and part, (...) and thereby construct three new ‘problems of the one and the many’ (an Eidetic Dispersal Problem, a Genus–Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)

In this paper, I will defend the claim that there are three existence properties: the second-order property of being instantiated, a substantive first-order property (or better a group of such properties) and a formal, hence universal, first-order property. I will first try to show what these properties are and why we need all of them for ontological purposes. Moreover, I will try to show why a Meinong-like option that positively endorses both the former and the latter first-order property is the (...) correct view in ontology. Finally, I will add some methodological remarks as to why this debate has to be articulated from the point of view of reality, i.e., by speaking of properties, rather than from the point of view of language, i.e., by speaking of predicates (for such properties). (shrink)

Ingarden’s puzzle is: how can we come to know what is essentially involved in an act of knowing? As starting point he takes what he holds to be a particular good candidate example of such an act, namely an act of perceiving an apple. Here we have act and object standing in a certain first-level relation to each other. We now in a second level act of reflection, make this first-level relation into an object, and strive to apprehend this object (...) as an instantiation of the essence knowledge. But how, on this basis, could we ever establish that we had indeed grasped this essence, and that this is indeed the appropriate essence? Surely, through some third-level act of reflection on this second-level act. We expound from an ontological point of view Ingarden's idea as to how this regress can be avoided. (shrink)

I consider some of the objections that have been raised against a conceptualist solution to the “grounding problem”, I address in particular two objections that I call Conceptual Validity and Instantiation, and I attempt to answer them on behalf of the conceptualist. My response, in a nutshell, is that the first of these objections fails because it ascribes to the conceptualist some commitments that do not really follow from the view’s basic insight, while the second objection also fails because (...) it denies the conceptualist resources that the alternative positions are allowed to use. (shrink)

This study is dedicated to the chapter Metaphysics My 10, which, in my opinion, represents an example of basic research as regards Aristotle’s ontological investigations. The aim of my analysis is to point out that the chapter constitutes a manifesto for a new ontology: this new ontology is Aristotle’s typological ontology. The main entities of the typological ontology are universals, on the one hand, and instantiations of universals, on the other hand. The ontological levels, to which these two kinds of (...) entities belong, are different from each other: therefore they must be kept rigorously separated from each other. The new ontology constitutes a clear opposition to the ontology of ideas. In my opinion Aristotle does not aim at eliminating universals from the range of the existing entities: At least the universals which correspond to biological kinds (such as „man“ or „animal“) and to all the properties connected to these biological kinds are real entities, even though they do not exist at the same level at which the level of the instantiations do. Aristotle’s aim is thus to assign universals and individuals to different realms of reality. The reality consists both of individuals and of universals: these kinds of entities occupy different realms of reality. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our (...) assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

According to Phillips, (1) genuine perception is attributable to the individual (i.e. it’s a personal state/event, as opposed to sub-personal states/events in the individual’s brain); (2) since unconscious perceptual representations are ill-suited to guide action, there’s no good reason to attribute them to the individual; (3) not being attributable to the individual, they don’t instantiate genuine perception, thereby failing to support the hypothesis that genuine perception can occur unconsciously. I argue that this reasoning is flawed and can’t be easily fixed. (...) Phillips contends that unconscious perceptual representations don’t guide action because they fail to meet certain conditions that are sufficient for action guidance. But those conditions may not be necessary for action guidance. Consequently, unconscious perceptual representations may guide action even if they don’t meet Phillips’ conditions. Furthermore, due to his commitment to the distinction between personal and sub-personal states/events, Phillips isn’t in a position to argue that his conditions are necessary for action guidance. For the distinction applies to action as well as to perception, and when genuine action is identified by personal-level criteria, Phillips’ conditions turn out unnecessary for action guidance. (shrink)

The question I want to explore is whether experience supports an antireductionist ontology of time, that is, whether we should take it to support an ontology that includes a primitive, monadic property of nowness responsible for the special feel of events in the present, and a relation of passage that events instantiate in virtue of literally passing from the future, to the present, and then into the past.

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

This is a book about normativity -- where the central normative terms are words like 'ought' and 'should' and their equivalents in other languages. It has three parts: The first part is about the semantics of normative discourse: what it means to talk about what ought to be the case. The second part is about the metaphysics of normative properties and relations: what is the nature of those properties and relations whose pattern of instantiation makes propositions about what ought (...) to be the case true. The third part is about the epistemology of normative beliefs: how we could ever know, or even have rational or justified belief in, propositions about what ought to be the case. (shrink)

We present a specific elaboration and partial defense of the claims that cognition is enactive, embodied, embedded, affective and (potentially) extended. According to the view we will defend, the enactivist claim that perception and cognition essentially depend upon the cognizer’s interactions with their environment is fundamental. If a particular instance of this kind of dependence obtains, we will argue, then it follows that cognition is essentially embodied and embedded, that the underpinnings of cognition are inextricable from those of affect, that (...) the phenomenon of cognition itself is essentially bound up with affect, and that the possibility of cognitive extension depends upon the instantiation of a specific mode of skillful interrelation between cognizer and environment. Thus, if cognition is enactive then it is also embodied, embedded, affective and potentially extended. (shrink)

I introduce game-theoretic models for threats to the discussion of threats in speech act theory. I first distinguish three categories of verbal threats: conditional threats, categorical threats, and covert threats. I establish that all categories of threats can be characterized in terms of an underlying conditional structure. I argue that the aim—or illocutionary point—of a threat is to change the conditions under which an agent makes decisions in a game. Threats are moves in a game that instantiate a subgame in (...) which the addressee is ‘under threat’. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, properties, instantiation, (...) algorithms, etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

The account of natural kinds as stable property clusters is premised on the possibility of separating the epistemic value of natural kinds from their underlying metaphysics. On that account, the co-instantiation of any sub-cluster of the properties associated with a given natural kind raises the probability of the co-instantiation of the rest, and this clustering of property instantiation is invariant under all relevant counterfactual perturbations. We argue that it is not possible to evaluate the stability of a (...) cluster of properties without taking stock of the metaphysical picture used to account for that stability. Thus, even on the stable property cluster account, the epistemic value of natural kinds remains partly grounded in their metaphysical status. (shrink)

The idea that there is a “Number Sense” (Dehaene, 1997) or “Core Knowledge” of number ensconced in a modular processing system (Carey, 2009) has gained popularity as the study of numerical cognition has matured. However, these claims are generally made with little, if any, detailed examination of which modular properties are instantiated in numerical processing. In this article, I aim to rectify this situation by detailing the modular properties on display in numerical cognitive processing. In the process, I review literature (...) from across the cognitive sciences and describe how the evidence reported in these works supports the hypothesis that numerical cognitive processing is modular. I outline the properties that would suffice for deeming a certain processing system a modular processing system. Subsequently, I use behavioral, neuropsychological, philosophical, and anthropological evidence to show that the number module is domain specific, informationally encapsulated, neurally localizable, subject to specific pathological breakdowns, mandatory, fast, and inaccessible at the person level; in other words, I use the evidence to demonstrate that some of our numerical capacity is housed in modular casing. (shrink)

Phenomenal holism is the thesis that some phenomenal characters can only be instantiated by experiences that are parts of certain wholes. The first aim of this paper is to defend phenomenal holism. I argue, moreover, that there are complex intellectual experiences (intellectual gestalts)—such as experiences of grasping a proof—whose parts instantiate holistic phenomenal characters. Proponents of cognitive phenomenology believe that some phenomenal characters can only be instantiated by experiences that are not purely sensory. The second aim of this paper is (...) to defend cognitive phenomenology. I argue that reflection on intellectual gestalts provides a basis for developing a case for cognitive phenomenology that is immune to many of the worries that beset more familiar arguments for cognitive phenomenology. (shrink)

In this paper, I provide an argument for pannormism, the view according to which there are normative properties all the way down. In particular, I argue for what I call the trickling down principle, which says that if there is a metaphysically basic normative property, then, if whatever instantiates it has a ground, that ground instantiates it as well.

Mainstream philosophy has seen a recent flowering in discussions of intellectualism which revisits Gilbert Ryle’s famous distinction between ‘knowing how’ and ‘knowing that’, and challenges his argument that the former cannot be reduced to the latter. These debates so far appear not to have engaged with pragmatist philosophy in any substantial way, which is curious as the relation between theory and practice is one of pragmatism’s main themes. Accordingly, this paper examines the contemporary debate in the light of Charles Peirce’s (...) habit-based epistemology. We argue both that knowing-that can be understood as a particularly sophisticated form of knowing-how, and that all bodily competencies—if sufficiently deliberately developed—can be analysed as instantiating propositional structure broadly conceived. In this way, intellectualism and anti-intellectualism are seen to be not opposed, and both true, although Peirce’s original naturalistic account of propositional structure does lead him to reject what we shall call ‘linguistic intellectualism’. (shrink)

Frank Jackson has famously argued that there is no logical space for the view which understands moral properties as non-natural properties of their own unique kind. His argument is based on two steps: firstly, given supervenience and truth-aptness of moral claims, it is always possible to find a natural property which is necessarily co-instantiated with a given moral property, and secondly that there are no distinct necessarily co-instantiated properties. I argue that this second step of the argument must rely on (...) a controversial nominalist view of properties. In contrast, if we accept universals or tropes, there is logical space also for non-natural moral properties even if they are necessarily co-instantiated with natural properties. (shrink)

Contemporary science seems to be caught in a strange predicament. On the one hand, it holds a firm and reasonable commitment to a healthy naturalistic methodology, according to which explanations of natural phenomena should never overstep the limits of the natural itself. On the other hand, contemporary science is also inextricably and now inevitably dependent on ever more complex technologies, especially Information and Communication Technologies, which it exploits as well as fosters. Yet such technologies are increasingly “artificialising” or “denaturalising” the (...) world, human experiences and interactions, as well as what qualifies as real. So the search for the ultimate explanation of the natural seems to rely upon, and promote, the development of the artificial, seen here as an instantiation of the non-natural. In this article, I would like to try and find a way out of this apparently strange predicament. I shall argue that the naturalisation of our knowledge of the world is either philosophically trivial, or mistaken. First, I shall distinguish between different kinds of naturalism. Second, I shall remind the reader that the kinds of naturalism that are justified today need to be protected and supported pragmatically, but they are no longer very interesting conceptually. We know how to win the argument. We just have to keep winning it. Whereas the kind of naturalism that is still interesting today is now in need of revision in order to remain acceptable. Such a kind of naturalism may be revised on the basis of a realistic philosophy of information, according to which knowing is a constructive activity, through which we do not merely represent the phenomena we investigate passively, but create more or less correct informational models of them, proactively and interactively. I shall conclude that the natural is in itself artefactual, and that the information revolution is disclosing a tension not between the natural and the non-natural, but a deeper one between a user’s and a producer’s interpretation of knowledge. The outcome is a philosophical view of knowledge and science in the information age that may be called constructionist and a revival of philosophy as a classic, foundationalist enterprise. (shrink)

It is widely thought that chance should be understood in reductionist terms: claims about chance should be understood as claims that certain patterns of events are instantiated. There are many possible reductionist theories of chance, differing as to which possible pattern of events they take to be chance-making. It is also widely taken to be a norm of rationality that credence should defer to chance: special cases aside, rationality requires that one’s credence function, when conditionalized on the chance-making facts, should (...) coincide with the objective chance function. It is a shortcoming of a theory of chance if it implies that this norm of rationality is unsatisfiable. The primary goal of this paper is to show, on the basis of considerations concerning computability and inductive learning, that this shortcoming is more common than one would have hoped. (shrink)

Proponents of corporate moral responsibility take certain corporations to be capable of being responsible in ways that do not reduce to the responsibility of their members. If correct, one follow-up question concerns what leads corporations to fail to meet their obligations. We often fail morally when we know what we should do and yet fail to do it, perhaps out of incontinence, akrasia, or weakness of will. However, this kind of failure is much less discussed in the corporate case. And, (...) where it is discussed, the view is that corporations are less prone to weakness. Here, I argue that proponents of corporate responsibility should say that corporations can and often do instantiate weakness of the will, and that this is important to recognize. Weakness of the will requires certain capacities that these proponents typically take corporations to have. And once this is appreciated, we can assess how corporate weakness might proceed differently than how it does for individuals. We can also begin a conversation about how best to meet the distinctive challenges for recognizing and correcting corporate weakness, using a number of resources from management scholarship. (shrink)

This paper has two main aims. The first is to propose a new way of characterizing the problem of personal identity. The second is to show that the metaphysical picture that underlies my proposal has important implications for the 3D/4D debate. I start by spelling out several of the old ways of characterizing the problem of personal identity and saying what I think is wrong with each of them. Next I present and motivate some metaphysical principles concerning property instantiations that (...) underlie my proposal. Then I introduce the new way of characterizing the problem of personal identity that I am recommending, and I show that it avoids the difficulties facing the old ways. I also mention several vexing problems that arise in connection with certain popular views about personal identity, and I argue that if we formulate the problem of personal identity in the way that I am proposing, then each of these problems can be handled fairly easily. Finally, I show that there is an additional benefit to adopting my proposal, namely, that several other important problems facing anyone who endorses a 3D view of persistence (as opposed to the 4D, “temporal parts” view of persistence) can all be resolved in a relatively straightforward.. (shrink)

Is consciousness intrinsically valuable? Some theorists favor the positive view, according to which consciousness itself accrues intrinsic value, independent of the particular kind of experience instantiated. In contrast, I favor the neutral view, according to which consciousness is neither intrinsically valuable nor disvaluable. The primary purpose of this paper is to clarify what is at stake when we ask whether consciousness is intrinsically valuable, to carve out the theoretical space, and to evaluate the question rigorously. Along the way, I also (...) show why the neutral view is attractive and why certain arguments for the positive view do not work. (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)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic (...) to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, the (...) deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (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)

Normative error theorists aim to defend an error theory which says that normative judgments ascribe normative properties, and such properties, including reasons for belief, are never instantiated. Many philosophers have raised objections to defending a theory which entails that we cannot have reason to believe it. Spencer Case objects that error theorists simply cannot avoid self-defeat. Alternatively, Bart Streumer argues that we cannot believe normative error theory but that, surprisingly, this helps its advocates defend it against these objections. I think (...) that if Streumer’s argument is successful, it provides error theorists an escape from Case’s self-defeat objection. However, I build upon and improve Case’s argument to show that we could never even successfully defend normative error theory whether we can believe it or not. So, self-defeat remains. I close by offering some reasons for thinking our inability to defend normative error theory means that we should reject it, which, in turn, would mean that it’s false. (shrink)

Does the assumption of a weak form of computational functionalism, according to which the right form of neural computation is sufficient for consciousness, entail that a digital computational simulation of such neural computations is conscious? Or must this computational simulation be implemented in the right way, in order to replicate consciousness? From the perspective of Karl Friston’s free energy principle, self-organising systems (such as living organisms) share a set of properties that could be realised in artificial systems, but are not (...) instantiated by computers with a classical (von Neumann) architecture. I argue that at least one of these properties, viz. a certain kind of causal flow, can be used to draw a distinction between systems that merely simulate, and those that actually replicate consciousness. (shrink)

I defend an interpretation of Locke’s remarks on substratum according to which substrata not only have sensible qualities but are just familiar things and stuffs: horses, stones, gold, wax, and snow. The supporting relation that holds between substrata and the qualities that they support is simply the familiar relation of having, or instantiating, which holds between a particular substance and its qualities. I address the obvious objection to the interpretation -- namely, that it cannot be reconciled with Locke’s claim that (...) the idea substratum is an obscure, confused idea of we know not what -- and I identify numerous textual parallels between Locke's discussions of substrata and particular substances which strongly support the deflationary interpretation. (shrink)

This paper explores the implications of extended and distributed cognition theory for our notions of personal identity. On an extended and distributed approach to cognition, external information is under certain conditions constitutive of memory. On a narrative approach to personal identity, autobiographical memory is constitutive of our diachronic self. In this paper, I bring these two approaches together and argue that external information can be constitutive of one’s autobiographical memory and thus also of one’s diachronic self. To develop this claim, (...) I draw on recent empirical work in human-computer interaction, looking at lifelogging technologies in both healthcare and everyday contexts. I argue that personal identity can neither be reduced to psychological structures instantiated by the brain nor by biological structures instantiated by the organism, but should be seen as an environmentally-distributed and relational construct. In other words, the complex web of cognitive relations we develop and maintain with other people and technological artifacts partly determines our self. This view has conceptual, methodological, and normative implications: we should broaden our concepts of the self as to include social and artifactual structures, focus on external memory systems in the (empirical) study of personal identity, and not interfere with people’s distributed minds and selves. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original (...) argument commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)