Three popular views regarding the modal status of the laws of nature are discussed: Humean Supervenience, nomic necessitation, and scientific/dispositional essentialism. These views are examined especially with regard to their take on the apparent modal force of laws and their ability to explain that modal force. It will be suggested that none of the three views, at least in their strongest form, can be maintained if some laws are metaphysically necessary, but others are metaphysically contingent. Some reasons for thinking that (...) such variation in the modal status of laws exists will be presented with reference to physics. This drives us towards a fourth, hybrid view, according to which there are both necessary and contingent laws. The prospects for such a view are studied. (shrink)

Ontic Structural Realism is a version of realism about science according to which by positing the existence of structures, understood as basic components of reality, one can resolve central difficulties faced by standard versions of scientific realism. Structures are invoked to respond to two important challenges: one posed by the pessimist meta-induction and the other by the underdetermination of metaphysics by physics, which arises in non-relativistic quantum mechanics. We argue that difficulties in the proper understanding of what a structure is (...) undermines the realist component of the view. Given the difficulties, either realism should be dropped or additional metaphysical components not fully endorsed by science should be incorporated. (shrink)

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

Philosophers have long been interested in a series of interrelated questions about natural kinds. What are they? What role do they play in science and metaphysics? How do they contribute to our epistemic projects? What categories count as natural kinds? And so on. Owing, perhaps, to different starting points and emphases, we now have at hand a variety of conceptions of natural kinds—some apparently better suited than others to accommodate a particular sort of inquiry. Even if coherent, this situation isn’t (...) ideal. My goal in this article is to begin to articulate a more general account of ‘natural kind phenomena’. While I do not claim that this account should satisfy everyone—it is built around a certain conception of the epistemic role of kinds and has an obvious pragmatic flavour—I believe that it has the resources to go further than extant alternatives, in particular the homeostatic property cluster view of kinds. (shrink)

The goal of this paper is to critically examine the objections of John Locke’s contemporaries against the theory of substance or substratum. Locke argues in Essay that substratum is the bearer of the properties of a particular substance. Locke also claims that we have no knowledge of substratum. But Locke’s claim about our ignorance as to what substratum is, is contentious. That is, if we don’t know what substratum is, then what is the point of proposing it as a bearer (...) of properties? This question underlies the criticism Locke’s contemporaries raise against the notion of substratum. In section I, I lay out the context for Locke’s theory of substratum by pointing out his main motivation in proposing his theory. In section II, I give a brief analysis of the theory of substratum. In section III, I discuss the objections of Locke’s contemporaries against the theory of substratum.1 I focus on Edward Stillingfleet, Lee Henry, G. W. Leibniz and John Sergeant. In section IV, I conclude that there is no warrant to dismiss Locke’s theory of substance. (shrink)

Notoriously, the dispositional view of natural properties is thought to face a number of regress problems, one of which points to an epistemological worry. In this paper, I argue that the rival categorical view is also susceptible to the same kind of regress problem. This problem can be overcome, most plausibly, with the development of a structuralist epistemology. After identifying problems faced by alternative solutions, I sketch the main features of this structuralist epistemological approach, referring to graph-theoretic modelling in the (...) process. Given that both the categoricalists and dispositionalists are under pressure to adopt this same epistemological approach in light of the regress problem, this suggests that the categoricalist versus dispositionalist debate is best fought on metaphysical rather than epistemological grounds. (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

The focus of this article is the view about fundamental natural properties known as dispositional monism. This is a holistic view about nature, according to which all properties are essentially interrelated. The general question to be addressed concerns what kinds of features relational structures of properties should be thought to have. I use Bird's graph-theoretic framework for representing dispositional structures as a starting point, before arguing that it is inadequate in certain important respects. I then propose a more parsimonious graph-theoretic (...) system, which, among other things, overhauls Bird's distinction between stimulus and manifestation relations. (shrink)

My aim in this article is to contribute to the larger project of assessing the relative merits of different theories of substance. An important preliminary step in this project is assessing the explanatory resources of one main theory of substance, the so-called bundle theory. This article works towards such an assessment. I identify and explain three distinct explanatory challenges an adequate bundle theory must meet. Each points to a putative explanatory gap, so I call them the Gap Challenges. I consider (...) three bundle-theoretic strategies for meeting these challenges. I argue that none of them goes very far. The upshot is that, absent other strategies for meeting the challenges, bundle theory involves a significant amount of stipulation. This black box makes bundle theory relatively weak with respect to its explanatory power—unless, of course, rival theories of substance are unable to do better. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

Though physicalism remains the most popular position in the metaphysics of mind today, there is still considerable debate over how to retain a plausible account of mental concepts consistently with a physicalistic world view. Philip Goff (Australasian Journal of Philosophy 89(2), 191–209, 2011) has recently argued that physicalism cannot give a plausible account of our phenomenal concepts, and that as such, physicalism should be rejected. In this paper I hope to do three things, firstly I shall use some considerations from (...) ontology to rebut Goff’s argument and consider some objections and replies. Secondly, I shall outline a version of a posteriori physicalism about phenomenal consciousness which draws on this particular ontology. Thirdly, I shall give support to this version of physicalism by arguing that it marries well with prominent theories in cognitive science, and has important advantages over other versions of a posteriori physicalism. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

Powers are popularly assumed to be distinct from, and dependent upon, inert qualities, mainly because it is believed that qualities have their nature independently of other properties while powers have their nature in virtue of a relation to distinct manifestation property. George Molnar and Alexander Bird, on the other hand, characterize powers as intrinsic and relational. The difficulties of reconciling the characteristics of being intrinsic and at the same time essentially related are illustrated in this paper and it is argued (...) that the reasons for thinking of powers as essentially relational are based on misguided epistemological consideration. Finally, I present a way of thinking of fundamental properties as primitive natures that we can only understand in virtue of what they do but which we should not think of as being ontologically constituted by these doings. According to this view, properties are both qualities and powers. (shrink)

This paper is the first trope-theoretical reply to E. J. Lowe’s serious dilemma against trope nominalism in print. The first horn of this dilemma is that if tropes are identity dependent on substances, a vicious circularity threatens trope theories because they must admit that substances are identity dependent on their constituent tropes. According to the second horn, if the trope theorist claims that tropes are identity independent, she faces two insurmountable difficulties. (1) It is hard to understand the ontological dependence (...) of tropes on substances. (2) The identity-conditions of tropes cannot be determinate, which threatens the determination of the identity-conditions of substances. Our reply to the first horn of Lowe’s dilemma is to deny the identity dependence of tropes. Yet we can avoid the second horn because our theory can explain the ontological dependence of tropes on substances and the fully-determined identity-conditions of both tropes and substances. (shrink)

One of the traditional desiderata for a metaphysical theory of laws of nature is that it be able to explain natural regularities. Some philosophers have postulated governing laws to fill this explanatory role. Recently, however, many have attempted to explain natural regularities without appealing to governing laws. Suppose that some fundamental properties are bare dispositions. In virtue of their dispositional nature, these properties must be (or are likely to be) distributed in regular patterns. Thus it would appear that an ontology (...) including bare dispositions can dispense with governing laws of nature. I believe that there is a problem with this line of reasoning. In this essay, I’ll argue that governing laws are indispensable for the explanation of a special sort of natural regularity: those holding among categorical properties (or, as I’ll call them, categorical regularities). This has the potential to be a serious objection to the denial of governing laws, since there may be good reasons to believe that observed regularities are categorical regularities. (shrink)

Are there disjunctive properties? This question is important for at least two reasons. First, disjunctive properties are invoked in defense of certain philosophical theories, especially in the philosophy of mind. Second, the question raises the prior issue of what counts as a genuine property, a central concern in the metaphysics of properties. I argue here, on the basis of general considerations in the metaphysics of properties, that there are no disjunctive properties. Specifically, I argue that genuine properties must guarantee similarity-in-a-respect (...) among their instances, and must inhere in their bearers (two notions to be clarified). Disjunctive properties would fail both requirements. I compare the case of disjunctive properties with “mere Cambridge properties,” determinable properties, and functional properties, and show how my conception of properties remains compatible with determinables and functional properties while ruling out disjunctive and mere Cambridge properties. (shrink)

This paper seeks to give an account of what it is for an individual to instantiate thisness (i.e. primitive individual essence). Thisnesses are peculiar entities, and even those who endorse their existence and instantiation by objects/entities, have said very little about how an individual and its thisness are related. My approach will be to seek out a model for the instantiation of thisness by canvassing broadly Aristotelian accounts of the substance/attribute relation, and then by making appropriate modifications to the most (...) likely candidates in order to accommodate an individual's instantiation of thisness. What will emerge is that the model with the most utility makes thisness redundant in the case of material substances. Nonetheless, I will suggest that a version of the model can be appropriately applied in the case of other individuals which might instantiate thisness: for example, events (where these are conceived as a fundamental category of ontology distinct from material substances). (shrink)

The ontology of ‘powerful qualities’ is gaining an increasing amount of attention in the literature on properties. This is the view that the so-called categorical or qualitative properties are identical with ‘dispositional’ properties. The position is associated with C.B. Martin, John Heil, Galen Strawson and Jonathan Jacobs. Robert Schroer ( 2012 ) has recently mounted a number of criticisms against the powerful qualities view as conceived by these main adherents, and has also advanced his own (radically different) version of the (...) view. In this paper I have three main aims: firstly, I shall defend the ontology from his critique, arguing that his criticisms do not damage the position. Secondly, I shall argue that Schroer’s own version of the view is untenable. Thirdly, the paper shall serve to clear up some conceptual confusions that often bedevil the powerful qualities view. (shrink)

The paper aims to elucidate in better detail than before the dispute about whether or not dispositional monism—the view that all basic properties are pure powers—entails a vicious infinite regress. Particular focus is on Alexander Bird's and George Molnar's attempts to show that the arguments professing to demonstrate a vicious regress are inconclusive because they presuppose what they aim to prove, notably that powers are for their nature dependent on something else. I argue that Bird and Molnar are mistaken. It (...) is true that dispositional monism is popularly assumed to characterize powers as dependent entities, but this is not what the arguments aim to prove. They merely aim to demonstrate that it would be absurd to assume that all properties are dependent in this way. Finally, it is argued that there is an unresolved tension in Bird's and Molnar's accounts of powers. They characterize them as being for their nature dependent on the manifestations that they are for, and yet ontologically independent of those same manifestations. Until that tension is resolved, their accounts are not equipped to remove the threat of vicious regress. (shrink)

The epistemology of essence is a topic that has received relatively little attention, although there are signs that this is changing. The lack of literature engaging directly with the topic is probably partly due to the mystery surrounding the notion of essence itself, and partly due to the sheer difficulty of developing a plausible epistemology. The need for such an account is clear especially for those, like E.J. Lowe, who are committed to a broadly Aristotelian conception of essence, whereby essence (...) plays an important theoretical role. In this chapter, our epistemic access to essence is examined in terms of the a posteriori vs. a priori distinction. The two main accounts to be contrasted are those of David S. Oderberg and E.J. Lowe. (shrink)

In the literature on free will, fatalism, and determinism, a distinction is commonly made between temporally intrinsic (‘hard’) and temporally relational (‘soft’) facts at times; determinism, for instance, is the thesis that the temporally intrinsic state of the world at some given past time, together with the laws, entails a unique future (relative to that time). Further, it is commonly supposed by incompatibilists that only the ‘hard facts’ about the past are fixed and beyond our control, whereas the ‘soft facts’ (...) about the past needn’t be. A substantial literature arose in connection with this distinction, though no consensus emerged as to the proper way to analyze it. It is time, I believe, to revisit these issues. The central claim of this paper is that the attempts to analyze the hard/soft fact distinction got off on fundamentally the wrong track. The crucial feature of soft facts is that they (in some sense) depend on the future. Following recent work on the notion of dependence, however, I argue that the literature on the soft/hard distinction has failed to capture the sense of dependence at stake. This is because such attempts have tried to capture softness in terms of purely modal notions like entailment and necessitation. As I hope to show, however, such notions cannot capture the sort of asymmetrical dependence relevant to soft facthood. Arguing for this claim is the first goal of this paper. My second goal is to gesture towards what an adequate account of soft facthood will really look like. (shrink)

Marc Lange and Ann Whittle have independently developed an important challenge to dispositionalism, arguing that dispositions are reducible to primitive subjunctive facts. I argue in reply that by pairing dispositionalism with a certain version of natural-kind essentialism, their objection can be overcome. Moreover, such a marriage carries further advantages for the dispositionalist. My aim is therefore two-fold: to defend dispositionalism, and to give the dispositionalist some new motivation to adopt natural-kind essentialism.

In this article, I explain how and why different attempts to defend absolute divine simplicity fail. A proponent of absolute divine simplicity has to explain why different attributions do not suppose a metaphysical complexity in God but just one superproperty, why there is no difference between God and His super-property and finally how a absolute simple entity can be the truthmaker of different intrinsic predications. It does not necessarily lead to a rejection of divine simplicity but it shows that we (...) may consider another conception of divine simplicity compatible with some metaphysical complexity in God. (shrink)

We articulate a view of natural kinds as complex universals. We do not attempt to argue for the existence of universals. Instead, we argue that, given the existence of universals, and of natural kinds, the latter can be understood in terms of the former, and that this provides a rich, flexible framework within which to discuss issues of indeterminacy, essentialism, induction, and reduction. Along the way, we develop a 'problem of the many' for universals.

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)

I defend (metaphysical) ground against recent, unanswered objections aiming to dismiss it from serious philosophical inquiry. Interest in ground stems from its role in the venerable metaphysical project of identifying which facts hold in virtue of others. Recent work on ground focuses on regimenting it. But many reject ground itself, seeing regimentation as yet another misguided attempt to regiment a bad idea (like phlogiston or astrology). I defend ground directly against objections that it is confused, incoherent, or fruitless. This vindicates (...) the very attempt to regiment ground. It also refocuses our attention on the genuine open questions about ground and away from the distracting, unpersuasive reasons for dismissing them. (shrink)

In this paper I argue that holes are not objects, but should instead be construed as properties or relations. The argument proceeds by first establishing a claim about angles: that angles are not objects, but properties or relations. It is then argued that holes and angles belong to the same category, on the grounds that they share distinctive existence and identity conditions. This provides an argument in favour of categorizing holes as one categorizes angles. I then argue that a commitment (...) to the existence of properties to be identified with holes provides sufficient resources to account for true claims about holes. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

Three basic positions regarding the nature of fundamental properties are: dispositional monism, categorical monism and the mixed view. Dispositional monism apparently involves a regress or circularity, while an unpalatable consequence of categorical monism and the mixed view is that they are committed to quidditism. I discuss Alexander Bird's defence of dispositional monism based on the structuralist approach to identity. I argue that his solution does not help standard dispositional essentialism, as it admits the possibility that two distinct dispositional properties can (...) possess the same stimuli and manifestations. Moreover, Bird's argument can be used to support the mixed view by relieving it of its commitment to quidditism. I briefly analyse an alternative defence of dispositional essentialism based on Leon Horsten's approach to the problem of circularity and impredicativity. I conclude that the best option is to choose Bird's solution but amend the dispositional perspective on properties. According to my proposal, the essences of dispositions are determined not directly by their stimuli and manifestations but by the role each property plays in the structure formed by the stimulus/manifestation relations. (shrink)

In this paper, it is argued that metaphysics, conceived as an inquiry into the ultimate nature of mind-independent reality, is a rationally indispensable intellectual discipline, with the a priori science of formal ontology at its heart. It is maintained that formal ontology, properly understood, is not a mere exercise in conceptual analysis, because its primary objective is a normative one, being nothing less than the attempt to grasp adequately the essences of things, both actual and possible, with a view to (...) understanding as far as we can the fundamental structure of reality as a whole. Accordingly, it is urged, the deliverances of formal ontology have a modal and epistemic status akin to those of other a priori sciences, such as mathematics and logic, rather than constituting rivals to the claims of the empirical sciences, such as physics. (shrink)

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their business, be it (...) logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

The work is the presentation of a logical theory - Logic in Reality (LIR) - and of applications of that theory in natural science and philosophy, including ...

Universals are usually considered to be universal properties. Since tropes are particular properties, if there are only tropes, there are no universals. However, universals might be thought of not only as common properties, but also as common aspects (“determinable universals”) and common wholes (“concrete universals”). The existence of these two latter concepts of universals is fully compatible with the assumption that all properties are particular. This observation makes possible three different trope theories, which accept tropes and no universals, tropes and (...) determinable universals and tropes and concrete universals. (shrink)

Metaphysicians eager to engage with substantive, thoughtful, and provocative issues will be happy with John Heil’s From an Ontological Point of View. The book represents not only a sustained defence of a specific metaphysical theory, but also of a specific way of doing metaphysics. Put ontology first, Heil urges us, in order to remember that the original fascination of metaphysics wasn’t the question ‘what must the world be like in order to correspond neatly to our use of language?’, but rather (...) the altogether more fundamental ‘what must the world be like?’. (shrink)

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

Non-Cartesian substance dualism maintains that persons or selves are distinct from their organic physical bodies and any parts of those bodies. It regards persons as ‘substances’ in their own right, but does not maintain that persons are necessarily separable from their bodies, in the sense of being capable of disembodied existence. In this paper, it is urged that NCSD is better equipped than either Cartesian dualism or standard forms of physicalism to explain the possibility of mental causation. A model of (...) mental causation adopting the NCSD perspective is proposed which, it is argued, is consistent with all that is currently known about the operations of the human central nervous system, including the brain. Physicalism, by contrast, seems ill-equipped to explain the distinctively intentional or teleological character of mental causation, because it effectively reduces all such causation to ‘blind’ physical causation at a neurological level. (shrink)

1 Non-reductive physicalists deny that there is any explanation of mentality in purely physical terms, but do not deny that the mental is entirely determined by and constituted out of underlying physical structures. There are important issues about the stability of such a view which teeters on the edge of explanatory reductionism on the one side and dualism on the other (see Kim 1998). 2 Save perhaps for eliminative materialism (see Churchland 1981 for a classic exposition). In fact, however, while.

The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

Natural kind essentialism is a specification of the intuitive idea that there are some mind-independent or objective categories in nature. These categories are thought to be characterised by a shared essence, which may involve intrinsic or extrinsic properties, mechanisms, or causal history. While the ontological basis of natural kinds has its roots in antiquity and especially Aristotle, the contemporary notion of a “natural kind” in philosophical discussion is often traced to William Whewell’s and John Stuart Mill’s work in the 1800s. (...) In its more modern form, natural kind essentialism was popularised in the 1970s mainly by Saul Kripke and Hilary Putnam. Traditionally, natural kind essentialism has been associated with intrinsic and microstructural properties, but contemporary work has made it clear that more refined versions of natural kind essentialism may have to accept extrinsic or relational essences. (shrink)

The present thesis explores some metaphysical issues concerning biochemical kinds and the relations between chemical and biological properties and phenomena. The main result of this thesis is that there is something sui generis about biochemical kinds. This result is motivated by two theoretical steps. The first is characterising biochemical functions as weakly emergent from the chemical structure [Chapter 3, Chapter 6]. The second is via an account for which biochemical kinds are natural categories [Chapter 4, Chapter 7]. The thesis comprises (...) four parts. Part I [Chapter 1, Chapter 2] aims to offer the methodological and conceptual tools that underpin this research. Chapter 1 presents the debate on the unity of science and the motivation of the research. Chapter 2 presents the account of natural kinds that will be used throughout the thesis. Part II [Chapter 3, Chapter 4] offers a detailed metaphysical analysis of the molecular gene. Chapter 3 argues that molecular genes are weakly emergent from nucleic acids. Chapter 4 argues that the category "molecular gene" can be deemed a natural kind, following the account presented in Chapter 2. Part III [Chapter 5, Chapter 6, Chapter 7] explores some of the themes related to biochemical kinds and generalises some of the results from Part II. Chapter 5 considers biochemical functions and how functional attribution should be interpreted for biochemical molecules. Chapter 6 considers the relation between biochemical functions and structure, spelt in terms of weak emergence and explores unity in biochemistry. Chapter 7 considers the topic of biochemical kinds per se and argues that biochemical kinds are natural categories. Part IV [Chapter 8] elucidates the main outcome and the implications that this research can have for future discussion in the philosophy and metaphysics of biochemistry and the unity of science. (shrink)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...) faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

This dissertation examines the practice of categorizing works of art and its relationship to art criticism. How a work of art is categorized influences how it is appreciated and criticized. Being frightening is a merit for horror, but a demerit for lullabies. The brushstrokes in Monet's "Impression, Sunrise" (1874) look crude when seen as a Neoclassical painting, but graceful when seen as an Impressionist painting. Many of the judgments we make about artworks are category-dependent in this way, but previous research (...) has rarely examined in depth the ontological structure of art categories, how they are generated and maintained, and how they function. This dissertation fills this gap. The proposal of this dissertation can be summarized as follows. Categories (especially genres) should be analyzed as clusters of rules that regulate the responses and behaviors of agents in the artworld. The visual mundaneness is a critical reason to consider Duchamp's "Comb" (1916) provocative, given the existence of the readymade as a set of rules that justifies such reasoning. The critical and appreciative practice of which categorization is a part is a social practice of making, declaring, proposing, reforming, and developing rules of appreciation. How we appreciate artworks, and how criticism guides our appreciation, is sensitive to how we categorize artworks. How we categorize artworks is sensitive to what categories have been set up in our community and which categories are active regarding each artwork. (shrink)

Ontologiset kategoriateoriat pyrkivät vastaamaan metafysiikan klassiseen ongelmaan: kysymykseen siitä, mihin eri kategorioihin oliot eli entiteetit jakaantuvat. Olioilla tarkoitetaan tässä mitä tahansa, joka on olemassa. Olevan kategoriat eli ontologiset kategoriat (lyhyesti kategoriat) ovat alustavasti olioiden hyvin yleisiä lajeja. Jäsenyys olioiden kategoriassa ei niinkään kerro sitä, mitä piirteitä oliolla on, vaan sen olemisen tavan ¬– miten se esimerkiksi on tai voi olla maailman rakenneosa. Esimerkkejä mahdollisista kategorioista ovat konkreettiset partikulaariset yksilöoliot (substanssit), ominaisuudet, relaatiot, prosessit, tapahtumat ja joukot. -/- 1. Mitä ovat ontologiset (...) kategoriateoriat -/- 2. Uusaristoteelinen realismi -/- 3. Russellilainen realismi -/- 4. Universaalikimpputeoriat -/- 5. Nominalismi: substanssi-modus-teoriat -/- 6. Trooppiteoriat -/- 7. Jyrkkä nominalismi -/- 8. Tapahtuma- ja prosessiontologiat -/- 9. Ontologisten kategorioiden tutkimus Suomessa -/- 10. Suositeltavaa jatkolukemista -/- 11. Lähteet . (shrink)

Properties have an important role in specifying different views on laws of nature: virtually any position on laws will make some reference to properties, and some of the leading views even reduce laws to properties. This chapter will first outline what laws of nature are typically taken to be and then specify their connection to properties in more detail. We then move on to consider three different accounts of properties: natural, essential, and dispositional properties, and we shall see that different (...) conceptions of properties also result in different views of the modal status of laws, such as the question of whether laws are metaphysically necessary or contingent. Finally, there are also important links specifically between properties, natural kinds, and laws of nature that deserve our attention. (shrink)