This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

Traditionally, the structure of a language is revealed by constructing an appropriate theory of meaning for that language, which exhibits how – and whether – the meaning of sentences in the language depends upon the meaning of their parts. In this paper, I argue that whether – and how – what pictures represent depends on what their parts represent should likewise by revealed by the construction of appropriate theories of representation for the symbol system of those pictures. This generalisation, I (...) argue, reveals a much cited disanalogy between depiction and description is illusory: the structure of pictures, like language, is compositional. (shrink)

Contains the following contributions: -/- Ingvar Johansson: Ontologies and Concepts. Two Proposals -/- Christopher Menzel: Reference Ontologies - Application Ontologies: Either/Or or Both/And? -/- Luc Schneider: Foundational Ontologies and the Realist Bias -/- Guenther Goerz, Kerstin Buecher, Bernd Ludwig, Frank-Peter Schweinberger, and Iman Thabet: Combining a Lexical Taxonomy with Domain Ontology in the Erlangen Dialogue System -/- Vim Vandenberghe, Burkhard Schafer, John Kingston: Ontology Modelling in the Legal Domain - Realism Without Revisionism -/- A Proposed Methodology for the Development of (...) Application-Based Formal Ontologies Eric Little . (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Since Tolman’s paper in 1948, psychologists and neuroscientists have argued that cartographic representations play an important role in cognition. These empirical findings align with some theoretical works developed by philosophers who promote a pluralist view of representational vehicles, stating that cognitive processes involve representations with different formats. However, the inferential relations between maps and representations with different formats have not been sufficiently explored. Thus, this paper is focused on the inferential relations between cartographic and linguistic representations. To that effect, we (...) appeal to heterogeneous inference with ordinary maps and sentences. In doing so, we aim to build a model to bridge the gap between cartographic and linguistic thought. (shrink)

It is often assumed that the capability to make inferences requires language. Against this assumption, I claim that inferential abilities do not necessarily require a language. On the contrary, certain cartographic systems could be used to explain some forms of inferences, and they are capable of warranting rational relations between contents they represent. By arguing that certain maps, as well as sentences, are adequate for inferential processes, I do not mean to neglect that there are important differences between maps and (...) sentences. Instead, the purpose of this paper is to highlight interesting distinctions that might affect the way that cartographic thinking works. (shrink)

I argue that maps do not feature predication, as analyzed by Frege and Tarski. I take as my foil (Casati and Varzi, Parts and places, 1999), which attributes predication to maps. I argue that the details of Casati and Varzi’s own semantics militate against this attribution. Casati and Varzi emphasize what I call the Absence Intuition: if a marker representing some property (such as mountainous terrain) appears on a map, then absence of that marker from a map coordinate signifies absence (...) of the corresponding property from the corresponding location. Predication elicits nothing like the Absence Intuition. “F(a)” does not, in general, signify that objects other than a lack property F. On the basis of this asymmetry, I argue that attaching a marker to map coordinates is a different mode of semantic composition than attaching a predicate to a singular term. (shrink)

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

Fodor advocates a view of cognitive processes as computations defined over the language of thought (or Mentalese). Even among those who endorse Mentalese, considerable controversy surrounds its representational format. What semantically relevant structure should scientific psychology attribute to Mentalese symbols? Researchers commonly emphasize logical structure, akin to that displayed by predicate calculus sentences. To counteract this tendency, I discuss computational models of navigation drawn from probabilistic robotics. These models involve computations defined over cognitive maps, which have geometric rather than logical (...) structure. They thereby demonstrate the possibility of rational cognitive processes in an exclusively non-logical representational medium. Furthermore, they offer much promise for the empirical study of animal navigation. (shrink)

Philosophical Issues, Volume 30, Issue 1, Page 273-292, October 2020.

Analog representation is often cast in terms of an engineering distinction between smooth and discrete systems. The engineering notion cuts across interesting representational categories, however, so it is poorly suited to thinking about kinds of representation. This paper suggests that analog representations support a pattern of interaction, specifically open-ended searches for content across levels of abstraction. They support the pattern by sharing a structure with what they represent. Continuous systems that satisfy the engineering notion are exemplars of this kind because (...) they are uninterpretable unless they are structure-preserving. Analog representations, so understood, include pictures, images, diagrams, and most graphs. This conception of analogicity also fits well with a line of thought about what makes perceptual states distinctive: they satisfy a “parts principle”. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

The problem of phenomenal unity consists in providing a phenomenological characterization of the difference between phenomenally unified and disunified conscious experiences. Potential solutions to PPU are faced with an important challenge. I show that this challenge can be conceived as a phenomenological dual to what is known as Bradley’s regress. This perspective facilitates progress on PPU by finding duals to possible solutions to Bradley’s regress and makes it intelligible why many characterize phenomenal unity in terms of the existence of a (...) single global conscious state. I call this latter view the “single state conception”. SSC is superficially attractive, because it seems to provide a solution to the phenomenological dual to Bradley’s regress, but should still be rejected, because it does not solve PPU; instead, it creates more problems; these problems can be avoided by alternative conceptions of phenomenal unity. (shrink)

The paper discusses the concept of the cognitive niche and distinguishes the latter from the metabolic niche. By using these posits I unpack certain ideas that are crucial for the enactivist movement, especially for its original formulation proposed by Varela, Thompson and Rosh. Drawing on the ontology of location, boundaries, and parthood, I argue that enacting the world can be seen as the process of cognitive niche construction. Moreover, it turns out that enactivism—as seen through the lens of the conceptual (...) framework proposed in the paper—considers cognition as a kind of connection between the subject and the world. This post is pointed to as the key idea laid down in enactivism. (shrink)

This paper aims to elucidate a kind of ignorance that is more fundamental than a momentary lack of information, but also not a kind of ignorance that is built into the subject’s cognitive apparatus such that the subject can’t do anything about it. The paper sets forth the notion of cognitive confinement, which is a contingent, yet relatively stable state of being structurally or systematically unable to gain information from an environment, determined by patterns of interaction between the subject and (...) the world. In order to unpack the idea of cognitive confinement the paper discusses niche construction theory, and then, in greater detail, the notion of cognitive niche once proposed by John Tooby and Irven DeVore. Cognitive confinement is here imagined as a pathologized form of cognitive niche. This posit is substantiated by referring to a case that has come to the fore in recent years and raised debate around the world: the rise of so-called filter bubbles. They turn out to be instantiations of a more general phenomenon of cognitive confinement. (shrink)

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

The ontological abyss that separates real objects from sensual objects is one of the central principles of Object-Oriented Ontology (OOO), which has its most explicit and profuse modulation in Timothy Morton’s notion of rift. This article argues that, despite succeeding in explaining the radical difference that inhabits every object, Morton’s rift fails to explain the object’s unification, rendering the overall theory inconsistent. An alternative approach that accounts simultaneously for disjunction and conjunction between essences and appearances can be found in Eugenio (...) Trías’s philosophy of the limit, a term widely ignored in OOO despite its deeply non-relational conception of the reality of things. The article further argues that the reinterpretation of Trías’s twofold liminal approach in light of OOO successfully addresses the inconsistencies found in Morton’s rift, paving the way for a theory of limits within Harman’s ontological framework. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

Mereology is the theory of the relation “being a part of”. The first exact formulation of mereology is due to the Polish logician Stanisław Leśniewski. But Leśniewski’s mereology is not first-order axiomatizable, for it requires every subset of the domain to have a fusion. In recent literature, a first-order theory named General Extensional Mereology can be thought of as a first-order approximation of Leśniewski’s theory, in the sense that GEM guarantees that every definable subset of the domain has a fusion, (...) and this has been achieved by positing an axiom schema which in effect defines infinitely many axioms. Intuitively, in order to range over every definable subset, such an axiom schema seems unavoidable. But this paper will show that GEM is finitely axiomatizable and that all we need are just finitely many instances of the said axiom schema. (shrink)

The signature of the formal language of mereology contains only one binary predicate P which stands for the relation “being a part of”. Traditionally, P must be a partial ordering, that is, ${\forall{x}Pxx, \forall{x}\forall{y}((Pxy\land Pyx)\to x=y)}$ and ${\forall{x}\forall{y}\forall{z}((Pxy\land Pyz)\to Pxz))}$ are three basic mereological axioms. The best-known mereological theory is “general extensional mereology”, which is axiomatized by the three basic axioms plus the following axiom and axiom schema: (Strong Supplementation) ${\forall{x}\forall{y}(\neg Pyx\to \exists z(Pzy\land \neg Ozx))}$ , where Oxy means ${\exists (...) z(Pzx\land Pzy)}$ , and (Fusion) ${\exists x\alpha \to \exists z\forall y(Oyz\leftrightarrow \exists x(\alpha \land Oyx))}$ , for any formula α where z and y do not occur free. In this paper, I will show that general extensional mereology is decidable, and will also point out that the decidability of the first-order approximation of the theory of complete Boolean algebras can be shown in the same way. (shrink)

Mereological theories are theories based on a binary predicate ‘being a part of’. It is believed that such a predicate must at least define a partial ordering. A mereological theory can be obtained by adding on top of the basic axioms of partial orderings some of the other axioms posited based on pertinent philosophical insights. Though mereological theories have aroused quite a few philosophers’ interest recently, not much has been said about their meta-logical properties. In this paper, I will look (...) into whether those theories are decidable or not. Besides, since theories of Boolean algebras are in some sense upper bounds of mereological theories which can be found in the literature, I shall also make some observations about the possibility of getting mereological theories beyond Boolean algebras. (shrink)

The signature of the formal language of mereology contains only one binary predicate which stands for the relation “being a part of” and it has been strongly suggested that such a predicate must at least define a partial ordering. Mereological theories owe their origin to Leśniewski. However, some more recent authors, such as Simons as well as Casati and Varzi, have reformulated mereology in a way most logicians today are familiar with. It turns out that any theory which can be (...) formed by using the reformulated mereological axioms or axiom schemas is in a sense a subtheory of the elementary theory of Boolean algebras or of the theory of infinite atomic Boolean algebras. It is known that the theory of partial orderings is undecidable while the elementary theory of Boolean algebras and the theory of infinite atomic Boolean algebras are decidable. In this paper, I will look into the behaviors in terms of decidability of those mereological theories located in between. More precisely, I will give a comprehensive picture of the said issue by offering solutions to the open problems which I have raised in some of my papers published previously. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (shrink)

This article intends to provide an overview on the philosophical and geographical background of geo-ontologies and to propose a geographical classification of these ontologies, in response to their increasing diffusion within the contemporary debate. Accordingly, the first two paragraphs are devoted to offer a short introduction to the ontological turn in philosophy and to the development of the ontology of geography, that is that part of the ontology mainly focused on geographic entities and their boundaries, spatial representation, meretopological relations and (...) location. As a second step, this preliminary analysis is taken to be a helpful device in showing some philosophical tools useful for geo-ontologies and in determining whether and what geographical sub-areas can be identified from non-professional geographers. Consequently, paragraphs three and four investigate the emerging of geo-ontologies from the spatial turn and their general aims. Part of this inquiry is dedicated to show some taxonomies derived from the domain of computer and information science and to underline the absence of a classification suitable for spreading geo-ontologies in the geographical debate. As it is, the fifth paragraph is concerned with a taxonomy for geo-ontologies grounded on some fundamental geographical distinctions. The basic idea is that such a taxonomy might best introduce geo-ontologies to the geographical debate that, in turn, might deeply influence the advancement of these ontologies in terms of conceptualizations and trace gradually the guidelines for a classification, in which the development of geo-ontologies would follow all the different sub-disciplines within the same geography. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Standard principles of mereology, such as the transitivity and asymmetry of proper parthood, have been questioned, using various multi-location scenarios. The most famous of these is Borges’s Aleph, although the literature is rife with other examples that allegedly show that some mereological principle is at odds with some form of multi-location. However, the scenarios only support this conclusion given various bridge principles that link location to parthood. I argue that the bridge principles that guarantee the desired conclusion are controversial partly (...) because they give the wrong result in other situations, in particular cases of co-location. Moreover, less controversial bridge principles do not provide an incompatibility result between standard mereological principles and multi-location. Hence, multi-location does not threaten any standard mereological principles. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

Classical mereology is a particularly strong theory about the part–whole relation. Not only does it ensure that any collection of entities composes a whole, or ‘fusion’, it also states that this object is unique: no two entities have the same parts. Recently, Claudio Calosi (dialectica 68(1):121–139, 2014) has argued that this extensional aspect makes classical mereology incompatible with multilocated entities. Calosi’s argument is arguably the most precise one from a whole battery of arguments to the effect that some mereological principle (...) is at odds with multilocation. Still, I show that Calosi’s arguments fail and that classical mereology is a safe space for multilocation. Moreover, I argue that the question of extensionality is orthogonal to the question of multilocation. (shrink)

In debates about the metaphysics of material objects examples of colocated objects are commonly taken to be examples of coincidence too. But the argument that colocation is best understood as involving coincidence is never spelled out. This paper shows under what conditions colocation entails coincidence and argues that the entailment depends on a principle that actually rules out certain forms of colocation. This undermines the argument from colocation to coincidence.

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each.The starting point for our categorial scheme is the concept of extended entity. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

Many philosophers have claimed that there is a tension between the impenetrability of matter and the possibility of contact between continuous bodies. This tension has led some to claim that impenetrable continuous bodies could not ever be in contact, and it has led others to posit certain structural features to continuous bodies that they believe would resolve the tension. Unfortunately, such philosophical discussions rarely borrow much from the investigation of actual matter. This is probably largely because actual matter is not (...) continuous, and so it might seem as if discussion of the structure of continuous bodies is merely within the realm of philosophical thought experiments rather than actual scientific investigation. However, classical continuum mechanics models actual matter as if it were continuous, and it has implications about the structure of continuous bodies and about what contact and impenetrability are. This paper describes the relevant notions from classical continuum mechanics so as to resolve the alleged tension between contact and impenetrability. (shrink)

This paper presents three claims concerning boundaries, dependence and parthood. The claims are intuitively plausible, but cannot, at face value, all be true on pain of contradiction. Each of the three claims is shown to be more plausible than its converse and some solutions to the puzzle are presented.

While there is a growing philosophical interest in analysing olfactory experiences, the mereological structure of odours considered in respect of how they are perceptually experienced has not yet been extensively investigated. The paper argues that odours are perceptually experienced as having a mereological structure, but this structure is significantly different from the spatial mereological structure of visually experienced objects. Most importantly, in the case of the olfactory part-structure, the classical weak supplementation principle is not satisfied. This thesis is justified by (...) referring to empirical results in olfactory science concerning the human ability to identify components in complex olfactory stimuli. Further, it is shown how differences between olfactory and visual mereologies may arise from the way in which these modalities represent space. (shrink)

In the contemporary analytic discussions concerning human olfactory perception, it is commonly claimed that (1) olfactory experiences are representations having content and (2) olfactory experiences represent odours, like coffee odour or vanilla odour. However, despite these common assumptions, there seems to be an ontological controversy between two views: the first states that odours are perceptually represented as features and the second states that they are represented as objects. In this paper, I aim to systematically address the Bfeature or object^ status (...) of represented odours by concerning whether odours are represented (a) as subjects of properties, (b) as mereological wholes, and (c) entities persisting in a way characteristic for objects. I argue that olfactorily represented odours constitute a sui generis category and cannot be easily classified as objects or features. Such investigations constitute a step in establishing whether various human modalities are unified by organising the environment according to the same categories. (shrink)

Neo-Aristotelian hylomorphism has struggled to arrive at anything approaching a consensus regarding the notion of form. Contending that no ‘right-minded modern’ could embrace anything akin to Arist...

The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) summation. (shrink)

Josiah Royce (1855?1916) was, in addition to being the pre-eminent metaphysician at the turn of the 19th century in the USA, regarded as ?a logician of the first rank?. At the time of his death in 1916, he had begun a substantial and potentially revolutionary project in logic in which he sought to show the connection between logic and ethics, aesthetics, and metaphysics. His system was developed in light of the work of Bertrand Russell and A. B. Kempe and aimed (...) to include Russell's logic as a subsystem. This more comprehensive logic, which Royce called system Σ, brought together an analysis of the character of experience and knowledge with the principles which served to organize interests and direct actions. The result was to be a logical theory framed by ?a profoundly ethical motive as well as a genuinely intellectual one? that would serve as ?a theory of the way in which activities must go on if they go on at all?. This paper examines three stages in the development of Royce's logical system, its relation to the logic of Principia Mathematica, and prospects for its further development. (shrink)

Since Fodor 1970, negation has worn a Homogeneity Condition to the effect that homogeneous predicates, ) denote homogeneously—all or nothing —to characterize the meaning of – when uttered out-of-the blue, in contrast to –:The mirrors are smooth. The mirrors are not smooth. The mirrors circle the telescope’s reflector. The mirrors do not circle the telescope’s reflector. It has been a problem for philosophical logic and for the semantics of natural language that – appear to defy the Principle of Excluded Middle (...) while – do not—Smooth ¬Smooth Circle ¬Circle. An impoverished logical form – has been the occasion to embellish all else—Boolean algebra, lexical presuppositions, Strongest Meaning Hypothesis, trivalence, supervaluation, double strengthening, etc., enriching the semantics and pragmatics with what remains a special theory of negation, which may be dismissed when the logical syntax and semantics of negation reflects that negated sentences are also tensed sentences. (shrink)

Speaking of dental floss contaminated with bacteria, I may separate the dental floss that is sterile from the dental floss that isn’t sterile. The definite description “the dental floss that isn’t sterile” contracts its reference to just the dental floss near bacteria, although it, the dental floss whole, isn’t sterile. To accommodate the definite descriptions that contract their reference, received definitions for ⌜the Φ⌝ are amended from to read as in : ⌜the Φ⌝ refers to that which any Φ is (...) part of and is the least such. ⌜the Φ⌝ refers to that which any Φ overlaps and is the least such. If definite description is to be based on a purely logical notion of plural and mass predication, it is further amended. Like overt demonstratives—⌜this/these Φ⌝, ⌜that/those Φ⌝—any definite description in natural language is also perspectival, scanning everywhere the description Φ is satisfied:⌜the Φ⌝ refers to the least Φ that overlap Φ anywhere there is Φ. (shrink)

Schaffer offers us in the last section of “On What Grounds What” (2009) an applied illustration of his allegedly Aristotelian metaontological position. According to this illustration, Schaffer’s metaontological position, supplemented with a few Aristotelian theses about substance and grounding, would converge in a view remarkably similar to his priority monism (Philosophical Studies, 145, 131–148, 2009b; Philosophical Review, 119, 31–76, 2010a), the view that there is one single fundamental substance. In this paper, I will argue against Schaffer’s suggestion that priority monism (...) represents a viable development of Aristotelian metaphysics. In particular, I will hold that the most plausible version of Schaffer’s priority monism by Aristotelian standards fails to satisfy basic Aristotelian tenets about dependence, composition, change, and persistence, and suggest that this is evidence that Aristotelians are more at home with a pluralism rather than a monism about substance. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...) in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies previously unattested variation (...) in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...