Switch to: References

Add citations

You must login to add citations.
  1. Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
    In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Indeterminate Propositions in Prior Analytics I.41.Marko Malink - 2009 - History of Philosophy & Logical Analysis 12 (1):165-189.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Calculus of Regions Respecting Both Measure and Topology.Tamar Lando & Dana Scott - 2019 - Journal of Philosophical Logic 48 (5):825-850.
    Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The Implantation Argument: Simulation Theory is Proof that God Exists.Jeff Grupp - 2021 - Metaphysica 22 (2):189-221.
    I introduce the implantation argument, a new argument for the existence of God. Spatiotemporal extensions believed to exist outside of the mind, composing an external physical reality, cannot be composed of either atomlessness, or of Democritean atoms, and therefore the inner experience of an external reality containing spatiotemporal extensions believed to exist outside of the mind does not represent the external reality, the mind is a mere cinematic-like mindscreen, implanted into the mind by a creator-God. It will be shown that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The impossibility of relations between non-collocated spatial objects and non-identical topological spaces.Jeffrey Grupp - 2005 - Axiomathes 15 (1):85-141.
    I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Mereological nihilism: quantum atomism and the impossibility of material constitution.Jeffrey Grupp - 2006 - Axiomathes 16 (3):245-386.
    Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A comment on rcc: From rcc to rcc ++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319 - 352.
    The Region Connection Calculus (RCC theory) is a well-known spatial representation of topological relations between regions. It claims that the connection relation is primitive in the spatial domain. We argue that the connection relation is indeed primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some aspects of the RCC theory, e.g. the two axioms in the RCC theory are not strong enough to govern the connection relation, regions in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Comment on Rcc: From Rcc to Rcc++.Tiansi Dong - 2008 - Journal of Philosophical Logic 37 (4):319-352.
    The Region Connection Calculus (RCC theory) is a well-known spatial representation of topological relations between regions. It claims that the connection relation is primitive in the spatial domain. We argue that the connection relation is indeed primitive to the spatial relations, although in RCC theory there is no room for distance relations. We first analyze some aspects of the RCC theory, e.g. the two axioms in the RCC theory are not strong enough to govern the connection relation, regions in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
    An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.
    Download  
     
    Export citation  
     
    Bookmark   210 citations  
  • Boundary.Achille C. Varzi - 2013 - Stanford Encyclopedia of Philosophy.
    We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Are Functional Properties Causally Potent?Peter Alward - 2006 - Sorites 17:49-55.
    Kim has defended a solution to the exclusion problem which deploys the «causal inheritance principle» and the identification of instantiations of mental properties with instantiations of their realizing physical properties. I wish to argue that Kim's putative solution to the exclusion problem rests on an equivocation between instantiations of properties as bearers of properties and instantiations as property instances. On the former understanding, the causal inheritance principle is too weak to confer causal efficacy upon mental properties. And on the latter (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • SNAP and SPAN: Towards dynamic spatial ontology.Pierre Grenon & Barry Smith - 2004 - Spatial Cognition and Computation 4 (1):69–103.
    We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
    A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.
    Download  
     
    Export citation  
     
    Bookmark   29 citations