10 found
Sort by:
  1. Gian Aldo Antonelli (1998). Extensional Quotients for Type Theory and the Consistency Problem for NF. Journal of Symbolic Logic 63 (1):247-261.
    Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Gian Aldo Antonelli (1996). What's in a Function? Synthese 107 (2):167 - 204.
    In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Gian Aldo Antonelli (1996). Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. [REVIEW] Notre Dame Journal of Formal Logic 37 (1):152-159.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Gian Aldo Antonelli & Cristina Bicchieri (1995). Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. Journal of Logic, Language and Information 4 (2):145-167.
    We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like “rationality at a node” and “knowledge at a node.” We distinguish between the game theorist's and the players' own “theory of the game.” The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  5. Cristina Bicchieri & Gian Aldo Antonelli (1995). Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. Journal of Logic, Language and Information 4 (2):145-167.
    We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like rationality at a node and knowledge at a node. We distinguish between the game theorist's and the players' own theory of the game. The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  6. Gian Aldo Antonelli (1994). Non-Well-Founded Sets Via Revision Rules. Journal of Philosophical Logic 23 (6):633 - 679.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Gian Aldo Antonelli (1994). The Complexity of Revision. Notre Dame Journal of Formal Logic 35 (1):67-72.
  8. Gian Aldo Antonelli & Cristina Bicchieri, Backwards Forwards Induction.
    Gian Aldo Antonelli and Cristina Bicchieri. Backwards Forwards Induction.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Gian Aldo Antonelli & Cristina Bicchieri, Forward Induction.
    Gian Aldo Antonelli and Cristina Bicchieri. Forward Induction.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Gian Aldo Antonelli (1993). Paradoxes of Belief and Strategic Rationality, Koons Robert. Cambridge: Cambridge University Press, 1992, Xii + 174 Pages. [REVIEW] Economics and Philosophy 9 (02):305-.