20 found
Order:
Disambiguations
Ian Pratt-Hartmann [19]Ian E. Pratt-Hartmann [1]
  1.  87
    Logics for the Relational Syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
    The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question of whether reductio (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  42
    Fragments of Language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
    By a fragment of a natural language we mean a subset of thatlanguage equipped with semantics which translate its sentences intosome formal system such as first-order logic. The familiar conceptsof satisfiability and entailment can be defined for anysuch fragment in a natural way. The question therefore arises, for anygiven fragment of a natural language, as to the computational complexityof determining satisfiability and entailment within that fragment. Wepresent a series of fragments of English for which the satisfiabilityproblem is polynomial, NP-complete, EXPTIME-complete,NEXPTIME-complete (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3. Handbook of Spatial Logics.Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.) - 2007 - Springer Verlag.
     
    Export citation  
     
    Bookmark   6 citations  
  4.  32
    Complexity of the Two-Variable Fragment with Counting Quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
    The satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  85
    A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.
    A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as “region V1 touches the boundary of region V2”, “region V3 is connected” or “region V4 is a proper part of the closure of region V5”. A formula f in a topological constraint language is said to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  29
    On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
    The numerically definite syllogistic is the fragment of English obtained by extending the language of the classical syllogism with numerical quantifiers. The numerically definite relational syllogistic is the fragment of English obtained by extending the numerically definite syllogistic with predicates involving transitive verbs. This paper investigates the computational complexity of the satisfiability problem for these fragments. We show that the satisfiability problem (= finite satisfiability problem) for the numerically definite syllogistic is strongly NP-complete, and that the satisfiability problem (= finite (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  16
    More Fragments of Language.Ian Pratt-Hartmann & Allan Third - 2006 - Notre Dame Journal of Formal Logic 47 (2):151-177.
    By a fragment of a natural language, we understand a collection of sentences forming a naturally delineated subset of that language and equipped with a semantics commanding the general assent of its native speakers. By the semantic complexity of such a fragment, we understand the computational complexity of deciding whether any given set of sentences in that fragment represents a logically possible situation. In earlier papers by the first author, the semantic complexity of various fragments of English involving at most (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  61
    Elementary Polyhedral Mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
    A region-based model of physical space is one in which the primitive spatial entities are regions, rather than points, and in which the primitive spatial relations take regions, rather than points, as their relata. Historically, the most intensively investigated region-based models are those whose primitive relations are topological in character; and the study of the topology of physical space from a region-based perspective has come to be called mereotopology. This paper concentrates on a mereotopological formalism originally introduced by Whitehead, which (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  5
    The Fluted Fragment Revisited.Ian Pratt-Hartmann, Wiesław Szwast & Lidia Tendera - 2019 - Journal of Symbolic Logic 84 (3):1020-1048.
    We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, motivated by the work of W. V. Quine. We show that the satisfiability problem for this fragment has nonelementary complexity, thus refuting an earlier published claim by W. C. Purdy that it is in NExpTime. More precisely, we consider ${\cal F}{{\cal L}^m}$, the intersection of the fluted fragment and the m-variable fragment of first-order logic, for all $m \ge 1$. We show that, for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Quine’s Fluted Fragment Revisited.Ian Pratt-Hartmann, Wiesław Szwast & Lidia Tendera - forthcoming - Journal of Symbolic Logic:1-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  19
    The Hamiltonian Syllogistic.Ian Pratt-Hartmann - 2011 - Journal of Logic, Language and Information 20 (4):445-474.
    This paper undertakes a re-examination of Sir William Hamilton’s doctrine of the quantification of the predicate . Hamilton’s doctrine comprises two theses. First, the predicates of traditional syllogistic sentence-forms contain implicit existential quantifiers, so that, for example, All p is q is to be understood as All p is some q . Second, these implicit quantifiers can be meaningfully dualized to yield novel sentence-forms, such as, for example, All p is all q . Hamilton attempted to provide a deductive system (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  10
    Joseph Y. Halpern. Reasoning About Uncertainty. MIT Press Cambridge, MA, 2003, Xiv + 483 Pp. [REVIEW]Ian Pratt-Hartmann - 2004 - Bulletin of Symbolic Logic 10 (3):427-429.
  13.  6
    Topology, Connectedness, and Modal Logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 151-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Topology, Connectedness, and Modal Logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  14
    A Two-Variable Fragment of English.Ian Pratt-Hartmann - 2003 - Journal of Logic, Language and Information 12 (1):13-45.
    Controlled languages are regimented fragments of natural languagedesigned to make the processing of natural language more efficient andreliable. This paper defines a controlled language, E2V, whose principalgrammatical resources include determiners, relative clauses, reflexivesand pronouns. We provide a formal syntax and semantics for E2V, in whichanaphoric ambiguities are resolved in a linguistically natural way. Weshow that the expressive power of E2V is equal to that of thetwo-variable fragment of first-order logic. It follows that the problemof determining the satisfiability of a set (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  49
    The Syllogistic with Unity.Ian Pratt-Hartmann - 2013 - Journal of Philosophical Logic 42 (2):391-407.
    We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  17.  27
    Conditionalization and Total Knowledge.Ian Pratt-Hartmann - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):247-266.
    This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agent's degrees of belief—assumed to be encoded as a probability distribution—should be revised by conditionalization on the agent's total knowledge up to that time. A familiar argument, based on the construction of a diachronic Dutch book, purports to show that Bayesian updating is the only rational belief-revision policy. We investigate the conditions under which the premises (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Finite Satisfiability for Two-Variable, First-Order Logic with One Transitive Relation is Decidable.Ian Pratt-Hartmann - 2018 - Mathematical Logic Quarterly 64 (3):218-248.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    The Two-Variable Fragment with Counting and Equivalence.Ian Pratt-Hartmann - 2015 - Mathematical Logic Quarterly 61 (6):474-515.
  20.  12
    Editors' Preface.Nissim Francez & Ian Pratt-Hartmann - 2012 - Studia Logica 100 (4):663-665.