Switch to: Citations

Add references

You must login to add references.
  1. Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.
    This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.
    Download  
     
    Export citation  
     
    Bookmark   706 citations  
  • Ontological investigations: an inquiry into the categories of nature, man, and society.Ingvar Johansson - 1989 - New York: Routledge.
    ONTOLOGY This book is a book about the world. I am concerned with ontology, not merely with language. Many ontological treatises concentrate largely on the ...
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • (1 other version)Fiat objects.Barry Smith - 1994 - In Nicola Guarino, Laure Vieu & Simone Pribbenow, Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, 11th European Conference on Artificial Intelligence, Amsterdam, 8 August 1994, Amsterdam:. European Coordinating Committee for Artificial Intelligence. pp. 14-22.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • (1 other version)Fiat objects.Barry Smith - 2001 - Topoi 20 (2):131-148.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • On drawing lines on a map.Barry Smith - 1995 - In Frank A. U., Kuhn W. & Mark D. M., Spatial Information Theory: Proceedings of COSIT '95. Springer. pp. 475-484.
    The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • A Theory of Granular Partitions.Thomas Bittner & Barry Smith - 2003 - In Matt Duckham, Michael F. Goodchild & Michael Worboys, Foundations of Geographic Information Science. London: Taylor & Francis. pp. 117-151.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Rough sets.Zdzislaw Pawlak, Jerzy Grzymala-Busse, Roman Slowinski & Wojciech Ziarko - 1995 - Commun. Acm 38 (11):88--95.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Vagueness in Geography.Achille C. Varzi - 2001 - Philosophy and Geography 4 (1):49–65.
    Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Quantum mereotopology.Barry Smith & Berit O. Brogaard - 2002 - Annals of Mathematics and Artificial Intelligence 36 (1):153-175.
    Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation of (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • A Taxonomy of Granular Partitions.Thomas Bittner & Barry Smith - 2001 - In Spatial Information Theory. Foundations of Geographic Information Science. Lecture Notes in Computer Science 2205. pp. 28-43.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations