In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances, qualities, roles, functions; in SPAN we have perduring entities such as (...) processes and their parts and aggregates. We argue that both kinds of ontological theory are required in order to give a non-reductionism account of complex domains of reality. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

Classical systems of mereology identify a maximuml set of jointly exhaustive and pairwise disjoint (RCC5) relations. The amount of information that is carried by each member of this set of (crisp) relations is determined by the number of bits of information that are required to distinguish all the members of the set. It is postulated in this paper, that vague mereological relations are limited in the amount of information they can carry. That is, if a crisp mereological relation can carry (...) N bits of information, then a vague mereological relation can carry only 1 ⩽ n < N bits. The aim of this paper is it to explore these ideas in the context of various systems of vague mereological relations. The resulting formalism is non-classical in the sense of quantum information theory. (shrink)

In R. Holte and A. Howe (eds.), Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07).

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

In the criminal law, the law of attempts is of comparatively recent vintage. It is part of an important contemporary legal trend towards early intervention in the criminal process. There are now a substantial number of crimes on the books that, like the crime of attempt, only require that the perpetrator start down the road to carrying out his criminal intentions and do not require him actually to have harmed his victim. Besides the law of attempts, these new crimes include (...) conspiracy and solicitation, forgery and counterfeiting, the possession offences, even corruption of youth. In all these cases, the law is stepping in to forestall harm, rather than waiting until a harm has already happened. (shrink)

In the criminal law, the law of attempts is of comparatively recent vintage. It is part of an important contemporary legal trend towards early intervention in the criminal process. There are now a substantial number of crimes on the books that, like the crime of attempt, only require that the perpetrator start down the road to carrying out his criminal intentions and do not require him actually to have harmed his victim. Besides the law of attempts, these new crimes include (...) conspiracy and solicitation, forgery and counterfeiting, the possession offences, even corruption of youth. In all these cases, the law is stepping in to forestall harm, rather than waiting until a harm has already happened. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

This paper contends that an effective way to elicit student interest in philosophical problems is to engage them in controversies they care about. The author describes an exercise that introduces basic elements of rational discourse, e.g. truth, belief, facts, rational disagreement, by questioning whether there any matters of opinion. In addition to providing an argument why there are no matters of opinion, the paper describes standard student responses and counterexamples to being told there are no matters of opinion, and offers (...) suggestions on how best to respond to said responses. (shrink)

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

According to the prevalent 'sum view' of stuffs, each portion of stuff is a mereological sum of its subportions. The purpose of this paper is to re-examine the sum view in the light of a modal temporal mereology which distinguishes between different varieties of summation relations. While admitting David Barnett's recent counter-example to the sum view, we show that there is nonetheless an important sense in which all portions of stuff are sums of their subportions. We use our summation relations (...) to develop, as an alternative to the sum view, an analysis of stuffs that distinguisher between the ways in which different sorts of stuffs are sums of their subportions. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...) a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...) efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

Recent experiments performed by Benjamin Libet, a brain physiologist, have raised an interesting problem about the role of conscious decisions in the production of a simple voluntary movement. We ordinarily believe that, in many circumstances, the conscious decision to perform a simple action matters for the performance of that action. But, Libet has shown that by the time a person "freely" decides to flex her wrist, the distinctive brain processes that cause the movement to occur are already well under way. (...) He asked his subjects to perform a simple wrist movement "at will" and timed the occurrence of their conscious decision to move. What he found was that the chain of events that are to cause the movement are nearly complete before the subject is ever aware that she is about to move. ;I discuss and criticize both Libet's own philosophically charged solution to this problem and some of the other views, including Daniel Dennett's, that have been advanced in the recent literature on Libet's experiments. I argue that all of these responses to the problem are inadequate because they are based on mistaken assumptions about the nature of consciousness. I offer my own solution to the paradox, which is based on a more adequate theory of consciousness, one drawn in part from the work of D. M. Armstrong, and I assess some putative objections to this theory. (shrink)

Rüdiger Bittner surveys with a skeptical eye classic and contemporary ideas of Kantian autonomy. He allows that we can be more or less free in a modest (quasi-Hobbesian) sense and that many people may want more of this freedom from impediments that make it difficult or impossible to do various things. He argues, however, that high-minded general affirmations of human freedom are unfounded and not likely to retain their grip on our thinking. While acknowledging the value of Bittner’s (...) challenges, I raise questions about Bittner’s dismissal of ideas of freedom apparently imbedded in ordinary language and his critique of the idea of autonomy in Kant’s ethics and broadly Kantian theories. A key issue is how to make sense of the claim that a moral law can be a law and yet also self-imposed. Given certain background assumptions about Kant’s conception of autonomy of the will, the key claim requires different interpretations when it concerns the supreme moral law (the Categorical Imperative) and when it concerns more specific moral laws (for example, derivative principles in Kant’s Doctrine of Virtue). Bittner’s challenges are valuable because they require us to work out and articulate more carefully what we mean by autonomy and why it is important. As Bittner says, Kant’s idea of autonomy is not the same as the ideas of autonomy that appear in medicine, politics, and everyday life. Nevertheless, those who care about either have some reason to think about how these are connected. (shrink)

Rüdiger Bittner surveys with a skeptical eye classic and contemporary ideas of Kantian autonomy. He allows that we can be more or less free in a modest (quasi-Hobbesian) sense and that many people may want more of this freedom from impediments that make it difficult or impossible to do various things. He argues, however, that high-minded general affirmations of human freedom are unfounded and not likely to retain their grip on our thinking. While acknowledging the value of Bittner’s (...) challenges, I raise questions about Bittner’s dismissal of ideas of freedom apparently imbedded in ordinary language and his critique of the idea of autonomy in Kant’s ethics and broadly Kantian theories. A key issue is how to make sense of the claim that a moral law can be a law and yet also self-imposed. Given certain background assumptions about Kant’s conception of autonomy of the will, the key claim requires different interpretations when it concerns the supreme moral law (the Categorical Imperative) and when it concerns more specific moral laws (for example, derivative principles in Kant’s Doctrine of Virtue). Bittner’s challenges are valuable because they require us to work out and articulate more carefully what we mean by autonomy and why it is important. As Bittner says, Kant’s idea of autonomy is not the same as the ideas of autonomy that appear in medicine, politics, and everyday life. Nevertheless, those who care about either have some reason to think about how these are connected. (shrink)

A collection of 17 essays on Kantian moral theory and practical ethics, including papers on autonomy, human dignity, utopian thinking, O'Neill and Rawls on constructivism, tragic choices, philanthropy, conscientious object, suicide, respect, self-respect, and an ideal attitude of appreciation beyond art, nature, and gratitude. TABLE OF CONTENTS Abbreviations for Kant’s Works INTRODUCTION PART II: KANT AND KANTIAN PERSPECTIVES (1) The Groundwork (2) Kant on Imperfect Duties to Oneself (3) Kantian Autonomy and Contemporary Ideas of Autonomy (4) Rüdiger Bittner on (...) Autonomy (5) Kantian Perspectives on the Rational Basis of Human Dignity (6) In Defense of Human Dignity (7) The Kingdom of Ends as an Ideal and Constraint on Legislation (8) Kantian Ethics and Utopian Thinking (9) Varieties of Constructivism PART II: PRACTICAL ETHICS (10) Human Dignity and Tragic Choices (11) Duties and Choices in Philanthropic Giving: A Kantian Perspective (12) Killing Ourselves (13) Conscientious Conviction and Conscience (14) Stability, A Sense of Justice, and Self-Respect (15) Two Conceptions of Virtue (16) Beyond Respect and Beneficence: An Ideal of Appreciation (17) Ideals of Appreciation and Expressions of Respect REFERENCES INDEX . (shrink)

The volume brings together a collection of original papers on some of the main tenets of Joseph Raz's legal and political philosophy: Legal positivism and the nature of law, practical reason, authority, the value of equality, incommensurability, harm, group rights, and multiculturalism. James Griffin and Yael Tamir raise questions concerning Raz's notion of group rights and its application to claims of cultural and political autonomy, while Will Kymlicka and Bernhard Peters examine Raz's theory of multicultural society. Lukas Meyer investigates the (...) applicability of the notion of harm in the intergenerational context. Other papers are devoted to fundamental theoretical tenets of Raz's work. Hillel Steiner and Andrei Marmor examine Raz's account of value pluralism and incommensurability in light of what these authors consider to be goods whose equal distribution must be valued for its own sake. Robert Alexy and Timothy Endicott discuss traditional issues of jurisprudence and legal philosphy with special attention to Raz's contribution. Rüdiger Bittner, Bruno Celano, and J. E. Penner discuss and criticize aspects of Raz's theory of practical reason. Jeremy Waldron presents a critique of Raz's interpretation of authority.This volume concludes with a chapter by Joseph Raz in which he responds to arguments in the foregoing essays. (shrink)

The development of explicit theories of dynamic context change has led to a fundamentally new perspective on the interpretation of discourse. In this paper I show that this development also opens up the possibility of approaching subclausal composition along similar lines. More specifically, I argue that a dynamic theory where type-driven rules apply directly to overt surface structures and fill in missing information by building anaphoric bridges is more faithful to natural language semantics than the classical Montagovian approach.