This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

While the concept event has been an important tool in our thinking about causation and action, the concept process has not been appealed to so readily. However, recently, several philosophers have...

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

Degree‐sentences, i.e. sentences that seem to refer to things that allow of degrees, are widely used both inside and outside of philosophy, even though the metaphysics of degrees is much of an untrodden field. This paper aims to fill this lacuna by addressing the following four questions: [A] Is there some one thing, such that it is degree sensitive? [B] Are there things x, y, and z that stand in a certain relation to each other, viz. the relation that x (...) has more y than z? [C] In those cases in which degree sentences do not refer to phenomena that are degree sensitive, what is responsible for their prima facie seeming to do so? [D] If there are degree sensitive things, to which ontological categories do they belong? We answer each of these questions by arguing that there are, metaphysically speaking, different phenomena that degree sentences refer to: some refer to determinates that emanate from a certain determinable, others to tokens that are instantiations of a certain type, and yet others to what we call ‘complex, resultant properties that are constituted by stereotypical properties’. Finally, we show the relevance of our answers by applying them to the notions of freedom and belief. (shrink)

This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the computer science community to go (...) off the beaten path in order to find inspiration for the development of new approaches in software engineering. (shrink)

Among those who posit properties, liberals (mostly nominalists) admit abundant, ontologically free properties, which particulars possess whenever they satisfy the same predicate and belong to the same class, however artificial. I call them “L-properties” (for “Liberal”). Some liberals also admit that some few L-properties are natural, while most of them are artificial (the same applies to the corresponding classes). Others (mostly but not only realists) commit to a more discriminating use of the category: properties are sparse, they make for the (...) objective similarities among particulars, and more importantly, they allow to analyze “objective similarity” and “class naturalness” in terms of property-possessing and sharing. They give particulars their “true nature”, and I call them “A-properties” (for “Analytical”). This article provides a defense of this second type of properties, in the particular case of sortals. To that end, a new fact is put forward: that sorts are classes which are natural not as a primitive feature, but in virtue of what the particulars which belong to them are, and which makes them _naturally belong_ to them. I then argue that this fact entails the existence of the desired type of properties, “sortal A-properties”, although leaving open the question of how they should be construed. (shrink)

Roles remain nebulous entities, notwithstanding their extensive interdisciplinary research. This paper argues through a meta-ontological conceptual tool of grounding that there are three key facets of roles: a role position, a role specification, and a role potential. A foundational perspective on roles can be specified by “role choices” as to which facet of roles is primary. Role choices are illustrated with theories of roles that are built in compliance with four well-known upper ontologies: GFO, DOLCE, BFO, and UFO. The relationship (...) between such three facets of roles and the GFO-based three kinds of roles (relational, processual, and social) is closely examined. These three facets are also comparatively studied from linguistic (e.g. ‘have a role’ versus ‘play a role’) and methodological (realism versus conceptualism regarding ontology design) perspectives. Furthermore, the family resemblance view of roles as “epistemic trackers” is proposed: the general notion of role is merely (partially) unified by its three facets and helps to keep track of some entity with respect to its role-related aspects. Finally, defining characteristics of roles in conceptual modeling are considered in terms of the three-facet theory. This work provides the grist for future practical development of an ontological module for generic role representation. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

Moral platonism, the claim that moral entities are both objective and prescriptive, is generally thought to be a dead end. In an attempt to defend a moderate form of moral platonism or more precisely platonism about values, I first argue that several of the many versions of this doctrine are not committed to ontological extravagances. I then discuss an important objection due to John McDowell and developed by Michael Smith, according to which moral platonism is incoherent. I argue that objectivism (...) is compatible with the claim that certain ways of being aware of values, namely those involving emotions, are motivating. (shrink)

A strong form of representationalism says that every conscious property of every mental state can be identified with some part of the state’s representational properties. A weaker representationalism says that some conscious property of some mental state can be identified with some part of the state’s representational properties. David Papineau has recently argued that all such theories are incorrect since they construe consciousness as consisting in “relations to propositions or other abstract objects outside space and time”, whereas consciousness is “concrete” (...) and “here and now”. Papineau defends instead a kind of “qualia theory” according to which all conscious properties are intrinsic non-relational properties of subjects. He argues that this theory bypasses the difficulties he identifies for representationalism. Similar worries about representationalism, and similar ideas to the effect that some qualia theory, adverbial theory, or sense-datum theory fares better with respect to these worries are relatively wide-spread. I argue that Papineau’s theory does not bypass the difficulties he identifies for representationalism. In fact, Papineau’s theory arguably has no advantage at all over representationalism with regard to these issues. The features that concern Papineau about representationalist views do not derive—or do not derive solely—from the representationalism of these views. They derive from a common-factorism of these views. And this common-factorism is embraced by Papineau as well as by most theories of consciousness and perception. (shrink)

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

This essay explores an ideal notion of form (mathematical structure) that embraces logical, phenomenological, and ontological form. Husserl envisioned a correlation among forms of expression, thought, meaning, and object—positing ideal forms on all these levels. The most puzzling formal entities Husserl discussed were those he called ‘manifolds’. These manifolds, I propose, are forms of complex states of affairs or partial possible worlds representable by forms of theories (compare structuralism). Accordingly, I sketch an intentionality-based semantics correlating these four Husserlian levels of (...) form—thereby integrating logic, phenomenology, and ontology. (shrink)

Wilfrid Sellars is widely known for two positions that he calls “nominalism.” On the one hand, there is his “psychological nominalism,” according to which any awareness one might have of abstract entities—be they properties, relations, or facts—is a thoroughly linguistic affair, and so cannot be presupposed in thinking about the process of learning a (first) language. On the other hand, there is his ontological nominalism, according to which the world, as it is in itself, is fundamentally a world of concrete (...) particulars and so does not ultimately contain such things as properties, relations, or propositionally-structured facts. Sellars clearly takes these two sorts of “nominalism” to go together. However, one of the most influential inheritors of Sellars's philosophy, Robert Brandom, thinks that they do not. Brandom endorses the former, but denies that the latter “is in the end so much as intelligible.” In this paper, I articulate the connection between Sellars's psychological and ontological nominalism and draw on Brandom's own development of Sellars's functional role semantics to argue, against Brandom, that Sellars's ontological nominalism not only harmonizes with the rest of his philosophical commitments, but is actually made fully intelligible by the very aspect of Sellars's theory that Brandom himself develops. (shrink)

One popular materialist response to the explanatory gap identifies phenomenal concepts with type-demonstrative concepts. This kind of response, however, faces a serious challenge: that our phenomenal concepts seem to provide a richer characterization of their referents than just the demonstrative characterization of 'that quality'. In this paper, I develop a materialist account that beefs up the contents of phenomenal concepts while retaining the idea that these contents contain demonstrative elements. I illustrate this account by focusing on our phenomenal concepts of (...) phenomenal colour. The phenomenal colours stand in a similarity space relative to one another in virtue of being complex qualities—qualities that contain saturation, lightness, and various aspects of hue as component elements. Our phenomenal concepts, in turn, provide a demonstrative characterization of each of these component elements as well as a description of how much of that element is present in a given phenomenal colour. The result is an account where phenomenal concepts contain demonstrative elements and yet provide a significantly richer characterization of the intrinsic nature of their referents than just 'that quality'. (shrink)

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

This article considers three views about which properties are genuine. According to the first view, we should look to successful commonsense and scientific explanations in determining which properties are genuine. On this view, predicates that figure in such explanations thereby pick out genuine properties. According to the second view, the only predicates that pick out genuine properties are those that figure in our best scientific explanations. On this view, predicates that figure in commonsense explanations pick out genuine properties only if (...) such explanations are vindicated by the sciences. According to the third view, the only genuine properties are the fundamental, microphysical ones. On this view, although there are “higher-level” predicates that figure in true commonsense and scientific explanations, there are no “higher-level” properties corresponding to such predicates. The article argues that the third view is superior to the others. (shrink)

This paper raises a problem for the pair of views that universals are immanent in their instantiations and that these instantiations, or states of affairs, are somehow constructed from the instantiated universals. It is argued that the pair is inconsistent. The first view implies that universals are prior to states of affairs, whereas the second view implies that states of affairs are prior to universals. This paper does not attempt to solve this problem, but rather to formulate it precisely. That (...) promises to illuminate how to solve the problem if it can be solved, or why it cannot be solved if it is unsolvable. (shrink)

Philosophers of language and linguists need to be wary of generalizing from too small a sample of natural languages. They also need to be wary of neglecting possible insights from philosophical traditions that have focused on natural languages other than the most familiar Western ones. Take, for example, classical Indian philosophy, where philosophical concerns with language were very much involved with the early development of Sanskrit linguistics. Indian philosophers and linguists frequently discussed more general issues about semantics, often in ways (...) that are both similar to and interestingly different from Western philosophers.One such issue is the problem of sentential unity: what is the relation of our understanding of the meaning of a sentence to our understanding of the meaning of the words that compose it? If words have meanings, why is the meaning of a sentence not just the meaning of the words that compose it? A challenging Indian response is that of the grammarian and philosopher Bhartṛhari (fifth-century), who advocated for a kind of sentence-holism according to which words are unreal and sentence-meaning is primary. (shrink)

Not long ago I found myself at a metaphysics conference in which one of the speakers right at the outset declared dismissively that he would be doing metaphysics ‘of the last five minutes’. Everybody laughed. I was horrified. A traditional metaphysical problem was presented and discussed as it had been set out by a contemporary philosopher, and we were all expected to take for granted the parameters of the debate as they were being presented, without further questioning and examining of (...) the assumptions, and without looking back at the history of the problem and why it had been set out in such a way. What the laughing audience did not seem to realize was that no solid progress in metaphysics can be made in this way, for there is really no such thing as the metaphysics of the last five minutes. Contemporary metaphysicians, whether they are aware of it or not, whether they credit their predecessors or not, frequently end up importing very problematic assumptions from historical debates previously enacted. Unless such assumptions are properly explored and questioned, we cannot feel confident that we are making any genuine progress in contemporary metaphysics rather than just repeating the same mistakes of our philosophical forebears. (shrink)

Many philosophers believe that true belief is of epistemic value, but that knowledge is of even more epistemic value. Some claim that this surplus value is instrumentally valuable to the value of true belief. I call the conjunction of these claims the Instrumentalist’s Conjunction. The so-called “Swamping Problem” is meant to show that Instrumentalist’s Conjunction is inconsistent. Crudely put, the problem is that if knowledge only has surplus value to the value of true belief, and a belief is true because (...) known, then knowledge cannot be of any more value than true belief. Given the inconsistency, most philosopher reject the claim the surplus value of knowledge is instrumental to the value of true belief. This paper argues that the Swamping Problem is illusory. Once we clean up the problem and pay attention to the distinction between token/type properties, we can see that Instrumentalist’s Conjunction is perfectly coherent. (shrink)

Bare particulars have received a fair amount of bad press. Many find such entities to be obviously incoherent and dismiss them without much consideration. Proponents of bare particulars, on their part, have not done enough to clearly motivate and characterize bare particulars, thus leaving them open to misinterpretations. With this paper, I try to remedy this situation. I put forward a much-needed positive case for bare particulars through the four problems that they can be seen to solve—The Problem of Individuation, (...) The Problem of Change, The Problem of Having a Property, and The Problem of Subtraction. I then distinguish and characterize three possible types of bare particulars—genuinely bare, constitutively bare, and thinly clothed—and consider how each of these cope with some classical and recent objections to bare particulars. I argue that the most troubling objections do not come from familiar quarters, but from examining how well such entities address all four of the ontological problems outlined. I ultimately conclude that the best contenders among the three types of bare particulars are the constitutively bare variety, but argue that, if they are to earn their keep, they must either share or turn over their individuating role to the ordinary particulars that they constitute. (shrink)

Philosophers today have largely given up on the project of categorizing being. Aristotle’s ten categories now strike us as quaint, and no attempt to improve on that effort meets with much interest. Still, no one supposes that reality is smoothly distributed over space. The world at large comes in chunks, and there remains a widespread intuition, even among philosophers, that some of these chunks have a special sort of unity and persistence. These, we tend to suppose, are most truly agents (...) and subjects, and are what exist in the most proper sense of the term. We believe, in other words, in substances. (shrink)

One of the most serious theoretical obstacles to contemporary spacetime substantivalism is Earman and Norton's hole argument. We argue that applying the bundle theory of substance to spacetime points allows spacetime substantivalists to escape the conclusion of this argument. Some philosophers have claimed that the bundle theory cannot be applied to substantival spacetime in this way due to problems in individuating spacetime points in symmetrical spacetimes. We demonstrate that it is possible to overcome these difficulties if spatiotemporal properties are viewed (...) as tropes rather than universals. (shrink)

'The kind Lion' denotes a kind. Yet many generics are thought to denote kinds also, like the subject-terms in 'The lion has a mane', 'Dinosaurs are extinct', and 'The potato was cultivated in Ireland by the end of the 17th century.' This view may be adequate for the linguist's overall purposes--however, if we limit our attention to the theory of reference, it seems unworkable. The problem is that what is often predicated of kinds is not what is predicated of the (...) lion, dinosaurs, and the potato. Thus, kinds are sometimes said to be abstract objects, immanent universals, nominal essences, etc. But the lion is a predatory cat--it is not an abstract object, nor an immanent universal, nor a nominal essence. I consider several proposals about resolving the dilemma; however, the conclusion is that none of the proposals are adequate. We are thus hard pressed to make sense of allegedly kind-denoting generics, and the lesson is a "Socratic" one about the depths of our ignorance. (shrink)

There has been little discussion of the compatibility of Theistic Conceptual Realism with the doctrine of divine simplicity. On the one hand, if a plurality of universals is necessary to explain the character of particular things, there is reason to think this commits the proponent of TCR to the existence of a plurality of divine concepts. So the proponent of the DDS has aprima faciereason to reject TCR. On the other hand, many mediaeval philosophers accept both the existence of divine (...) ideas and the DDS. In this article I draw on mediaeval and contemporary accounts of properties and divine simplicity to argue that the two theories are not logically incompatible. (shrink)

I address two related questions. First: what value is there in visiting a museum and becoming acquainted with the objects on display? For art museums the answer seems obvious: we go to experience valuable works of art, and experiencing valuable works of art is itself valuable. In this paper I focus on non-art museums, and while these may house aesthetically valuable objects, that is not their primary purpose, and at least some of the objects they house might not be particularly (...) aesthetically valuable at all. Second: to what ontologicaltypeorcategorydo museum objects belong? Whattypeof item should be featured on an inventory of a museum collection? I distinguish betweentypicalobjects andspecialobjects. While these are different types of object, both, I argue, areabstracta, notconcreta. The answer to the second question, concerning the ontological category of special objects, throws new light on various philosophical questions about museums and their collections, including the question about the value of museum experiences. But it also throws light on important questions concerning the preservation and restoration of museum objects. (shrink)

A shorthand symbolism for the relational mapping of categories is introduced and developed on the basis of Nelson Goodman's structural methodology. Through a reconstruction of extensional isomorphism that Goodman introduces as a criterion for definitional accuracy, and a brief reminder of the argument structure behind his ‘new riddle of induction’, Goodman's radical ontological relativism is turned into a protological principle of what I call ‘domain constituting philosophy’. MSS is demonstrated with reference to Goodman's symbol theory, particularly his notion of exemplification, (...) as well as in a final structured comparison of Frege's ‘sense’ with Goodman's straightforward construction of ‘secondary extension’. (shrink)

This article’s purpose is to defend the depiction of ordinary-sized physical objects as mereological aggregates (MAs), to clarify what the ontology of an MA is, and to show why mereological essentialism (ME) applies to MAs that seem to be ubiquitous if we are to adopt what Frank Jackson calls “Serious Metaphysics” and refuse to broaden our ontology beyond what is (allegedly) bequeathed to us by physics and chemistry. To accomplish this goal, first, I clarify certain background issues that inform what (...) follows and I identify certain constraints that relate to the contemporary ambivalence towards ME. Second, I present a primer on Husserlian mereology that provides a superior account of parts and wholes than the inadequate approach identified in the previous section. Third, I will offer a defense of ME as the correct approach to providing an ontological account of MAs. Finally, I will evaluate two defeaters against my thesis. (shrink)

A main function of common natures in Avicenna’s metaphysics is supposed to be providing an objective ground for the categories. Thus, it is commonly assumed that in his metaphysics things are objectively divided into the categories into which they are because members of each category share the same common nature. However, common natures cannot perform the function unless they are shared, in a real sense of the word, by the members of the respective categories, and it is not clear at (...) all in what real sense Avicenna took common natures to be shared by them. On the one hand, he rejected Platonic and Aristotelian realisms about common natures, the two standard accounts of how common natures are shared by their instances. On the other hand, it is unclear that his alternative account(s) of common natures renders them genuinely common. The primary goal of this paper is to examine whether Avicenna’s common natures can provide an objective ground for the categories. It considers various interpretations of Avicenna's account and argues that they are either incorrect interpretations of Avicenna or do not render common natures genuinely common. It concludes with proposing to look elsewhere in Avicenna’s system to find the objective ground. (shrink)

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

In this piece I respond to commentaries by Julio De Rizzo & Benjamin Schnieder, Erwin Tegtmeier and William Vallicella on my book Metaphysics of States of Affairs (Springer, 2018).

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

The property theory of musical works says that each musical work is a property that is instantiated by its occurrences, that is, the work's performances and playings. The property theory provides ontological explanations very similar to those given by its popular cousin, the type/token theory of musical works, but it is both simpler and stronger. However, type/token theorists often dismiss the property theory. In this essay, I formulate a version of the property theory that identifies each type (thus, each musical (...) work) with a unique property. I then scrutinize the arguments offered for thinking that types, including musical works, are distinct from properties. I respond that no such argument is forceful and conclude that the property theory of musical works is superior to the type/token theory. (shrink)

A book review of "Properties" by Douglas Edwards (Polity Press, 2014).

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne 2002, 2006, Braddon-Mitchell, 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face (...) a new skeptical challenge: how do you know that you are in a no-futurist world? (shrink)

Since its inception, analytic philosophy has failed to attain dominance in Japan. However, the 21st century has seen analytic philosophy gain traction among Japanese philosophers. This paper, which examines the status quo of analytic philosophy in Japan since 2000, consists of two parts. The first part deals primarily with organizations—specifically, relevant associations, journals, conferences, universities, and publishers are illustrated. The second part explores key works in each area—namely, philosophy of science, philosophy of language, philosophy of logic and mathematics, philosophy of (...) mind, and metaphysics. Key works in other areas are also briefly addressed. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

To understand Aristotle’s conception of form, we have to see clearly the relationship between his account and Plato’s Theory of Forms. I offer a novel interpretation of Aristotle’s Moderate Realism, in which forms are simple particulars that ground the character and mutual similarity of the entities they inform. Such an account has advantages in three areas: explaining (1) the similarity of particulars, (2) the synchronic unity of composite particulars, and (3) the diachronic unity or persistence of intrinsically changing particulars.

Microphysical realism is the position that the only real entities and properties are found at the most fundamental level of nature. In this article, I challenge microphysical realism concerning properties and natural kinds. One argument for microphysical realism about entities, the “nothing-but argument,” does not apply to properties and kinds. Another argument, the “causal exclusion argument,” cannot be sustained in light of modern physics. Moreover, this argument leads to an objection against microphysical realism, based on the “illusoriness of macroproperties.” Another (...) objection is based on the possibility that there is no fundamental level but a “bottomless pit.”. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

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

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. The (...) internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

In his Finite and Infinite Goods, Robert Adams puts forward a theistic framework for ethics according to which finite objects of value become good through resembling God who is the infinite Good and is the source and criterion of goodness. One question that immediately arises regarding this theory is whether any resemblance to God is sufficient for goodness or not. Adams’ answer to this question is negative. He puts forward further qualifications that resemblances to God have to meet so that (...) they can constitute goodness in finite objects of value. In his God and Moral Law, Mark Murphy objects to these qualifications as inadequate for addressing the sufficiency question and puts forward his own suggestion as to how Adams’ theory has to be amended. In this paper I will first argue that Murphy’s suggestion for fixing the goodness as Godlikeness thesis is not an alternative to Adams’ proposed qualifications on resemblances to God and is best understood as an insightful interpretation and elaboration of Adams’ proposed qualifications. I will then show that as it stands, Murphy’s suggestion is not up to this task and itself is in need of reconstruction. Drawing on Judith Thomson’s discussions of goodness and virtue in her book Normativity, I will try to reconstruct Murphy’s suggestion and come up with an interpretation of Adams’ goodness as Godlikeness thesis that is more elaborate, informative, and plausible than Adams’ original formulation. (shrink)

In this paper I argue against Armstrong’s recent truthmaking account of possibility. I show that the truthmaking account presupposes modality in a number of different ways, and consequently that it is incapable of underwriting a genuine reduction of modality. I also argue that Armstrong’s account faces serious difficulties irrespective of the question of reduction; in particular, I argue that his Entailment and Possibility Principles are both false.

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)