In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

The question whether numbers are objects is a central question in the philosophy of mathematics. Frege made use of a syntactic criterion for objethood: numbers are objects because there are singular terms that stand for them, and not just singular terms in some formal language, but in natural language in particular. In particular, Frege (1884) thought that both noun phrases like the number of planets and simple numerals like eight as in (1) are singular terms referring to numbers as abstract (...) objects. (shrink)

I defend an ontological distinction between three kinds of relation: internal,external and grounded relations. Even though, as we shall see, this trichotomy is basic, it is not found in influential contemporary metaphysics. Specifically, the widespread tendency, exemplified notably by David Armstrong, of not recognizing grounded relations as distinct from external relations, can be shown to be mistaken. I propose a definition of each of the three kinds of relation. Of vital importance to the parsimony of metaphysics, I also argue that (...) only external relations are ontologically fundamental. (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)

I defend a reading of David Hume’s nominalism that he comes close to Keith Campbell's contemporary trope theory in the specific case of spatial properties. I argue that Hume's view should be construed as classifying spatial properties as Campbellian tropes (particular properties): abstract, particular, determinate and qualitatively simple properties. This has implications for reconstructing Hume's answer to the problem of universals. I argue that Hume’s account of objects resembling each other in respect of spatial properties is grounded in the resemblance (...) of tropes rather than in the resemblance of objects. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

Our day-to-day experience of the world regularly brings us into contact with middlesized objects such as apples, dogs, and other human beings. These objects possess observable properties, properties that are available or accessible to the unaided senses, such as redness and roundness, as well as properties that are not so available, such as chemical ones. Both of these kinds of properties serve as valuable sources of information about our familiar middle-sized objects at least to the extent that they enable us (...) to understand the behaviours of those objects and their effects on each other and on us. I see the apple on the table before me, and in doing so I see its redness, its roundness, and so on. I do not see, but know that it has, a certain chemical constitution. The knowledge gained of the apple by means of both properties tells me something about the nature of that apple. In general, most, if not all, of the properties that objects in the observable world possess serve as the basis of our knowledge of such objects. But the subject-predicate form of much of our discourse and thought about objects suggests that substances are one kind of thing, properties another. We use subject terms such as names to identify objects, predicate terms to attribute properties to them. What, then, is it for an object to have a property? And what is the relation between an object and its properties? (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)

Contrary to widely shared opinion in analytic metaphysics, E.J. Lowe argues against the existence of relations in his posthumously published paper There are probably no relations (2016). In this article, I assess Lowe’s eliminativist strategy, which aims to show that all contingent “relational facts” have a monadic foundation in modes characterizing objects. Second, I present two difficult ontological problems supporting eliminativism about relations. Against eliminativism, metaphysicians of science have argued that relations might well be needed in the best a posteriori (...) motivated account of the structure of reality. Finally, I argue that, by analyzing relational inherence, trope theory offers us a completely new approach to relational entities and avoids the hard problems motivating eliminativism. (shrink)

In this chapter, we provide an opinionated introduction to contemporary trope bundle theories of substance. We assess different trope bundle theories on the grounds of their two main aims: to provide an adequate account of substances or objects by means of tropes and a reductive analysis of inherence, that is, object's having tropes as their properties. Our discussion begins by a presentation of Donald C. Williams’ and Keith Campbell's paradigmatic trope theories, which maintain that tropes are independent existents. After highlighting (...) the central problems of paradigmatic trope theories, we discuss two more recent developments of trope bundle theory that also take non-relational tropes as independent existents, Anna-Sofia Maurin's and Douglas Ehring's independence theories. Finally, we present two alternative trope bundle theories, according to which tropes are dependent existents, dependence theories, namely, Arda Denkel's Saturation theory and our Strong Nuclear Theory (SNT). Although the latter two theories introduce existential dependencies among tropes, we argue that dependence theories provide a more satisfactory account of substances dividing into natural kinds than independence theories. (shrink)

Whereas traditional nominalists accept the realist's challenge to solve a 'Problem of Universals', the Ostrich Nominalist responds that there is no such Problem to answer. I suggest that Ostrich Nominalist arguments expose a genuine flaw in the realist project. However, I argue, Ostrich Nominalism is ultimately defeated by a problem about the analysis of qualitative sameness and difference. Qualitative sameness and difference are adequately understood only as sameness or difference in some respect. The need to say what these respects of (...) sameness and difference are (if not universals) constitutes a genuine Problem of Universals; consequently—I claim—the Ostrich Nominalist is mistaken. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

Nominalizations of modal predicates have received little, if any, attention in the semantic or philosophical literature. This paper will argue that nominalizations of modal predicates require recognizing a novel ontological category of modal objects and it will outline a new semantics of modals based on modal objects.

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

Stanford Encyclopedia article surveying the life and work of D.C. Williams, notably in defending realism in metaphysics in the mid-twentieth century and in justifying induction by the logic of statistical inference.

Este artigo é uma breve introdução à filosofia da linguagem. Ele se concentra nos problemas que surgem a partir de dois conceitos centrais: referência e significado. Em particular, o foco central é no problema fundacional da referência e no problema descritivo do significado, assim como a relação entre eles. Embora esta de modo algum seja uma introdução exaustiva ao tema, muitos conceitos centrais são clarificados, como por exemplo teoria da referência, termo singular, termo geral, teoria do significado, composicionalidade, conteúdo, significado (...) linguístico, implicatura conversacional, vagueza, etc. Espera-se que sirva como um primeiro contato com a disciplina, principalmente voltado a estudantes de filosofia, filosofia da linguagem e áreas afins. (shrink)

My earlier attempt to develop a trope nominalist account of the relation between tropes and causal processes. In accordance with weak dispositional essentialism (Hendry & Rowbottom 2009), I remain uncommitted to full-blown necessity of causal functional laws. Instead, the existence of tropes falling under a determinable and certain kind of causal processes guarantee that corresponding functional laws do not have falsifying instances.

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

Several disputes about the nature of experience operate under the assumption that experiences have parts, including temporal parts. There's the widely held view, when it comes to temporal experiences, that we should follow James' exhortation that such experiences aren't mere successions of their temporal parts, but something more. And there's the question of whether it is the parts of experiences which determine whole experiences and the properties they have, or whether the determination goes instead from the whole to the parts, (...) as holists have it. But what are parts, or temporal parts, of experiences exactly—what does it mean to say that an experience is “part” of another? Are the participants in those disputes talking about the same thing—is there a univocal notion of “experiential part” available? Are there different kinds of experiential parts? And if there are, is there a systematic way of carving them out? More importantly, how should we conceive of the temporal parts of experiences, and how can we establish that experiences really do have temporal parts, against those who reject the notion? (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

De um modo geral, queríamos mostrar que a filosofia tem suas próprias áreas, mas tem também subáreas em interdisciplinaridade com as ciências. As ciências e as disciplinas acadêmicas em geral têm problemas, cuja a solução pode ser encontrada empiricamente, por meio de experimentos, entrevistas, documentos, ou formalmente, por meio de cálculos etc, porém os problemas das filosofias dessas disciplinas são justamente os problemas mais fundamentais dessas disciplinas, que fundam o quadro conceitual e de pesquisa das mesmas, e que só poderiam (...) ser respondidos por meio de uma extensa argumentação. A filosofia de cada uma dessas disciplinas é uma mistura (a) de metafísica da disciplina, perguntando-se qual a natureza e justificação das entidades que formam o quadro teórico da disciplina, i.e., quais delas realmente existem na realidade (não sendo meros instrumentos para obter resultados) e quais as suas categorizações fundamentais, naturezas e funções teóricas, (b) de epistemologia dessa disciplina, ao nos perguntarmos sobre como tal área poderia obter conhecimento de modo confiável e se ela de fato o faz, e (c) de teorias do valor, ao nos perguntarmos, por exemplo, sobre qual o valor moral do desenvolvimento de uma certa disciplina e, finalmente, (d) a lógica, que perpassa tudo, ao nos perguntarmos sobre a consistência das teses assumidas pela disciplina. Não é à toa que falamos que a filosofia é mãe de todas as ciências. Ela é mãe tanto num sentido geracional, pois a maioria das ciências foram desenvolvimentos particulares, empíricos ou de cálculo, das questões filosóficas sobre um certo tema, quanto num sentido fundamental, pois é a filosofia que fornece os fundamentos mais gerais, metafísicos, epistêmicos, valorativos e lógicos, na construção do quadro teórico de cada ciência e na qualidade dos métodos para se aproximar da verdade que a disciplina utiliza. A biologia, por exemplo, foi criada por Aristóteles, tal como os primeiros desenvolvimentos da meteorologia (na verdade, esta começa com os pré-socráticos), e grande parte do fundamento da física atual jaz nas discussões de filosofia da física. Sendo você filósofo ou cientista de outra área, a filosofia promete te dar as bases para uma reflexão geral ou sobre sua área, que seja muito mais informada e profunda do que aquilo que você poderia realizar sem ela. /// In general, we wanted to show that philosophy has its own areas, but it also has subareas in interdisciplinarity with the sciences. The sciences and academic disciplines in general have problems, the solution of which can be found empirically, through experiments, interviews, documents, or formally, through calculations etc., but the problems of the philosophies of these disciplines are precisely the most fundamental problems. of these disciplines, which build their conceptual and research framework, and which could only be answered through extensive argumentation. The philosophy of each of these disciplines is a mixture (a) of metaphysics of the discipline, asking what is the nature and justification of the entities that form the theoretical framework of the discipline, ie, which ones really exist in reality (not being mere instruments for achieving results) and what are its fundamental categorizations, natures and theoretical functions, (b) the epistemology of this discipline, when we ask ourselves how such an area could obtain knowledge reliably and if it does, and (c) theories of value, when we ask ourselves, for example, about the moral value of the development of a certain discipline and, finally, (d) the logic, which permeates everything, when we ask ourselves about the consistency of the theses assumed by the discipline. It is not for nothing that we say that philosophy is the mother of all sciences. It is a mother both in a generational sense, as most sciences were particular empirical or formal developments of philosophical questions on a certain topic, and in a fundamental sense, as it is philosophy that provides the most general, metaphysical, epistemic, evaluative and logical foundations, in the construction of the theoretical framework of each science and in the quality of the methods to approach the truth that the discipline uses. Biology, for example, was created by Aristotle, like the first developments in meteorology (in fact, it starts with the pre-Socratics), and much of the foundation of current physics lies in discussions of the philosophy of physics. Whether you are a philosopher or scientist from another area, philosophy promises to give you the basis for a general reflection or about your area, which is much more informed and profound than what you could accomplish without it. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

It is a standard assumption in contemporary metaphysics that concrete objects come with a location in space and time. This applies not only to material objects and events, but also modes (such as the roundness of the apple, the softness of the pillow, Socrates' wisdom) and entities that have been called 'disturbances' (e.g. holes, folds, faults, and scratches). Taking the approach of descriptive metaphysics, I will show that modes and disturbances fail to have a bearer-independent spatial location. This allows for (...) a metaphysical explanation of the Chomskyan contrast between 'There is a fly believed to be in the bottle' and the unacceptable 'There is a flaw believed to be in the argument'. A subsidiary point this paper makes is that in their lack of a direct spatial location, modes need to be sharply distinguished from tropes as a category of foundationalist metaphysics that has been at the center of a pursuit of a one-category ontology since Williams (1953). (shrink)

In Zhong (Philos Phenomenol Res 83:129–147, 2011; Analysis 72:75–85, 2012), I argued that, contrary to what many people might expect, the counterfactual theory of causation will generate (rather than solve) the exclusion problem. Recently some philosophers raise an incisive objection to this argument. They contend that my argument fails as it equivocates between different notions of a physical realizer (see Christensen and Kallestrup in Analysis 72:513–517, 2012). However, I find that their criticism doesn’t threaten the central idea of my view. (...) In this paper, I make two separate responses that appeal to two unequivocal notions of physical realizers, respectively. I aim to show that a modified argument that uses either notion would work. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (shrink)

Tropes is a systematic investigation into the metaphysics of properties, aiming to motivate and defend trope theory, and more specifically Natural Class Trope Nominalism (NCTN). Ehring’s book treats an impressive span of relevant positions, considerations, debates and objections with charity and clarity; it’s also a real page-turner, at least if one has (as I do) a taste for analytic twists and turns.

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

Traditionally, many arguments for realism about properties rely on a priori claims. The author argues that if we make use of an abductive principle that is commonly employed by scientific realists, a new argument for property realism can be formulated which is based firmly in scientific practice. The abductive principle says that we should believe in the existence of certain theoretical entities if they figure in the best explanation for what scientists observe. The scientific argument for property realism then says (...) that the best explanation for various behavioural patterns that physical scientists observe is that microscopic entities instantiate stable, causally efficacious properties. After presenting the argument, the author defends it against possible objections. More generally, the article provides a case study for how science and metaphysics can work together to generate ontological claims. (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)

Nonreductive physicalism faces serious problems regarding causal exclusion, causal heterogeneity, and the nature of realization. In this paper I advance solutions to each of those problems. The proposed solutions all depend crucially on embracing modal counterpart theory. Hence, the paper’s thesis: counterpart theory saves nonreductive physicalism. I take as my inspiration the view that mental tokens are constituted by physical tokens in the same way statues are constituted by lumps of clay. I break from other philosophers who have pursued this (...) line, however, in that I hold that constitution is identity. Much of the value of the comparison to statues and lumps is that it calls to mind the resources used to defend constitution-as-identity, most notably that of counterpart theory. Along the way, I discuss the virtues of a trope ontology, modal objections to token identity theories, the prospects of conditional analyses of causal powers, the subset account of realization, and the grounding problem. I also endorse a novel, empirical argument in favor of counterpart theory. (shrink)

I offer a new response to the regress argument against pure powers ontologies. This involves rejecting an overlooked premiss, which is that a power’s manifestation is exhaustively accounted for by the powers involved in it. Rejection of this premiss not only answers the regress argument, but also brings with it wider metaphysical consequences, including a shift away from one-category ontologies.

Identity metaphysics finds identity or unity where other metaphysical theories find difference or diversity. It denies the fundamentality of ontological distinctions that other theories treat as fundamental. It’s opposed to separatism, which mistakes natural conceptual distinctions for ground-floor ontological differences. It proposes that the distinctions between the concepts substance, object, quality, property, process, state, and event are metaphysically superficial; so too the distinctions between the concepts energy, lawsofnature, force, causation, power, and naturalnecessity. So too the distinction between these two sets (...) of concepts. “Thinking takes apart what is really one”. (shrink)

The notion of “intentionality” is much invoked in various foundational theories of meaning, being very often equated with “meaning”, “content” and “reference”. In this paper, I propose and develop a basic distinction between two concepts and, more fundamentally, properties of intentionality: intentionality-T and intentionality-C. Representationalism is then defined as the position according to which intentionality-T can be reduced to intentionality-C, in the form of representational states. Nonrepresentationalism is rejecting this reduction, and argues that intentionality-T is more fundamental than intentionality-C. Non-representationalism (...) allows for a new layered view of the relations between cognitive intentionality and linguistic intentionality; this view is presented at the end of the paper. (shrink)

Many have written about trope ontology, but relatively few have considered its implications for some of the ontological conditions needed for us to have knowledge. I explore the resources of trope ontology to meet those conditions. With J. P. Moreland, I argue that, being simple, we can eliminate tropes’ qualitative contents without ontological loss, resulting in bare individuators. Then I extend Moreland’s argument, arguing that tropes undermine some of the needed ontological conditions for knowledge. Yet, we do know many things, (...) and trope nominalists presuppose that too. Therefore, I consider three counter-arguments, starting with David Lewis’s rebuttal based on appeal to brute facts. Second, I explore Jeffrey Brower’s recent proposal as a possible solution. Last, I consider Robert Garcia’s recent distinction between module and modifier tropes, to see if it can be of assistance. I conclude, however, that trope nominalism cannot preserve some of the needed ontology to have knowledge. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

It is often said by philosophers that the term ‘the universe’ is illegitimate, whether because the notion of ‘all things’ is incoherent, or inconsistent, or cannot even be meaningfully expressed. The reasons may be drawn from metaphysics, or logic, or the philosophy of language, or the philosophy of mathematics. In this essay I argue that the term is legitimate, withstanding all criticisms, and that there is a single best meaning for it, which is that it is a semantically plural term (...) standing equally for every existing object. ‘Forty‐two’, said Deep Thought, with infinite majesty and calm. (Douglas Adams, The Hitch‐Hiker's Guide to the Galaxy). (shrink)

This article aims to provide a new solution to the Logical Problem of the Incarnation by proposing a novel metaphysical reconstrual of the method of reduplicative predication. This reconstrual will be grounded upon the metaphysical thesis of ‘Ontological Pluralism, proposed by Kris McDaniel and Jason Turner, and the notion of an ‘aspect’ proposed by Donald L. M. Baxter. Utilising this thesis and notion will enable the method of reduplicative predication to be further clarified, and the central objection that is often (...) raised against this approach can be successfully answered. (shrink)

The paper presents some essential heuristic and constructional elements of Free Process Theory (FPT), a non-Whiteheadian, monocategoreal framework. I begin with an analysis of our common sense concept of activities, which plays a crucial heuristic role in the development of the notion of a free process. I argue that an activity is not a type but a mode of occurrence, defined in terms of a network of inferences. The inferential space characterizing our concept of an activity entails that anything which (...) is conceived of as occurring in the activity mode is a concrete,dynamic, non-particular individual. Such individuals, which I call free processes, may be used for the interpretation of much more than just common sense activities. I introduce the formal theory FPT, a mereology with anon-transitive part-relation, which contains a typology of processes based on the following five parameters relating to: (a) patterns of possible spatial and temporal recurrence (automerity); (b) kinds of components (participant structure); (c) kinds of dynamic composition; (d) kinds of dynamic flow (dynamic shape); and (e) dynamic context. I show how these five evaluative dimensions for free processes can be used to define ontological correlates for various common sense categories,and to draw distinctions between various forms of agency(distributed, collective, reciprocal, entangled) and emergence (weak, strong,as autonomous system (Bickhard/Christensen)). (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.

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

I discuss an argument for the monistic idea that the cosmos is the one and only fundamental thing, drawing on the idea that the cosmos is the one and only thing that evolves by the fundamental laws.