This paper considers the attempts put forward by A.N. Whitehead and by Bertrand Russell to ‘construct’ points (and temporal instants) from what they regard as the more basic concept of extended ‘regions’. It is shown how what they each say themselves will not do, and how it should be filled out and amended so that the ‘construction’ may be regarded as successful. Finally there is a brief discussion of whether this ‘construction’ is worth pursuing, or whether it is better—as in (...) today’s mathematics—to prefer a ‘construction’ that goes the other way round, i.e. , to view a region as a set of points. (shrink)

Jean Nicod (1893–1924) is a French philosopher and logician who worked with Russell during the First World War. His PhD, with a preface from Russell, was published under the titleLa géométrie dans le monde sensiblein 1924, the year of his untimely death. The book did not have the impact he deserved. In this paper, I discuss the methodological aspect of Nicod’s approach. My aim is twofold. I would first like to show that Nicod’s definition of various notions of equivalence between (...) theories anticipates, in many respects, the (syntactic and semantic) model-theoretic notion of interpretation of a theory into another. I would secondly like to present the philosophical agenda that led Nicod to elaborate his logical framework: the defense of rationalism against Bergson’s attacks. (shrink)

Our perception of where touch occurs on our skin shapes our interactions with the world. Most accounts of cutaneous localisation emphasise spatial transformations from a skin-based reference frame into body-centred and external egocentric coordinates. We investigated another possible method of tactile localisation based on an intrinsic perception of ‘skin space’. The arrangement of cutaneous receptive fields (RFs) could allow one to track a stimulus as it moves across the skin, similarly to the way animals navigate using path integration. We applied (...) curved tactile motions to the hands of human volunteers. Participants identified the location midway between the start and end points of each motion path. Their bisection judgements were systematically biased towards the integrated motion path, consistent with the characteristic inward error that occurs in navigation by path integration. We thus showed that integration of continuous sensory inputs across several tactile RFs provides an intrinsic mechanism for spatial perception. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...) an environment structure is composed of particular subsets of Rn. The comparison of mereogeometrical theories within these environment structures shows dependencies among primitives and provides (relative) definitional equivalences. With one exception, we show that all the theories considered are equivalent in these environment structures. (shrink)

In his published work and even more in conversations, Tarski emphasized what he thought were important philosophical aspects of his work. The English translation of his more philosophical papers [56m] was dedicated to his teacher Tadeusz Kotarbinski, and in informal discussions of philosophy he often referred to the influence of Kotarbinski. Also, the influence of Leiniewski, his dissertation adviser, is evident in his early papers. Moreover, some of his important papers of the 1930s were initially given to philosophical audiences. For (...) example, the famous monograph on the concepotf truth ([33”], [35b]) was first given as twol ectures to the Logic Section of the Philosophical Society in Warsaw in 1930. Second, his paper [33], which introduced the concepts of co-consistency and co-completeness as well as the rule of infinite induction: was first given at the Second Conference of the Polish Philosophical Society in Warsaw in 1927. Also [35c] was based upon an address given in 1934 to the conference for the Unity of Science in Prague; C361 and [36a] summarize an address given at the International Congress of Scientific Philosophy in Paris in 1935. The article [44a] was published in a philosophical journal and widely reprinted in philosophical texts. This list is of course not exhaustiveb ut only representative of Tarski’s philosophical interactions as reflected in lectures given to philosophical audiences, which were later embodied in substantial papers. After 1945 almost all of Tarski’s publications and presentations are mathematical in character with one or two minor exceptions. This division, occurring about 1945, does not, however, indicate al oss of interest in philosophical questionbsu t is a result of Tarski’s moving to the Department of Mathematics at Berkeley. There he assumed an important role in the development of logic within mathematics in the United States. (shrink)

Jean Nicod (1893–1924) is a French philosopher and logician who worked with Russell during the First World War. His PhD, with a preface from Russell, was published under the title La géométrie dans le monde sensible in 1924, the year of his untimely death. The book did not have the impact he deserved. In this paper, I discuss the methodological aspect of Nicod’s approach. My aim is twofold. I would first like to show that Nicod’s definition of various notions of (...) equivalence between theories anticipates, in many respects, the (syntactic and semantic) model-theoretic notion of interpretation of a theory into another. I would secondly like to present the philosophical agenda that led Nicod to elaborate his logical framework: the defense of rationalism against Bergson’s attacks. (shrink)