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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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.

Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning – as far as they are concerned with reliability.

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.

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)

In recent years an increasing number of psychologists have begun to explore the prevalence, causes and effects of ordinary people’s intuitions about moral realism. Many of these studies have lacked in construct validity, i.e., they have failed to measure moral realism. My aim in this paper accordingly is to motivate and guide methodological improvements. In analysis of prominent existing measures, I develop general recommendations for overcoming ten prima facie serious worries about research on folk moral realism. G1 and G2 require (...) studies’ answer choices to be as metaethically comprehensive as methodologically feasible. G3 and G4 prevent fallacious inferences from intuitions about related debates. G5 and G6 limit first-order moral and epistemic influences. G7 address studies’ instructions. And G8 and G9 suggest tests of important psychological presuppositions. (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)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (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)

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.

Conciliatory theories of disagreement require that one lower one’s confidence in a belief in the face of disagreement from an epistemic peer. One question about which people might disagree is who should qualify as an epistemic peer and who should not. But when putative epistemic peers disagree about epistemic peerhood itself, then Conciliationism makes contradictory demands and paradoxes arise.

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. (...) More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

A growing number of decision theorists have, in recent years, defended the view that rationality is permissive under risk: Different rational agents may be more or less risk-averse or risk-inclined. This can result in them making different choices under risk even if they value outcomes in exactly the same way. One pressing question that arises once we grant such permissiveness is what attitude to risk we should implement when choosing on behalf of other people. Are we permitted to implement any (...) of the rationally permissible risk attitudes, is there some specific risk attitude that is required when choosing for others, or are we required to defer to the risk attitudes of the people on whose behalf we are choosing? This article elaborates on this question, explains its wider practical and theoretical significance, provides an overview of existing answers, and explores how to go about providing a more systematic account of how to choose on behalf of others in risky contexts. (shrink)

Cet essai présente une description de plusieurs travaux inédits de Jacques Derrida au sujet de Marx et d'Althusser datant des années 1960 et 1970. Au-delà du travail philologique, il s'agit aussi d'une étude théorique de notions telles que 'idéologie', 'fétichisme', 'reproduction', 'division du travail', 'différence sexuelle', 'domination', 'économie politique', 'matérialisme dialectique', ou 'production culturelle' — tout autant à travers les textes marxistes que dans les lectures déconstructives qu'en propose alors Derrida. Durant les années 1970, dans le cadre de son séminaire, (...) Derrida s'efforce de penser une autre économie politique, au-delà de l'économie du propre qu'il identifie aussi bien chez les économistes classiques que chez leurs critiques marxistes. Ces lectures détaillées et combattives de textes marxistes restent aujourd'hui inédites. Leur prise en compte contribue à redéfinir l'image de Derrida et de la déconstruction, en témoignant de ses discussions très avancées de Marx, d'Althusser, et de la pensée marxiste — et ce dès la fin des années 1960 et le début des années 1970, plus de 20 ans avant la publication de Spectres de Marx (1993). -/- Une version plus courte de cet article fut traduite en espagnol par Ramiro Parodi, et publiée en 2019 dans le numéro 7 de la revue Demarcaciones — numéro consacré au 25ème anniversaire de la publication de Spectres de Marx. (shrink)

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.

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (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)

Providing valid responses to a self-report survey requires cognitive effort. Subjects engaging in insufficient effort responding (IER) are unwilling to take this effort. Compared to psychologists, experimental philosophers so far seem to have paid less attention to IER. This paper is an attempt to begin to alleviate this shortcoming. First, I explain IER’s nature, prevalence and negative effects in self-report surveys in general. Second, I argue that IER might also affect experimental philosophy studies. Third, I develop recommendations as to how (...) experimental philosophers should (and should not) try to prevent IER. Fourth, I develop recommendations as to how experimental philosophers should (and should not) try to detect IER. Fifth, I sketch how experimental philosophers ought to proceed once a subject has been identified as an insufficient effort responder. And finally, I report the results of an online survey that addresses experimental philosophers’ current knowledge, consideration and assessment of IER. (shrink)

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)

According to the recent Perceptual Confidence view, perceptual experiences possess not only a representational content, but also a degree of confidence in that content. The motivations for this view are partly phenomenological and partly epistemic. We discuss both the phenomenological and epistemic motivations for the view, and the resulting account of the interface between perceptual experiences and degrees of belief. We conclude that, in their present state of development, orthodox accounts of perceptual experience are still to be favoured over the (...) perceptual confidence view. (shrink)

Nanay (2017) argues for unconscious mental imagery, inter alia based on the assumption that successful performance in imagery tasks requires the manipulation of mental imagery. I challenge this assumption with the help of results presented in Shepard and Metzler (1971), Zeman et al. (2010), and Keogh and Pearson (2018). The studies suggest that imagery tasks can be successfully performed by means of cognitive/propositional strategies which do not rely on imagery.

This paper argues that indexical reference is a species of discourse reference, just like anaphora. Both varieties of discourse reference involve not only context dependence, but also context change. The act of speaking up focuses attention and thereby makes this very speech event available for discourse reference by indexicals. Mentioning something likewise focuses attention, making the mentioned entity available for subsequent discourse reference by anaphors. Empirical evidence is presented from grammatical centering in Kalaallisut and "shifty indexicals" in Slave attitude reports.

Like American politics, the academic debate over justice is polarized, with almost all theories of justice falling within one of two traditions: egalitarianism and libertarianism. This book provides an alternative to the partisan standoff by focusing not on equality or liberty, but on the idea that we should give people the things that they deserve. Mulligan argues that a just society is a meritocracy, in which equal opportunity prevails and social goods are distributed strictly on the basis of merit. That (...) gives citizens their just deserts. In addition to its novel conceptual approach, meritocracy is distinctive from existing work in two ways. First, it is grounded in research on how people actually think about justice. Empirical research reveals that people don't think that social goods should be distributed equally. Nor do they dismiss the idea of social justice. Across ideological and cultural lines, people want rewards to reflect merit. Second, the book discusses hot-button political issues and makes concrete policy recommendations. These issues include anti-meritocratic bias against women and racial minorities and the United States’ widening economic inequality. Justice and the Meritocratic State offers a new theory of justice and provides solutions to our most vexing social and economic problems. It will be of keen interest to philosophers, economists, and political theorists. (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)

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)

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)

The exploration of chemical periodicity over the past 250 years led to the development of the Periodic System of Elements and demonstrates the value of vague ideas that ignored early scientific anomalies and instead allowed for extended periods of normal science where new methodologies and concepts are developed. The basic chemical element provides this exploration with direction and explanation and has shown to be a central and historically adaptable concept for a theory of matter far from the reductionist frontier. This (...) is explored in the histories of Prout’s hypothesis, Döbereiner Triads, element inversions necessary when ordering chemical elements by atomic weights, and van den Broeck’s ad-hoc proposal to switch to nuclear charges instead. The development of more accurate methods to determine atomic weights, Rayleigh and Ramsey’s gas separation and analytical techniques, Moseley’s X-ray spectroscopy to identify chemical elements, and more recent accelerator-based cold fusion methods to create new elements at the end of the Periodic Table point to the importance of methodological development complementing conceptual advances. I propose to frame the crossover from physics to chemistry not as a loss of accuracy and precision but as an increased application of vague concepts such as similarity which permit classification. This approach provides epistemic flexibility to adapt to scientific anomalies and the continued growth of chemical compound space and rejects the Procrustean philosophy of reductionist physics. Furthermore, it establishes chemistry with its explanatory and operational autonomy epitomized by the periodic system of elements as a gateway to other experimental sciences. (shrink)

An increasing number of scholars argue that moral judgements are adaptations, i.e., that they have been shaped by natural selection. Is this hypothesis true? In this paper I shall not attempt to answer this important question. Rather, I pursue the more modest aim of pointing out three difficulties that anybody who sets out to determine the adaptedness of moral judgments should be aware of (though some so far have not been aware of). First, the hypothesis that moral judgements are adaptations (...) has been advocated in various different specificities and scopes, and on various different levels. Second, the three kinds of evidence that have most often been appealed to by discussants of this hypothesis require additional arguments. And third, there is significant reasonable disagreement about what moral judgements essentially are. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

This thesis consists of several independent papers in population ethics. I begin in Chapter 1 by critiquing some well-known 'impossibility theorems', which purport to show there can be no intuitively satisfactory population axiology. I identify axiological vagueness as a promising way to escape or at least mitigate the effects of these theorems. In particular, in Chapter 2, I argue that certain of the impossibility theorems have little more dialectical force than sorites arguments do. From these negative arguments I move to (...) positive ones. In Chapter 3, I justify the use of a 'veil of ignorance', starting from three more basic normative principles. This leads to positive arguments for various kinds of utilitarianism - the best such arguments I know. But in general the implications of the veil depend on how one answers what I call 'the risky existential question': what is the value to an individual of a chance of non-existence? I chart out the main options, and raise some puzzles for non-comparativism, the view that life is incomparable to non-existence. Finally, in Chapter 4, I consider the consequences for population ethics of the idea that what is normatively relevant is not personal identity, but a degreed relation of psychological connectedness. In particular, I pursue a strategy based in population ethics for understanding the controversial 'time-relative interests' account of the badness of death. (shrink)

The claim that common sense regards free will and moral responsibility as compatible with determinism has played a central role in both analytic and experimental philosophy. In this paper, we show that evidence in favor of this “natural compatibilism” is undermined by the role that indeterministic metaphysical views play in how people construe deterministic scenarios. To demonstrate this, we re-examine two classic studies that have been used to support natural compatibilism. We find that although people give apparently compatibilist responses, this (...) is largely explained by the fact that people import an indeterministic metaphysics into deterministic scenarios when making judgments about freedom and responsibility. We conclude that judgments based on these scenarios are not reliable evidence for natural compatibilism. (shrink)

In the Freedom Essay, Schelling provides four different accounts of the copula, two of which are largely implicit. In this paper, I focus on the first of these accounts, which I call the "mediated account." I argue that this explanation of the copula articulates a fundamental ontological structure in Schelling's philosophy. In the first half of the paper, I analyze the structural features of the account, drawing on Schelling's more extensive treatment in the Ages of the World. In the second (...) half of the paper, I argue that Schelling's fundamental distinction between that-which-exists and the ground of existence exhibits the same structure as the mediated account of the copula. This has implications for understanding the enigmatic relationship of these two principles to the Ungrund. I conclude by briefly suggesting other applications of this fundamental structure in Schelling's philosophy. (shrink)