1. John Pais (1992). Faithful Representation of Nonmonotonic Patterns of Inference. Minds and Machines 2 (1):27-49.
    Recently, John Bell has proposed that a specific conditional logic, C, be considered as a serious candidate for formally representing and faithfully capturing various (possibly all) formalized notions of nonmonotonic inference. The purpose of the present paper is to develop evaluative criteria for critically assessing such claims. Inference patterns are described in terms of the presence or absence of residual classical monotonicity and intrinsic nonmonotonicity. The concept of a faithful representation is then developed for a formalism purported to encode a (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. John Pais (1992). Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2):279 - 316.
    The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. John Pais & Peter Jackson (1992). Partial Monotonicity and a New Version of the Ramsey Test. Studia Logica 51 (1):21 - 47.
    We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation