Selected published and unpublished papers by Aldo Antonelli

Here is a list of published and unpublished items for which I was able to find or generate a PDF image. The source of some files could no longer be found, so a graphic image had to be scanned and saved to PDF (hence the size of some files).
Click on the title to download.

For a complete list of publications, see a recent vitæ: web version or PDF

  1. Articles, book chapters, etc:
    1. The Complexity of Revision, Notre Dame Journal of Formal Logic, 35:1 (1994), pp. 67-72 (Math. Rev. 95d:03042). Warning: 1.3M pdf image! (for a correction, see The Complexity of Revision, Revised, 1998 ms., The Notre Dame Journal of Formal Logic, vol 43, n. 2 (2002, published 2004) pp. 75-78).
    2. Non-Well-Founded Sets via Revision Rules, Journal of Philosophical Logic vol. 23 (1994), no. 6 pp. 633-679 (Math. Rev. 95k:03086). Warning: 8.8M pdf image!
    3. A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Notre Dame Journal of Formal Logic, 35:2 (1994), pp. 204-18 (Math. Rev. 96a:03059).
    4. (with Cristina Bicchieri) Game-Theoretic Axioms for Local Rationality and Bounded Knowledge, Journal of Logic, Language and Information, 4 (1995), pp. 145-67 (Math. Rev. 96k:03038). Warning: 6.4M pdf image!
    5. What's in a Function?, Synthése, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053). Warning: 10M pdf image!
    6. Defeasible Reasoning as a Cognitive Model, in The Parikh Project. Seven Papers in Honour of Rohit, Uppsala Prints and Preprints in Philosophy, 1996 number 18, Department of Philosophy, Uppsala University, pp. 1-13.
    7. Defeasible Inheritance on Cyclic Networks, Artificial Intelligence v. 92 (1997), pp. 1-23 (Math. Rev. 98a68170).
    8. Gödel, Penrose, e i fondamenti dell'intelligenza artificiale, Sistemi Intelligenti, vol. 9, n. 3, 1997, pp. 353-376.
    9. Extensional Quotients for Type Theory and the Consistency Problem for NF, Journal of Symbolic Logic, v. 63 n. 1, pp. 247-261, March 1998. (Math. Rev. 99j:03045).
    10. Conceptions and Paradoxes of Sets, Philosophia Mathematica, (3) Vol. 7 (1999), No. 2, pp.136-63 (Math. Rev. 2000c:00010).
    11. A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extensions, Artificial Intelligence v. 109, n. 1-2, pp. 71-109 (April 1999) (Math. Rev. 2000g:68141). .
    12. Free Set Algebras Satisfying Systems of Equations, The Journal of Symbolic Logic, vol. 64, n.4 (1999), pp. 1656-1674 (Math. Rev. 1 780 077).
    13. Proto-semantics for Positive Free Logic, The Journal of Philosophical Logic, vol. 29 n. 3 (2000), pp. 277-294 (Math. Rev. 2001h:03020).
    14. Virtuous Circles. From Fixed Points to Revision Rules, in Anil Gupta and André Chapuis (eds), Circularity, Definition, and Truth Indian Council of Philosophical Research, New Dehli, 2000, pp. 1-27.
    15. Non-Monotonic Logic, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy (http://plato.stanford.edu, Spring 2001).
    16. (with Robert May), Frege's New Science, Notre Dame Journal of Formal Logic, vol. 41 no. 3 (2000, appeared 2002), pp. 242-270
    17. (with Richmond H. Thomason) Representability in Second-Order Propositional Poly-Modal Logic, The Journal of Symbolic Logic, vol 67, n. 3 (Sept. 2002) pp. 1039-54.
    18. Logic, in Luciano Floridi (ed.), Blackwell Guide to the Philosophy of Computing and Information, pp. 263-75, Blackwell, 2004.
    19. (With Robert May) Frege's other program, Notre Dame Journal of Formal Logic 46(1), 2005, pp. 1-17.
    20. La logica del ragionamento plausibile, in L. Floridi (ed.) Linee di Ricerca, SWIF, 2004, pp. 226-52, ISSN 1126-4780, http://www.swif.it/biblioteca/lr.
    21. Non-Monotonic Logic, in D. Borchert (ed.), Encyclopedia of Philosophy (second edition), MacMillan 2006.
    22. Free Quantification and Logical Invariance , in Andronico, Paternoster, Voltolini (eds), Il significato eluso. Saggi in onore di Diego Marconi, special issue of Rivista di estetica, vol. 33 (1) 2007, pp. 61-73.
    23. Logicism, Quantifiers and Abstraction , unpublished ms., 31 pp., March 2008.

  2. Book Reviews:
    1. Review of Dov M. Gabbay, C. J. Hogger, & J. A. Robinson (eds), ``Handbook of Logic in Artificial Intelligence and Logic Programming,'' Vol. 3: ``Nonmonotonic Reasoning and Uncertain Reasoning'' (Oxford UP, 1994, 552 pp.), The Bulletin of Symbolic Logic vol. 6 n. 4 (2000), pp. 480-84.
    2. Review of R. Giere & A. Richardson (eds), ``Origins of Logical Empricism'' Minnesota Studies in the Philosophy of Science, XVI, (University of Minnesota Press, 1996, vii-392 pp.) Grazer Philosophische Studien, vol. 60, pp. 217-228.
    3. Review of Solomon Feferman, ``In the Light of Logic'' (Oxford UP, 1998, xii-340 pp.), The Bulletin of Symbolic Logic, vol. 7 no. 2 (June 2001), pp. 270-277.
    4. Review of C. Anthony Anderson and Michael Zelëny (eds), ``Logic, Meaning, and Computation. Essays in Honor of Alonzo Church'' (Kluwer Academic Publishers, 2001, xiv-627 pp.), in History and Philosophy of Logic vol 25 no. 2 (May 2004), pp. 154-55.

  3. Presentation slides and other Miscellanea:
    1. From Philosophical Logic to Computer Science -- and back again , slides from an invited talk given at a special session on Philosophical Logic held at the Logic Colloquium, Wroclaw, Poland, July 14-19, 2007.
    2. Infinito, scienza, paradosso , slides from a talk given at the Italian Cultural Institute of Los Angeles, 31 October 2006.
    3. First order quantifiers , slides from a talk given at Berkeley, October 2003.
    4. Frege: fra estensionalismo e logicismo, slides from a talk given in Florence, May 2003.
    5. Logicism without Logic, slides from a talk given at the 2002 ASL meeting in Las Vegas.
    6. Defeasible Reasoning for Intelligent Agents, slides from a talk given at the 2002 conference on "Logic and Games", CUNY Graduate Center.
    7. Il teorema di Gödel e la filosofia della mente, unpublished ms., May 2000.

  4. Rescued from the depths of time:
    1. Revision Rules: an investigation into non-monotonic inductive definitions, PhD Dissertation, University of Pittsburgh, 1992 (advisor: Nuel D. Belnap).