Papers
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. (Many of the links below are broken as a result of a move to a new server. I will restore them soon, but email me if you need of the papers below)
For a complete list of publications, see a recent vitæ: web version or PDF
- Articles, book chapters, etc:
- 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).
- 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!
- A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Notre Dame Journal of Formal Logic, 35:2 (1994), pp. 204-18 (Math. Rev. 96a:03059).
- (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!
- What's in a Function?, Synthése, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053). Warning: 10M pdf image!
- 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.
- Defeasible Inheritance on Cyclic Networks, Artificial Intelligence v. 92 (1997), pp. 1-23 (Math. Rev. 98a68170).
- Gödel, Penrose, e i fondamenti dell'intelligenza artificiale, Sistemi Intelligenti, vol. 9, n. 3, 1997, pp. 353-376.
- 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).
- Conceptions and Paradoxes of Sets, Philosophia Mathematica, (3) Vol. 7 (1999), No. 2, pp.136-63 (Math. Rev. 2000c:00010).
- 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). .
- 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).
- Proto-semantics for Positive Free Logic, The Journal of Philosophical Logic, vol. 29 n. 3 (2000), pp. 277-294 (Math. Rev. 2001h:03020); corrected version here.
- 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.
- Non-Monotonic Logic, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy (http://plato.stanford.edu, Spring 2001).
- (with Robert May), Frege's New Science, Notre Dame Journal of Formal Logic, vol. 41 no. 3 (2000, appeared 2002), pp. 242-270
- (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.
- Logic, in Luciano Floridi (ed.), Blackwell Guide to the Philosophy of Computing and Information, pp. 263-75, Blackwell, 2004.
- (With Robert May) Frege's other program, Notre Dame Journal of Formal Logic 46(1), 2005, pp. 1-17.
- 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.
- Non-Monotonic Logic, in D. Borchert (ed.), Encyclopedia of Philosophy (second edition), MacMillan 2006.
- 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.
- The Nature and Purpose of Numbers, to appear, The Journal of Philosophy (to appear).
- Numerical Abstraction via the Frege Quantifier, Notre Dame Journal of Formal Logic vol. 51 no. 2 (2010).
- Notions of Invariance for Abstraction Principles , Philosophia Mathematica vol. 18 no. 3 (2010), pp. 276-92.
- (with Robert May) Quantifiers and Determiners , in G. Russell and D. Fara (eds) The Routledge Companion to the Philosophy of Language (to appear).
- A Note on Induction, Abstraction, and Dedekind-Finiteness, Notre Dame Journal of Formal Logic (to appear).
- Book Reviews:
- 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.
- 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.
- 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.
- 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.
- Presentation slides and other Miscellanea:
- 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.
- Infinito, scienza, paradosso , slides from a talk given at the Italian Cultural Institute of Los Angeles, 31 October 2006.
- First order quantifiers , slides from a talk given at Berkeley, October 2003.
- Frege: fra estensionalismo e logicismo, slides from a talk given in Florence, May 2003.
- Logicism without Logic, slides from a talk given at the 2002 ASL meeting in Las Vegas.
- Defeasible Reasoning for Intelligent Agents, slides from a talk given at the 2002 conference on "Logic and Games", CUNY Graduate Center.
- Il teorema di Gödel e la filosofia della mente, unpublished ms., May 2000.
- Rescued from the depths of time:
- Revision Rules: an investigation into non-monotonic inductive definitions, PhD Dissertation, University of Pittsburgh, 1992 (advisor: Nuel D. Belnap).
Document Actions