10 found
Ian Pratt [10]Ian Edwin Pratt [1]
  1.  8
    Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
    This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A first order predicate language ℒ with a distinguished unary predicate c(x), function-symbols +, · and - and constants 0 and 1 is defined. An interpretation ℜ for ℒ is provided in which polygonal open subsets of the real plane serve as elements of the domain. Under this interpretation the predicate c(x) is read as 'region x is connected' and the function-symbols and (...)
    Direct download (8 more)  
    Export citation  
    My bibliography   8 citations  
  2.  19
    Ian Pratt & Nissim Francez (2001). Temporal Prepositions and Temporal Generalized Quantifiers. Linguistics and Philosophy 24 (2):187-222.
    In this paper, we show how the problem of accounting for the semanticsof temporal preposition phrases (tPPs) leads us to some surprisinginsights into the semantics of temporal expressions ingeneral. Specifically, we argue that a systematic treatment of EnglishtPPs is greatly facilitated if we endow our meaning assignments with context variables, a device which allows a tPP to restrict domainsof quantification arising elsewhere in a sentence. We observe that theuse of context variables implies that tPPs can modify expressions intwo ways, and (...)
    Direct download (8 more)  
    Export citation  
    My bibliography   6 citations  
  3.  4
    Ian Pratt & Oliver Lemon (1997). Ontologies for Plane, Polygonal Mereotopology. Notre Dame Journal of Formal Logic 38 (2):225-245.
    Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in two-dimensional space. Our strategy is to define a mereotopological language together with a familiar, point-based interpretation. It is proposed that, to be practically useful, any alternative region-based spatial ontology must support the same sentences in our language (...)
    Direct download (10 more)  
    Export citation  
    My bibliography   5 citations  
  4.  8
    Ian Pratt & Dominik Schoop (2000). Expressivity in Polygonal, Plane Mereotopology. Journal of Symbolic Logic 65 (2):822-838.
    In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the non-logical primitives of these languages are properties and relations such as `x is connected' or `x is a part of y', and the entities over which their variables range are, accordingly, not points, but regions: spatial entities other than regions are admitted, if at all, only as logical constructs of regions. This paper considers (...)
    Direct download (6 more)  
    Export citation  
    My bibliography   4 citations  
  5.  11
    Oliver Lemon & Ian Pratt (1998). On the Insufficiency of Linear Diagrams for Syllogisms. Notre Dame Journal of Formal Logic 39 (4):573-580.
    In Volume 33:1 of the Notre Dame Journal of Formal Logic, a system for diagramming syllogistic inferences using straight line segments is presented by Englebretsen. In light of recent research on the representational power of diagrammatic representation systems by the authors, we point out some problems with the proposal, and indeed, with any proposal for representing logically possible situations diagrammatically. We shall first outline the proposed linear diagrammatic system of Englebretsen, and then show by means of counterexamples that it is (...)
    Direct download (5 more)  
    Export citation  
    My bibliography   3 citations  
  6.  10
    Panu Raatikainen, Ian Pratt, Dominik Schoop & A. Complete Axiom (1998). Maria Concetta di Maio and Alberto Zanardo. Journal of Philosophical Logic 27:659-660.
    Direct download  
    Export citation  
    My bibliography  
  7.  13
    Ian Pratt (1987). Constraints, Meaning and Information. Linguistics and Philosophy 10 (3):299 - 324.
  8.  11
    Ian Pratt (1993). Analysis and the Attitudes. In Steven J. Wagner & Richard Warner (eds.), Naturalism: A Critical Appraisal. University of Notre Dame Press
    Direct download  
    Export citation  
    My bibliography  
  9.  1
    Ian Pratt (1993). Matching and Mental-State Ascription. Behavioral and Brain Sciences 16 (1):71.
    Direct download (3 more)  
    Export citation  
    My bibliography  
  10.  5
    Ian Pratt (1996). Encoding Psychological Knowledge. In Peter Millican & A. Clark (eds.), Machines and Thought. Oxford University Press 2--249.