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)

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)

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)

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)

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)

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)

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.

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.

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)

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)

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)

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)

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)

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)

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)

The iterated Prisoner’s Dilemma has become the standard model for the evolution of cooperative behavior within a community of egoistic agents, frequently cited for implications in both sociology and biology. Due primarily to the work of Axelrod (1980a, 198Ob, 1984, 1985), a strategy of tit for tat (TFT) has established a reputation as being particularly robust. Nowak and Sigmund (1992) have shown, however, that in a world of stochastic error or imperfect communication, it is not TFT that finally triumphs in (...) an ecological model based on population percentages (Axelrod and Hamilton 1981), but ‘generous tit for tat’ (GTFT), which repays cooperation with a probability of cooperation approaching 1 but forgives defection with a probability of l/3. In this paper, we consider a spatialized instantiation of the stochastic Prisoner’s Dilemma, using two-dimensional cellular automata (Wolfram, 1984, 1986; Gutowitz, 1990) to model the spatial dynamics of populations of competing strategies. The surprising result is that in the spatial model it is not GIFT but still more generous strategies that are favored. The optimal strategy within this spatial ecology appears to be a form of ‘bending over backwards’, which returns cooperation for defection with a probability of 2/3 - a rate twice as generous as GTFT. (shrink)

An adequate account of the nature of genre and of the criteria for genre membership is essential to understanding the nature of the various categories into which comics can be classified. Because they fail adequately to distinguish genre categories from other ways of categorizing works, including categorizations according to medium or according to style, previous accounts of genre fail to illuminate the nature of comics categories. I argue that genres are sets of conventions that have developed as means of addressing (...) particular interpretative and/or evaluative concerns, and have a history of co‐instantiation within a community, such that a work’s belonging to some genre generates interpretative and evaluative expectations among the members of that community. Genres are distinct from styles in consisting of conventions, and are distinct from media both in consisting of conventions and in generating interpretative and evaluative expectations. (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)

In what follows we present group rights as portrayed in contemporary theoretical debates; compare this portrayal with some of the claims actually advanced by various indigenous groups throughout the world; and give reasons for preferring the practical to the theoretical treatments. Our findings suggest that liberal-individualist and corporatist accounts of group rights actually agree on the kind of importance that group interests have for persons and on what it is that groups who claim rights are concerned about. Both liberal-individualists and (...) corporatists locate the importance of group interests in the personal psychology of individual group members. As a result, both treat group interests (such as cultural integrity) as not only different in kind from individualized interests such as freedom of expression but as potentially in competition with them. In contrast, the real-world demands of indigenous groups place emphasis on concrete ways in which the preserving of communal life can be important to individuals’ well-being, in addition to the various spiritual and symbolic resources which such life may provide. These practical aspects of communal life make individuals’ group interests a lot like their individualized ones, and so suggest that group rights do not introduce new or distinctive theoretical questions. Instead, group rights are raise familiar questions about how individuals’ interests ought to be balanced against one another when they are in competition; what counts as an adequate institutional structure for the instantiation of a right; and who ought to be recognized as an authoritative judge of whether a right has been respected. (shrink)

In this essay, I aim to defend Spinoza against Hegel’s claim that he annihilated finite things and the real differences they instantiate. To counter Hegel’s charge of acosmism, I try to conceive of a Spinozist kind of acosmism that would mean not a metaphysical eliminativism or nihilism about finitude and diversity, but rather a metaphysical fictionalism about finitude that entails a latent application of the principle of the discernibility of identicals. I do this by focusing on the correspondence between Spinoza’s (...) three kinds of knowledge – imagination, intellection, and intuition – and his understanding of things as being finite, infinite in kind, and absolutely infinite. In the process, I also entertain Yitzhak Melamed’s argument that Hegel was wrong to accuse Spinoza of acosmism, but was onto something by noting the lack of full or self-subsistent existence on the part of finite modes. Melamed offers a reading that claims Spinozist individuals are weak and functional properties that follow from God as his effects. I respond that Melamed would be correct only if we view things from the perspective of the first kind of knowledge, which is a perspective that is by definition false. I conclude, then, that finite things in Spinoza, qua finite, are not illusions, but fictions, and that when viewed truly or truthfully they are so many infinite in kind or absolutely infinite ways one infinite and eternal substance, God or nature, is discernibly identical to itself. (shrink)

The interpretation of Lewis‘s doctrine of natural properties is difficult and controversial, especially when it comes to the bearers of natural properties. According to the prevailing reading – the minimalist view – perfectly natural properties pertain to the micro-physical realm and are instantiated by entities without proper parts or point-like. This paper argues that there are reasons internal to a broadly Lewisian kind of metaphysics to think that the minimalist view is fundamentally flawed and that a liberal view, according to (...) which natural properties are instantiated at several or even at all levels of reality, should be preferred. Our argument proceeds by reviewing those core principles of Lewis‘s metaphysics that are most likely to constrain the size of the bearers of natural properties: the principle of Humean supervenience, the principle of recombination in modal realism, the hypothesis of gunk, and the thesis of composition as identity. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of (...) the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

For the greater part of the last 50 years, it has been common for philosophers of mind and cognitive scientists to invoke the notion of realization in discussing the relationship between the mind and the brain. In traditional philosophy of mind, mental states are said to be realized, instantiated, or implemented in brain states. Artificial intelligence is sometimes described as the attempt either to model or to actually construct systems that realize some of the same psychological abilities that we and (...) other living creatures possess. The claim that specific psychological. (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)

It is often noted that if someone has a tertiary degree in a scientific field who promotes an anti-science-establishment, antiscience, or pseudoscience agenda, they are very often engineers, dentists, surgeons or medical practitioners. While this does not mean that all members of these professions or disciplines are antiscience, of course, the higher frequency of pseudoscience among them is indicative of what I call the “deductivist mindset” regarding science itself. Opposing this is the “inductivist mindset”, a view that has been deprecated (...) among philosophers since Popper. Roughly, the deductivist mindset tends to see problems as questions that can be resolved by deduction from known theory or principle, while the inductivist sees problems as questions to be resolved by discovery. These form cognitive poles, which nobody ever purely instantiates, but a cognitive tendency to be a deductivist may explain why some people find results that conflict with prior theoretical commitments, whether scientific or not, unacceptable. The deductivist tends to be a cognitive conservative, where the inductivist tends to be a cognitive progressive, and the conservative mindset leads to a ressentiment about modernism, and hence about certain scientific results, more often, or so I shall argue in this chapter. (shrink)

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)

Whether collective agency is a coherent concept depends on the theory of agency that we choose to adopt. We argue that the enactive theory of agency developed by Barandiaran, Di Paolo and Rohde (2009) provides a principled way of grounding agency in biological organisms. However the importance of biological embodiment for the enactive approach might lead one to be skeptical as to whether artificial systems or collectives of individuals could instantiate genuine agency. To explore this issue we contrast the concept (...) of collective agency with multi-agent systems and multi-system agents, and argue that genuinely collective agents instantiate agency at both the collective level and at the level of the component parts. Developing the enactive model, we propose understanding agency – both at the level of the individual and of the collective – as spectra that are constituted by dimensions that vary across time. Finally, we consider whether collectives that are not merely metaphorically ‘agents’ but rather are genuinely agentive also instantiate subjectivity at the collective level. We propose that investigations using the perceptual crossing paradigm suggest that a shared lived perspective can indeed emerge but this should not be conflated with a collective first-person perspective, for which material integration in a living body may be required. (shrink)

[Do Animals Have Consciousness?] The study analyses the arguments of contemporary philosophers of mind concerning the subject of animal consciousness. The first part reminds the reader of the Cartesian starting point of the contemporary discussion and points to the concept of phenomenal consciousness as the main point of contention concerning the instantiation of consciousness in non-human animals. The second part of the study analyses various forms of representationalism which make up the mainstream of contemporary debate. In the third part (...) the philosophy of mind of Daniel Dennett is discussed, together with its implications for the question of animal consciousness. In contrast with critics who treat Dennett’s theory as the result of conceptual confusions, the author argues that we should look upon the theory as the rejection of the assumptions of the mainstream and an attempt to think anew the question of consciousness, including animal consciousness. (shrink)

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...) In particular, we apply it to reason about the resource-sensitive use of artefacts. (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)

Necessity can be ascribed not only to propositions, but also to feelings. In the Critique of Judgment (KdU), Immanuel Kant argues that a feeling of beauty is the necessary satisfaction instantiated by the ‘free play’ of the cognitive faculties, which provides the grounds for a judgment of taste (KdU 5:196, 217-19). In contradistinction to the theoretical necessity of the Critique of Pure Reason and the moral necessity of the Critique of Practical Reason, the necessity assigned to a judgment of taste (...) is exemplary necessity (KdU 5:237). Necessity can also be assigned by employing the de re/de dicto distinction, namely, by ascribing entailments of what must necessarily hold to either a thing (de re) or to a proposition (de dicto). Although Kant does not use the distinction in any of the three Critiques, this omission has not prevented Kant scholars from applying the distinction in their analyses of the first two Critiques. In this paper, I examine the role that modality plays in Kant’s third Critique and I attempt to bring the de re/de dicto distinction to bear on Kant’s famous aesthetic theory. Ultimately, I perform a retrospective classification of the modality of taste by arguing that because a judgment of taste is not a statement about an objective fact, a judgment of ‘x is beautiful’ can only be read as de dicto necessary. (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)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (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)

In philosophy of language, a distinction has been proposed by Diego Marconi between two aspects of lexical competence, i.e. referential and inferential competence. The former accounts for the relation-ship of words to the world, the latter for the relationship of words among themselves. The aim of the pa-per is to offer a critical discussion of the kind of formalisms and computational techniques that can be used in Artificial Intelligence to model the two aspects of lexical competence, and of the main (...) difficulties related to the use of these computational techniques. The first conclusion of our discussion is that the dis-tinction between inferential and referential semantics is instantiated in the literature of Artificial Intelli-gence by the distinction between symbolic and connectionist approaches. The second conclusion of our discussion is that the modelling of lexical competence needs the advent of hybrid models integrating symbolic and connectionist frameworks. Our hypothesis is that Conceptual Spaces, a framework devel-oped by Gärdenfors more than fifteen years ago, can offer a lingua franca that allows to unify and gener-alize many aspects of the representational approaches mentioned above and to integrate “inferential” (=symbolic) and “referential” (=connectionist) computational approaches on common ground. (shrink)

Similarity and difference, patterns of variation, consistency and coherence: these are the reference points of the philosopher. Understanding experience, exploring ideas through particular instantiations, novel and innovative thinking: these are the reference points of the artist. However, at certain points in the proceedings of our Symposium titled, Next to Nothing: Art as Performance, this characterisation of philosopher and artist respectively might have been construed the other way around. The commentator/philosophers referenced their philosophical interests through the particular examples/instantiations created by the (...) artist and in virtue of which they were then able to engage with novel and innovative thinking. From the artists’ presentations, on the other hand, emerged a series of contrasts within which philosophical and artistic ideas resonated. This interface of philosopher-artist bore witness to the fact that just as art approaches philosophy in providing its own analysis, philosophy approaches art in being a co-creator of art’s meaning. In what follows, we discuss the conception of philosophy-art that emerged from the Symposium, and the methodological minimalism which we employed in order to achieve it. We conclude by drawing out an implication of the Symposium’s achievement which is that a counterpoint to Institutional theories of art may well be the point from which future directions will take hold, if philosophy-art gains traction. (shrink)

How come we can represent Bigfoot even though Bigfoot does not exist, given that representing something involves bearing a relation to it and we cannot bear relations to what does not exist? This is the problem of intentional inexistence. This paper develops a two-step solution to this problem, involving an adverbial account of conscious representation, or phenomenal intentionality, and the thesis that all representation derives from conscious representation. The solution is correspondingly two-part: we can consciously represent Bigfoot because consciously representing (...) Bigfoot does not involve bearing a relation to Bigfoot, but rather instantiating a certain non-relational property of representing Bigfoot-wise; and we can non-consciously represent Bigfoot because non-consciously representing Bigfoot does not involve bearing a relation to Bigfoot, but rather bearing a relation to conscious representations of Bigfoot. (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 philosophy of language, a distinction has been proposed between two aspects of lexical competence, i.e. referential and inferential competence (Marconi 1997). The former accounts for the relationship of words to the world, the latter for the relationship of words among themselves. The distinction may simply be a classification of patterns of behaviour involved in ordinary use of the lexicon. Recent research in neuropsychology and neuroscience, however, suggests that the distinction might be neurally implemented, i.e., that different cognitive architectures with (...) partly distinct neural realizations might be responsible for cognitive performances involving inferential and referential aspects of semantics. This hypothesis is strongly consistent with patient data supporting the notion of a functional double dissociation between inferential and referential abilities, and with a set of direct cortical mapping studies and neuroimaging experiments suggesting that inferential and referential abilities are underpinned by at least partly different regions of the human brain (e.g., Marconi et al. 2013; review in Calzavarini 2017). The initial hypotheses formulated in the setting of the philosophy of language, along with the neuropsychological experimental evidence (about how referential and inferential competences may be neurally instantiated) can be the input to computational modelling activities involving the inferential and the referential aspects of lexical competence. The aim of the talk is to offer a critical discussion of the kind of formalisms that can be used to model the two aspects of lexical competence, and of the main difficulties related to the use of these computational techniques. -/- Inferential (=symbolic) vs referential (=connectionist) formalisms. (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.

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)

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)

Cognitive science is ready for a major reconceptualization. This is not at all because efforts by its practitioners have failed, but rather because so much progress has been made. The need for reconceptualization arises from the fact that this progress has come at greater cost than necessary, largely because of more or less philosophical (at least metatheoretical) straightjackets still worn - whether wittingly or not - by those doing the work. These bonds are extremely hard to break. Even some of (...) those who have directed powerful arguments against them have failed entirely to shake them off. The bonds are often attributed to the work of René Descartes, but they are really much older than that. If even in the present effort, I fail entirely to remove the straightjacket myself (even though I am making every attempt to get it off), this will testify to its tight grip. The straightjacket I am thinking about, of course, is the vague picture of the human situation that imagines centralized, internal minds in control of bodily machines. While almost no one in the contemporary cognitive science arena imagines minds to be the kind of thing Descartes took them to be - instantiations of a unique, fully non-material substance - there is nevertheless a deep resistance, even among the most fervent professed "materialists," to giving up this picture. In what follows, I shall try to offer an approach which on the one hand capitalizes on the excellent progress that has been made in cognitive science in the last few decades, and which on the other hand offers a general approach that may help at some level in the attempt to shake "Cartesian" bonds. The approach, as the alert reader already knows from the title of the essay, is an "ecological" approach. (shrink)