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)

What exactly are the reasons we do things, and how are they related to the resulting actions? Bittner explores this question and proposes an answer: a reason is a response to that state of affairs. Elegantly written, this work is a substantial contribution to the fields of rationality, ethics, and action theory.

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

The Eskimo language Kalaallisut (alias West Greenlandic) has traditionally been described as having a rich tense system, with three future tenses (Kleinschmidt 1851, Bergsland 1955, Fortescue 1984) and possibly four past tenses (Fortescue 1984). Recently however, Shaer (2003) has challenged these traditional claims, arguing that Kalaallisut is in fact tenseless.

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...) parallels can be formally analyzed. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...) various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English. (shrink)

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to (...) proper atomic parts (cf. nominal pluralities and kinds). (shrink)

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)

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)

Why should we act morally? What justification is to be found in moral demands? This lucid, pithy, and eminently readable book examines the arguments in favor of the claims of moral demands to be found in contemporary ethical theory, arguments deriving from Kant's attempt to provide a foundation for morality.

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...) I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but (...) also for the underlying theory of events, space, and time, in natural language discourse. (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)

Der Artikel spürt den subtilen Veränderungen nach, die bei Patienten, die mit tiefer Hirnstimulation behandelt werden, möglicherweise beobachtet werden können. Dabei sollen im Rückgriff auf Konzeptionen zur narrativen Identität mittels einer möglichst genauen Beschreibung und Analyse der Selbstwahrnehmung der Patienten sowie der Wahrnehmung ihres Umfelds die Änderungen im praktischen Selbstverhältnis untersucht werden, u. a. am Beispiel technomorpher Metaphern, die von den Patienten in ihren Selbstbeschreibungen verwendet werden. Ziel ist es, die Neuartigkeit und das Spezifische der Neurotechnologien – über die bisherigen (...) Untersuchungen hinaus – hinsichtlich des Umgangs mit sich selbst herauszuarbeiten und greifbar zu machen. Abschließend werden auf Basis der Analyse der Patienten-Narrationen die entsprechenden normativen Implikationen für eine ethische Bewertung des Einsatzes von Neurotechnologien benannt. (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 analyze Case in terms of independent constraints on syntactic structures — namely, the Projection Principle (inherent Case), the ECP (marked structural Case), and the theory of extended projections (the nominative, a Caseless nominal projection). The resulting theory accounts for (1) the government constraint on Case assignment, (2) all major Case systems (accusative, ergative, active, three-way, and split), (3) Case alternations (passive, antipassive, and ECM), and (4) the Case of nominal possessors. Structural Case may correlate with pronominal agreement because the (...) former can, and the latter must, involve antecedent-government by a functional head. However, neither phenomenon implies the other. (shrink)

In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— (...) "definite", "indefinite" and "predicative"—which are generally found with Warlpiri nouns, including those which correspond to English common nouns and cardinality expressions. A partial analysis of these readings is sketched i n section 3. Since Warlpiri has no determiner system, we hypothesize that the source of (in)definiteness in this language is semantic. More specifically, we suggest that Warlpiri nominals are basically interpreted as individual terms or predicates of individuals and that their three readings arise as a consequence of the interaction of their basic meanings, which are specific to Warlpiri, with certain semantic operations, such as type shifting (Rooth and Partee 1982, Partee and Rooth 1983, Partee 1986, 1987), which universally can or must apply in the process of compositional semantic interpretation. (shrink)

ML-HCAs have the potential to significantly change an entire healthcare system. It is not even necessary to presume that this will be disruptive but sufficient to assume that the mere adaptation of...

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)

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can be (...) spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

Der Artikel spürt den subtilen Veränderungen nach, die bei Patienten, die mit tiefer Hirnstimulation behandelt werden, möglicherweise beobachtet werden können. Dabei sollen im Rückgriff auf Konzeptionen zur narrativen Identität mittels einer möglichst genauen Beschreibung und Analyse der Selbstwahrnehmung der Patienten sowie der Wahrnehmung ihres Umfelds die Änderungen im praktischen Selbstverhältnis untersucht werden, u. a. am Beispiel technomorpher Metaphern, die von den Patienten in ihren Selbstbeschreibungen verwendet werden. Ziel ist es, die Neuartigkeit und das Spezifische der Neurotechnologien – über die bisherigen (...) Untersuchungen hinaus – hinsichtlich des Umgangs mit sich selbst herauszuarbeiten und greifbar zu machen. Abschließend werden auf Basis der Analyse der Patienten-Narrationen die entsprechenden normativen Implikationen für eine ethische Bewertung des Einsatzes von Neurotechnologien benannt. (shrink)

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

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)

This paper describes quantificational structures in Greenlandic Eskimo (Kalaallisut), a language where familiar quantificational meanings are expressed in ways that are quite different from English. Evidence from this language thus poses some formidable challenges for cross-linguistic theories of compositional semantics.

Among the numerous conceptions of autonomy, three are particularly important: Kant's notion of humans' being subject, and subject only, to moral laws they gave themselves, Frankfurt's idea of persons' willing and acting deriving from the essential character of their wills, and the popular conception of persons' being master over whether others do or do not certain things to them. Kant's moral conception of autonomy, it is argued, is untenable because the moral character of a law and its self-givenness are incompatible. (...) Frankfurt's idea suffers from the fact that we cannot give substance to talk of the essential character of one's will. The third conception is practically irrelevant: there is no principle requiring people to be master over what others do to them. Thus autonomy may have to be dropped from our self-conception. To some this will appear a grave loss. In fact it is not. (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)

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)

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, Hindi, (...) Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less. (shrink)

Volume 20, Issue 8, August 2020, Page 30-32.

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.

: This study describes a new field method, suited for investigating scope relations — and other aspects of truth conditional meaning — with native speaker consultants who may speak no other language and have no background in linguistics or logic. This method revealed a surprising scope contrast between the antipassive and the ergative construction in Greenlandic Eskimo. The results of this field work are described in detail and a crosslinguistic scope generalization is proposed based on Greenlandic Eskimo, Basque, Polish, Russian, (...) Finnish and English. (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 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)

Recent philosophy has developed an overblown concept of autonomy. In fact we do not have moral autonomy, and personal autonomy we only have in the sense of being able to decide some things that affect the course of our lives, not in the sense of shaping these lives and being master over them; nor ought we to have autonomy in the latter sense, or come closer to having it. As for our political institutions, they do not presuppose, as prevailing doctrines (...) claim they do, citizens’ autonomy in a more demanding sense. Freedom and democracy as understood for instance in the German constitution only assume subordinates capable of deciding some matters on their own. Current talk of autonomy is just gilding people’s real dependence. (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)

Why does world hunger hold an inferior place on the contemporary moral agenda? Proposed answer: because it is a political, not a moral problem. It is not a moral problem, because morality needs two conditions fulfilled: that those be in some way close to the agent unto whom that agent is doing something that is to be morally assessed; and that the relevant good or bad states or events can be clearly credited to some particular agent or agents. Neither condition (...) is fulfilled in the case of world hunger. This explains morality's failure to come to grips with it. Yet, while lacking morality's endorsement, the abolition of world hunger may still be a political goal. (shrink)