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)

The next generation of Geographic Information Systems is anticipated to automate some of the reasoning required for spatial analysis. An important step in the development of such systems is to gain a better understanding and corresponding modeling practice of when to apply arithmetic operations to quantities. The concept of extensivity plays an essential role in determining when quantities can be aggregated by summing them, and when this is not possible. This is of particular importance to geographic information systems, which serve (...) to quantify phenomena across space and time. However, currently, multiple contrasting definitions of extensivity exist, and none of these suffice for handling the different practical cases occurring in geographic information. As a result, analysts predominantly rely on intuition and ad hoc reasoning to determine whether two quantities are additive. In this paper, we present a novel approach to formalizing the concept of extensivity. Though our notion as such is not restricted to quantifications occurring within geographic information, it is particularly useful for this purpose. Following the idea of spatio-temporal controls by Sinton, we define extensivity as a property of measurements of quantities with respect to a controlling quantity, such that a sum of the latter implies a sum of the former. In our algebraic definition of amounts and other quantities, we do away with some of the constraints that limit the usability of older approaches. By treating extensivity as a relation between amounts and other types of quantities, our definition offers the flexibility to relate a quantity to many domains of interest. We show how this new notion of extensivity can be used to classify the kinds of amounts in various examples of geographic information. (shrink)

In E.J. Lowe's ontology, (individual) objects are property-bearers which 1) have identity and 2) are countable. This makes it possible to become or cease to be an object, by beginning or ceasing to fulfil one of these conditions. But the possibility of switching fundamental ontological categories should be excluded. Furthermore, Lowe does not show that “quasi-individuals” (which are not countable) can exist. I argue against Lowe that kinds cannot be property-bearers in a more genuine sense than properties, that they are (...) not absolutely countable, whether conceived according to science or common sense, and that they are dependent on individual objects. (shrink)

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the same (...) time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

In this paper I discuss a central objection against diseases being natural kinds—namely, that diseases are processes or transitions and hence they should not be conceptualized in the ‘substantish’ framework of natural kinds. I indicate that the objection hinges on conceiving disease kinds as phase kinds, in contrast to the non-phase, natural kinds of the exact sciences. I focus on somatic diseases and argue, via a representative comparison, that if disease kinds are phase kinds, then exact science kinds are phase (...) kinds as well. On the other hand, if exact science kinds are non-phase kinds, then disease kinds are non-phase kinds as well. This objection should thus be rejected, under a certain caveat, though. If natural kind membership has an influence over the diachronic identity of kind members, then it is possible, in principle, to draw the phase/non-phase distinction such that an ‘ontological gap’ lies between medical kinds and exact science kinds. I show further that this caveat is unavoidable even in relation to substantive universals and ‘essential’ properties—two controversial, strong features that were traditionally associated to natural kinds. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)