Order:
Disambiguations
Ian Pratt [10]Ian Edwin Pratt [1]
  1.  10
    A Complete Axiom System for Polygonal Mereotopology of the Real Plane.Ian Pratt & Dominik Schoop - 1998 - 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   10 citations  
  2.  24
    Temporal Prepositions and Temporal Generalized Quantifiers.Ian Pratt & Nissim Francez - 2001 - 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.  18
    Ontologies for Plane, Polygonal Mereotopology.Ian Pratt & Oliver Lemon - 1997 - 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   6 citations  
  4.  10
    Expressivity in Polygonal, Plane Mereotopology.Ian Pratt & Dominik Schoop - 2000 - 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 (8 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  5.  20
    On the Insufficiency of Linear Diagrams for Syllogisms.Oliver Lemon & Ian Pratt - 1998 - 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   4 citations  
  6.  16
    Constraints, Meaning and Information.Ian Pratt - 1987 - Linguistics and Philosophy 10 (3):299 - 324.
  7.  4
    Matching and Mental-State Ascription.Ian Pratt - 1993 - Behavioral and Brain Sciences 16 (1):71.
  8.  12
    Analysis and the Attitudes.Ian Pratt - 1993 - In Steven J. Wagner & Richard Warner (eds.), Naturalism: A Critical Appraisal. University of Notre Dame Press.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  6
    Encoding Psychological Knowledge.Ian Pratt - 1996 - In Peter Millican & A. Clark (eds.), Machines and Thought. Oxford University Press. pp. 2--249.
  10. Expressivity in Polygonal, Plane Mereotopology.Ian Pratt & Dominik Schoop - 2000 - 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 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 two (...)
    Direct download  
     
    Export citation  
     
    My bibliography