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)

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)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (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)

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.

Our aim in this paper is to bring to light two sources of tension for Christian theists who endorse the principle of unrestricted composition, that necessarily, for any objects, the xs, there exists an object, y, such that the xs compose y. In Value, we argue that a composite object made of wholly valuable parts is at least as valuable as its most valuable part, and so the mereological sum of God and a wholly valuable part would be at least (...) as valuable as God; but Christian theism arguably demands that no concrete object other than God can be as valuable as God. And in Creation, we argue that the conjunction of theism and unrestricted composition, together with the claim that every concrete entity that is numerically distinct from God is created by God, implies that God is created by God. We conclude by examining the prospects of restricting the thesis of unrestricted composition to the domain of material or spatiotemporal objects as a way to sidestep the above arguments against the conjunction of Christian theism and unrestricted composition. (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)

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)

For as long as the Christian church has been working out its understanding of the second person of the Trinity, it has employed analytic philosophical reflection to sharpen theological comprehension. In recent times, there has been a rekindled appreciation for the employment of analytic reflection in the service of theology. Analytic theology has established itself as a way of doing theology that employs analytic philosophical analysis in the project of faith in divinely revealed truths seeking understanding. In this issue, the (...) fresh insights of analytic theology are applied to a theme most central to Christian theology—the Son of God. (shrink)

Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there is one and (...) only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

I explore the Because Constraint—the idea that moral facts depend on natural facts and that moral judgements ought to respect the dependence of moral facts on natural facts. I consider several issues concerning its clarification and importance.

Diachronic emergence has recently been characterised as transformation. This aims to capture the thought that the entities that emerge are radically new or different. Transformation is hence closely linked with a central (but rarely raised) challenge for all emergentists: how to account for the identity and individuation of entities involved in emergence. With this challenge in view, I develop and probe four interpretations of transformation: addition, replacement, fusion, and transubstantiation. Of those, transubstantiation provides the most plausible response to the challenge (...) about identity. Accordingly, diachronic emergence is a transformative process whereby an individual passes from one primary kind to another. (shrink)

Several philosophers have maintained in recent years that the endurance/perdurance debate is merely verbal: these prima facie distinct theories of objects’ persistence are in fact metaphysically equivalent, they claim. The present paper challenges this view. Three proposed translation schemes are examined; all are shown to be faulty. In the process, constructive reasons for regarding the debate as a substantive one are provided. It is also suggested that the theories may have differing practical implications.

In this review essay, I examine the central tenets of sociologist Dave Elder-Vass’s recent contribution to social ontology, as put forth in his book The Causal Power of Social Structures: Emergence, Structure and Agency. Elder-Vass takes issue with ontological individualists and maintains that social structures exist and have causal powers in their own right. I argue that he fails to establish his main theses: he shows neither that social structures have causal powers “in their own right” (in any sense of (...) this expression) nor that they exist. (shrink)

Quine ha promovido una forma de escepticismo sobre los juicios de modalidad de re que cuestiona su función y sugiere, en consecuencia, su eliminación. Wiggins, por su parte, ha argumentado que nuestros juicios ordinarios de individuación de objetos nos comprometen con un cierto esencialismo, con la aceptación de ciertos juicios de modalidad de re. Si Wiggins tuviera razón, tendríamos una respuesta potencial al escepticismo quineano de la función. Sin embargo, en este trabajo argumento que la propuesta de Wiggins es incapaz (...) de proporcionar una respuesta satisfactoria al escepticismo quineano, pues presupone aquello mismo que está en cuestión: los compromisos esencialistas se siguen sólo de la adopción previa de otros juicios de modalidad de re cuya función está precisamente en entredicho. Asimismo, argumento que esta misma conclusión puede extraerse de la consideración de algunas otras teorías contemporáneas de la individuación, similares a la de Wiggins. (shrink)

Is it metaphysically possible for a world to contain power properties but no nonpower properties? Recently, much progress has been made by powers theorists to defend the coherence of such a possibility. But unfortunately, it remains unclear how the powers in a power world are individuated. The problem is that the most obvious principle of individuation for properties in a power world is one that is circular. In this paper, it is argued that this circularity is generated by a modal (...) assumption, which is that different families of powers exist in different possible worlds. By rejecting this assumption, a noncircular principle of individuation for power properties can be formulated. Moreover, this solution is not ad hoc because there are independent reasons for rejecting the aforementioned modal assumption. (shrink)

According to the “received view” the disagreement between endurantism and perdurantism is ontological and concerns the existence of temporal parts of continuants. In a recent paper, argues that the ontological conception of these theories does not address the crucial point: explaining the way things persist. According to Wasserman, perdurantism is not just the view that things have temporal parts; it is the view that things persist by having temporal parts. Moreover, in the last decade an alternative understanding of the dispute (...) between endurantism and perdurantism, the so called “locative turn”, has lead to an understanding of these two theories as concerning crucially locational rather than mereological notions. Our main aim in this paper is to bring together those two revisionary approaches to the received view, and show how they can enrich each other and open up further dimension of the debate. Finally in the last section we focus on some of the non-standard accounts of persistence and location that arise from this approach, such as “autonomism of persistence and location” and “reverse locational endurantism/perdurantism”. (shrink)

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)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

How does God govern the world? For many theists “laws of nature” play a vital role. But what are these laws, metaphysically speaking? I shall argue that laws of nature are not external to the objects they govern, but instead should be thought of as reducible to internal features of properties. Recent work in metaphysics and philosophy of science has revived a dispositionalist conception of nature, according to which nature is not passive, but active and dynamic. Disposition theorists see particulars (...) as being internally powerful rather than being governed by external laws of nature, making external laws in effect ontologically otiose. I will argue that theists should prefer a dispositionalist ontology, since it leads them toward the theory of concurrentism in divine conservation, rather than occasionalism, and revives the distinction between internal and external teleology. God on this view does not govern the world through external laws of nature, but rather through internal aspects of powerful properties. (shrink)

Something is good insofar as it achieves its end, so says a neo-Aristotelian view of goodness. Powers/dispositions are paradigm cases of entities that have an end, so say many metaphysicians. A question therefore arises, namely, can one account for neo-Aristotelian goodness in terms of an ontology of powers? This is what I shallbeginto explore in this paper. I will first provide a brief explication of both neo-Aristotelian goodness and the metaphysics of powers, before turning to investigate whether one can give (...) an account of neo-Aristotelian goodness in terms of powers. I will suggest that the answer to this question is yes. (shrink)

In my argument for subject body dualism criticized by Ludwig I use the locution of a genuine and factual difference between two possibilities. Ludwig distinguishes three interpretations of this locution. According to his analysis the argument does not go through on any of these interpretations. In my response I agree that the argument is unsuccessful if ‘factual difference’ is understood in the first way. The second reading—according to a plausible understanding—cannot be used for the argument either. The discussion of this (...) reading raises fundamental issues about different notions of propositional content. I disagree with Ludwig's diagnosis with respect to the third reading. Contrary to Ludwig's claim, there is no modal error involved if ‘factual difference’ is understood in the third way. Ludwig's objection to the argument according to its third reading can be answered by pointing out that every individual has its identity conditions necessarily. At this point fundamental and general metaphysical issues (concerning the link between identity conditions and the nature of ontological categories and between transworld and transtemporal identity) prove relevant. Finally, I make more explicit how ‘factual difference’ should be understood in the context of the argument (this is a fourth reading not considered by Ludwig) and explain how this reading strengthens the argument (compared to the third reading) by weakening its central premise. I conclude that Ludwig's attempt at undermining the argument from transtemporal identity for subject body dualism is unsuccessful. (shrink)

This paper investigates the interaction between semantic theories for cp-laws (roughly, laws that hold “all things equal”) and metaphysical theories of kinds in the special sciences. Its central conclusion is that cp-laws concerning kinds behave differently from cp-laws concerning non-kinds: “ravens are black” which concerns the kind corvus corax, behaves differently from from “albino ravens are white” which concerns the non-kind grouping of albino ravens. I argue that this difference is in the first instance logical: the two sorts of cp-laws (...) give rise to different inferential patterns. I draw two further conclusions. The difference in logical behavior poses a severe problem for extant semantic theories of cp-laws, and: we cannot elucidate the distinction between kinds and non-kinds by suggesting that only kinds can appear in laws. (shrink)

The most basic divide amongst analytic metaphysicians separates realists from anti-realists. By examining certain characteristic and problematic features of these two families of views, we uncover their underlying metametaphysicalorientations, which turn out to coincide. This shared philosophical picture that underlies both the realist and the anti-realist project we call the Modern Picture. It rests on a crucial distinction between reality as it is for us and reality as it is in itself. It is argued that this distinction indeed generates the (...) realism/anti-realism dichotomy, and is also responsible for the problematic aspects highlighted earlier. We conclude by sketching an alternative philosophical picture that rejects the distinction between reality as it is for us and reality as it is in itself, which we call the Aristotelian Picture, and consider whether it is able to avoid the issues to which the Modern Picture gives rise. (shrink)

Power enthusiasts are engaged in two projects: developing a decent metaphysical account of powers, and applying that account in order to make progress on various other philosophical issues, ranging from narrowly related topics such as causality to further removed ones such as free will, reasoning, or perception. I argue that an intermediate step may be taken, one that explores ‘varieties of power’ while still staying within the realm of, of ‘pure’ powers metaphysics. Taking this intermediate step provides a much more (...) interesting basis for those involved in project, ‘applied’ powers metaphysics. I articulate four such varieties of power by exploring various dimensions in which the explanatory profile of a power can be extended. I then briefly survey how these relate to various further metaphysical issues. (shrink)

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (shrink)

In his 1975 paper “The Meaning of ‘Meaning’”, Hilary Putnam famously argued for semantic externalism. Little attention has been paid, however, to the fact that already in 1973, Putnam had presented the idea of the linguistic division of labor and the Twin Earth thought experiment in his comment on Wilfrid Sellars’s “Meaning as Functional Classification” at a conference, and Sellars had replied to Putnam from a broadly inferentialist perspective. The first half of this paper aims to trace the development of (...) Putnam’s semantic externalism, situate his debate with Sellars in it, and reconstruct the two arguments he presented against Sellars. The second half of this paper aims to reconstruct how Sellars replied to Putnam. I argue that Sellars not only accepts the social character of language but also suggests how inferentialists can accommodate the contribution of the world. Sellars’s key idea is that substance terms have a “promissory note aspect” which is to be cashed out in a successor conceptual framework. I reconstruct Sellars’s position as ideal successor externalism, and compare it with temporal externalism. (shrink)

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

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is obliged to (...) resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

Can institutional objects be identified with physical objects that have been ascribed status functions, as advocated by John Searle in The Construction of Social Reality (1995)? The paper argues that the prospects of this identification hinge on how objects persist – i.e., whether they endure, perdure or exdure through time. This important connection between reductive identification and mode of persistence has been largely ignored in the literature on social ontology thus far.

In The Fragmentation of Being, Kris McDaniel argues for ontological pluralism, proposing that we should accept not just being itself but also modes of being into which being fragments. McDaniel’s guiding idea is that being is analogous, and given the analogy of being, being should be taken to fragment into modes of being. I argue that even if McDaniel is right that being is analogous, ontological pluralism is not forced upon us. Given the analogy of being, objects don’t have being (...) simpliciter but have it in virtue of having something more fundamental particular to them. Upon examination, this falls short of supporting ontological pluralism, for the analogy of being implies that there are many grounds of being, but we are given no good reason for taking grounds of being as modes of being. (shrink)

F. H. Bradley’s relation regress poses a difficult problem for metaphysics of relations. In this paper, we reconstruct this regress argument systematically and make its presuppositions explicit in order to see where the possibility of its solution or resolution lies. We show that it cannot be answered by claiming that it is not vicious. Neither is one of the most promising resolutions, the relata-specific answer adequate in its present form. It attempts to explain adherence (relating), which is a crucial component (...) of the explanandum of Bradley’s relation regress, in terms of specific adherence of a relational trope to its relata. Nevertheless, since we do not know the consequences and constituents of a trope adhering to its specific relata, it remains unclear what specific adherence is. It is left as a constitutively inexplicable primitive. The relata-specific answer only asserts against Bradley. This negative conclusion highlights the need for a metaphysical account of the constitution of the holding of adherence. (shrink)

In the debate on personal identity, different criteria of identity are proposed and defended. The criteria of identity have usually been taken to state the necessary and sufficient conditions of identity and are interpreted as providing truth conditions for relevant identity statements. The Simple View of personal identity is the thesis that there are no noncircular and informative metaphysical criteria of identity for persons. The paper intends to first deliver a precise and general formulation of the Simple View, and, second, (...) to present the various arguments in favour of the doctrine in question. It argues that there are no other facts of the matter than identity itself which could serve as the truth-conditions of identity statements. The considerations presented in the paper lead to the conclusion that, although the Simple View is faced with many theoretical difficulties, it is still a lively intellectual position in the debate on personal identity. (shrink)

The main aim of the paper is to reconstruct and analyse two methodological approaches to the problem of universals, presented in Bocheński’s papers “Powszechniki jako treści cech w filozofii św. Tomasza z Akwinu” and “The Problem of Universals.” It is argued that, although these approaches are rather different from historical and methodological points of view, they are still based on the same ontological ground, viz. on immanent realism. The article provides a detailed analysis and comparison of the respective views. Justification (...) is provided for the claim that Bocheński was an immanent realist and some of Bocheński’s detailed solutions are highlighted that may be of particular importance for further debate over the problem of universals. A couple of minor critical comments concerning some of Bocheński’s analyses are presented at the end of the paper. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

A world where there exists n concrete things is a count-determinate world. The orthodox view is count-determinacy is necessary; if to be is to be the value of a variable and the domain of quantification is enumerable, count-determinacy follows. Yet I argue how many there are can be indeterminate; count-indeterminacy is metaphysically possible and even likely actual. Notably, my argument includes rebuttals of Evans’ reductio of indeterminate identity and the Lewis/Sider ‘argument from vagueness’. Count-indeterminacy should therefore be recognized as another (...) basic form of genuine metaphysical indeterminacy, in addition to types recently defend by Barnes, Williams, and Wilson. (shrink)

On the standard view for something to exist is for one thing to exist: in slogan form, to be is to be countable. E.J. Lowe argues something can exist without being countable as one, however. His primary example is homogenous “stuff,” i.e., qualitatively uniform and infinitely divisible matter. Lacking nonarbitrary boundaries and being everywhere the same, homogenous stuff lacks a principle of individuation that would yield countably distinct constituents. So, for Lowe, homogenous stuff is strongly uncountable. Olson rejects Lowe’s view (...) and defends the orthodox connection between existence and number. He argues that if there is any stuff, there is a number of portions of stuff. Sider also rejects a stuff ontology, claiming it is incompatible with his preferred view that the familiar quantifiers of predicate logic carve at nature’s joints. Against these arguments, I defend the uncountability of stuff and the possibility of existence without countability. If to be is to be countable, more is needed than the arguments that Olson and Sider provide. (shrink)

The ubiquitous schema ‘All Fs are Gs’ dominates much philosophical discussion on laws but rarely is it shown how actual laws mentioned and used in science are supposed to fit it. After consideration of a variety of laws, including those obviously conditional and those superficially not conditional, I argue that we have good reason to support the traditional interpretation of laws as conditionals of some quantified form with a single object variable. I show how this conclusion impacts on the status (...) of ‘system laws’ and the significance of having only one object variable with regard to the relationship between laws and causal relations. (shrink)

We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We shall call this view conceptual predication (...) sortalism and ground it on the basis of epistemic-semantic reasons. Concepts are understood as intersubjectively realizable capacities or abilities that fulfill particular cognitive roles, such as those of classification, categorization, individuation, and referring. (shrink)

In this paper I will argue against a view that I call foundationalism about persistence-conditions. The core of this view is that composite physical objects have their specific persistence-conditions in virtue of these conditions being fulfilled by the object’s physical constituents at various times. I will provide two arguments – the argument from the possibility of instantaneous objects and the argument from the presence of persistence-conditions – which show that this view is untenable. These arguments will also point towards a (...) more adequate understanding of what it means for an object to have certain persistence-conditions. I will expound this understanding and suggest, on its basis, an unorthodox, hylomorphist account of the persistence-conditions of objects. (shrink)

Sometimes in philosophy one view engenders another. If you hold the first, chances are you hold the second. But it’s not always because the first entails the second. Sometimes the tie is less clear, less clean. One such tie is between substance dualism and anti-criterialism. Substance dualism is the view that people are, at least in part, immaterial mental substances. Anti-criterialism is the view that there is no criterion of personal identity through time. Most philosophers who hold the first view (...) also hold the second. In fact, many philosophers just assume that substance dualists ought to, or perhaps even have to, accept anti-criterialism. But I aim to show that this assumption is baseless. Substance dualism doesn’t entail, suggest, support, or in any way motivate anti-criterialism, and anti-criterialism confers no benefit on dualism. Substance dualists have no special reason—and, indeed, no good reason at all—to accept anti-criterialism. Or so I shall argue. My aim isn’t to defend substance dualism, nor is it to attack anti-criterialism. My aim is to show that, contrary to a long-standing trend, dualists needn’t be anti-criterialists. Nor, as it will turn out, should they be. (shrink)

In virtue of what do things persist through time? Are there criteria of their identities through time? Anti-criterialists say no. One prominent challenge to anti-criterialism comes in two steps. The first step is to show that anti-criterialists are committed specifically to the claim that there are no informative metaphysically sufficient conditions for identity through time. The second step is to show that this commitment yields absurd results. Each step of this challenge is open to objection. However, in what follows, I (...) will refortify this challenge to anti-criterialism by offering new reasons to take each step. (shrink)

Most theists believe that they will survive death. Indeed, they believe that any given person will survive death and persist into an afterlife while remaining the very same person. In light of this belief, one might ask: how—or, in virtue of what—do people survive death? Perhaps the most natural way to answer this question is by appealing to some general account of personal identity through time. That way one can say that people persist through the time of their death in (...) the same way that people persist through time in general. Then the obvious question is: how—or, in virtue of what—do people persist through time in general? Many different answers to this question have been proposed. Some philosophers think that personal identity through time consists in something, such as psychological or biological continuity. They think that there are informative necessary and sufficient conditions—i.e., criteria—for personal identity through time. These philosophers are criterialists. Other philosophers are anti-criterialists. Anti-criterialists believe that people persist through time, but they deny that there are any informative criteria for personal identity through time. In this paper I develop a challenge to anti-criterialism. I begin by spelling out the commitments of anti-criterialism. Then I argue that there are good reasons for anyone to reject anti-criterialism. And then I argue that theists have special reasons to reject anti-criterialism (This is particularly important and noteworthy because a substantial portion of those who defend anti-criterialism are theists. Examples include [but may not be limited to] Trenton Merricks, Richard Swinburne, Joseph Butler, and Thomas Reid). I conclude that there is an informative criterion for personal identity through time and death, even if we haven’t heard of it yet. (shrink)