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)

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)

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)

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)

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.

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)

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.

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)

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)

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)

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)

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)

What exactly is a philosophical intuition? And what makes such an intuition reliable, when it is reliable? This paper provides a terminological framework that is able answer to the first question, and then puts the framework to work developing an answer to the second question. More specifically, the paper argues that we can distinguish between two different "evidential roles" which intuitions can occupy: under certain conditions they can provide information about the representational structure of an intuitor's concept, and under different (...) conditions, they can provide information about whether or not a property is instantiated. The paper describes two principles intended to capture the difference between the two sets of conditions---that is, the paper offers a principle that explains when an intuition will be a reliable source of evidence about the representation structure of an intuitor's concept, and another principle that explains when an intuition will be a reliable source of evidence about whether or not a property is instantiated. The paper concludes by briefly arguing that, insofar as philosophers are interested using intuitions to determine whether or not some philosophically interesting property is instantiated by some scenario (for instance, whether knowledge is instantiated in a Gettier-case), the reliability of the intuition in question does not depend on whether or not the intuition is widely shared. (shrink)

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)

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.

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)

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)

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)

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)

Abstract:Skepticism about grounding is the view that ground-theoretic concepts shouldn’t be used in meta­physical theorizing. Possible reasons for adopting this attitude are numerous: perhaps grounding is unintelligible; or perhaps it’s never instantiated; or perhaps it’s just too heterogeneous to be theor­­­­­etically useful. Unfortunately, as currently pursued the debate between grounding enthusiasts and skeptics is insufficiently structured. This paper’s purpose is to impose a measure of conceptual rigor on the debate by offering an opinionated taxonomy of views with a reasonable claim (...) to being “skeptical.” I argue that carving up logical space into pro- and anti-grounding views isn’t especially helpful; rather, we should recognize various degrees of ground-theoretic involvement depending on how inflationary our understanding of the theoretical term ‘ground’ is. (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 central aim of this paper is to use a particular view about how the laws of nature govern the evolution of our universe in order to develop and evaluate the two main competing options in the metaphysics of persistence, namely endurantism and perdurantism. We begin by motivating the view that our laws of nature dictate not only qualitative facts about the future, but also which objects will instantiate which qualitative properties. We then show that both traditional doctrines in the (...) metaphysics of persistence must take on surprising further commitments in order to vindicate our universe being law-governed in this strong sense. For example, we argue that endurantists should adopt a particular version of monism, and that perdurantists should adopt a qualitativist doctrine that dispenses with all individuals at the fundamental level. (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.

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

One argument for the moving spotlight theory is that it better explains certain aspects of our temporal phenomenology than does any static theory of time. Call this the argument from passage phenomenology. In this paper it is argued that insofar as moving spotlight theorists take this to be a sound argument they ought embrace a new version of the moving spotlight theory according to which the moving spotlight is a cresting wave of causal efficacy. On this view it is more (...) than just presentness that is temporary: a range of other fundamental properties are also temporary because presentness synchronically changes the fundamental properties that are instantiated in the present moment, from those instantiated when that moment is future, or past. On this view having experiences as of presentness co-varies with the presence of presentness, allowing the moving spotlight theorist to provide a compelling explanation for why we have the temporal phenomenology we do, and to explain how we can know that we are present by reflecting on the nature of said phenomenology. (shrink)

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.

Any property has two sorts of causal features: “forward‐looking” ones, having to do with what its instantiation can contribute to causing, and ldquo;backward‐looking” ones, having to do with how its instantiation can be caused. Such features of a property are essential to it, and properties sharing all of their causal features are identical. Causal necessity is thus a special case of metaphysical necessity. Appeals to imaginability have no more force against this view than they do against the Kripkean (...) view that statements like “Gold is an element” are metaphysically necessary. (shrink)

A contemporary form of panpsychism says that phenomenality is prevalent because all physical ultimates instantiate phenomenal or protophenomenal properties. According to priority cosmopsychism, an alternative to panpsychism that we propose in this chapter, phenomenality is prevalent because the whole cosmos instantiates phenomenal or protophenomenal properties. It says, moreover, that the consciousness of the cosmos is ontologically prior to the consciousness of ordinary individuals like us. Since priority cosmopsychism is a highly speculative view our aim in this chapter remains modest and (...) limited. Instead of providing a full defense of priority cosmopsychism, we try to show only the theoretical advantage of the view over panpsychism. Tis, however, by no means entails that we develop the view in logical space merely for its own sake. We offer instead a blueprint for a new alternative to panpsychism and explain how such a view avoids some of the most persistent problems for panpsychism while maintaining several of its strengths. (shrink)

A prominent way of justifying civil disobedience is to postulate a pro tanto duty to obey the law and to argue that the considerations that ground this duty sometimes justify forms of civil disobedience. However, this view entails that certain kinds of uncivil disobedience are also justified. Thus, either a) civil disobedience is never justified or b) uncivil disobedience is sometimes justified. Since a) is implausible, we should accept b). I respond to the objection that this ignores the fact that (...) civil disobedience enjoys a special normative status on account of instantiating certain special features: nonviolence, publicity, the acceptance of legal consequences, and conscientiousness. I then show that my view is superior to two rivals: the view that we should expand the notion of civility and that civil disobedience, expansively construed, is uniquely appropriate; and the view that uncivil disobedience is justifiable in but only in unfavorable conditions. (shrink)

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (shrink)

Sydney Shoemaker, developing an idea of Wittgenstein’s, argues that we are immune to error through misidentification relative to the first-person pronoun. Although we might be liable to error when “I” (or its cognates) is used as an object, we are immune to error when “I” is used as a subject (as when one says, “I have a toothache”). Shoemaker claims that the relationship between “I” as-subject and the mental states of which it is introspectively aware is tautological: when, say, we (...) judge that “I feel pain,” we are tautologically aware that feels pain is instantiated and that it is instantiated in oneself. Moreover, he contends that this relationship holds not just for bodily sensations, but also for the sense of agency and for visual perception. But we deny that this relationship is tautological; instead, we treat Shoemaker’s principle (IEM) as a hypothesis. We then proceed to show that certain pathological states and experimentally-induced illusions can be adduced to show that IEM describes not a necessary relationship but a contingent relationship, one that sometimes fails to obtain. That we are not immune to error in the way Shoemaker describes has grave consequences for many aspects of his ideas concerning the first-person perspective. In the course of arguing that these empirical phenomena count against IEM, we also show that not only can the content of conscious experience be misrepresented, so too can the subject: that is, not only can the what of conscious experience be misrepresented, so too can the who. (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)

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)

What is the computational notion of “implementation”? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation.

Exclusionary defeat is Joseph Raz’s proposal for understanding the more complex, layered structure of practical reasoning. Exclusionary reasons are widely appealed to in legal theory and consistently arise in many other areas of philosophy. They have also been subject to a variety of challenges. I propose a new account of exclusionary reasons based on their justificatory role, rejecting Raz’s motivational account and especially contrasting exclusion with undercutting defeat. I explain the appeal and coherence of exclusionary reasons by appeal to commonsense (...) value pluralism and the intermediate space of public policies, social roles, and organizations. We often want our choices to have a certain character or instantiate a certain value and in order to do so, that choice can only be based on a restricted set of reasons. Exclusion explains how pro tanto practical reasons can be disqualified from counting towards a choice of a particular kind without being outweighed or undercut. (shrink)

We argue that if one wishes to be a realist, one should adopt a Neo-Aristotelian ontology involving tropes instead of a Russellian ontology of property universals and objects. Either Russellian realists should adopt the relata-specific relational tropes of instantiation instead of facts, or convert to Neo-Aristotelian realism with monadic tropes. Regarding Neo-Aristotelian realism, we have two novel points why it fares better than Russellian realism. Instantiation of property universals by tropes and characterization or inherence between tropes and objects (...) are more transparent ontological notions than relational inherence, which is assumed in Russellian realism with the relational tropes of instantiation. Neo-Aristotelian realism makes better sense about abstract universals, which are a more viable option than concrete universals. (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)

Contemporary international law separates the international justice of war from the domestic justice of society, but empirically, there is a correlation between democratic governance and military effectiveness, which could have a number of causes. A contemporary reconstruction from _The Seven Military Classics_ of Chinese military philosophy offers potential lessons for how domestic virtues may yield military and geopolitical victory. This chapter reconstructs arguments from the seven treatises into a collective an amalgamated conception of “good governance” that weaves together military strategy (...) and virtue ethics and maintains that good governance at home actually wins wars abroad. A reconstructed classical Chinese conception of “good governance” presents theoretical and ethical challenges, but also offers viable justicial content for contemporary jus ad bellum considerations beyond sovereign self-defense or human rights. It presents a way of instantiating the sprawling conception of human rights that falls short in contemporary discourse. (shrink)

I will introduce and motivate eliminativist super-relationism. This is the conjunction of relationism about spacetime and eliminativism about material objects. According to the view, the universe is a big collection of spatio-temporal relations and natural properties, and no substance (material or spatio-temporal) exists in it. The view is original since eliminativism about material objects, when understood as including not only ordinary objects like tables or chairs but also physical particles, is generally taken to imply substantivalism about spacetime: if properties are (...) directly instantiated by spacetime without the mediation of material objects, then, surely, spacetime has to be a substance. After introducing briefly the two debates about spacetime (§1) and material objects (§2), I will present Schaffer's super-substantivalism (§3), the conjunction of substantivalism about spacetime and eliminativism about material objects at the fundamental level. I shall then expose and discuss the assumption from which the implication from eliminativism to substantivalism is drawn, and discuss the compatibility of eliminativism with relationism: if spacetime is not a substance, and if material objects are not real, how are we to understand the instantiation of properties (§4)? And what are the relata of spatio-temporal relations (§5)? I then show that each argument in favor of super-substantivalism offered by Schaffer also holds for super-relationism (§6) and examine several metaphysical consequences of the view (§7). I conclude that both super-substantivalism and super-relationism are compatible with Schaffer's priority monism (§8). (shrink)

Chapter 1st of the book. This chapter explores the fundamental ambiguity of the concept of plasticity – between openness and determination, change and stabilization of forms. This pluralism of meanings is used to unpack different instantiations of corporeal plasticity across various epochs, starting from ancient and early modern medicine, particularly humouralism. A genealogical approach displaces the notion that plasticity is a unitary phenomenon, coming in the abstract, and illuminates the unequal distribution of different forms of plasticities across social, gender, and (...) ethnic groups. Taking a longer view of the plastic body as a ubiquitous belief in traditions predating and coexisting with modern medicine will help contextualize the seeming radicalism of today’s turn to permeability and the exceptionalism of Western findings. By highlighting the complex biopolitical usages of plasticity in the past, the chapter warns against simplistic appropriations of the term in contemporary body/world configurations driven by findings in neuroscience, epigenetics and microbiomics. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed (...) analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)