G. Aldo Antonelli

Personal:

• Born in Torino, Italy, 1962.
• Dual citizen of the United States and Italy.

Affiliations:

• Department of Logic and Philosophy of Science, University of California, Irvine;
• Institute for the Mathematical Behavioral Sciences, University of California, Irvine.
• Professional societies:
• Association for Symbolic Logic;
• American Philosophical Association.

Education:

• PhD in Philosophy, University of Pittsburgh, 1992. Dissertation Title: Revision Rules: An Investigation into Non-Monotonic Inductive Definitions. Director: Prof. Nuel D. Belnap.
• Laurea in Filosofia (cum laude), Università di Torino, 1986. Thesis in Philosophy of Language; Director: Prof. Diego Marconi.

Areas of expertise:

• Primary areas of specialization: Logic and Applications; Defeasible Reasoning and Knowledge Representation; Philosophy of Mathematics; Philosophy of Logic; Philosophy of Language; Early Analytic Philosophy.
• Other interests: Philosophy of Science; Philosophy of Mind; History of Modern Philosophy.

Employment:

• University of California, Irvine, Professor, 2004 to present. .
• University of California Education Abroad Program, Director of the Rome/Siena Study Center, 2004-2006.
• University of California, Irvine, Associate Professor, 2000-2004.
• University of California, Irvine, Assistant Professor, 1998-2000.
• Michigan State University, Assistant Professor, 1997-1998.
• Stanford University, Acting Assistant Professor, 1996-1997.
• Yale University, Lecturer, 1993-1996.
• University of Pittsburgh, Visiting Lecturer, 1992-1993.
• University of Connecticut at Stamford, adjunct faculty, 1991-1992.
• Olivetti Corporate Research, Speech Processing Laboratory, Torino, Italy, 1986-87.

Honors:

• Rotary International Scholarship, 1987-88;
• Fulbright Fellowship, 1987-88 (declined);
• Alan Ross Anderson Fellow, University of Pittsburgh, 1988-89;
• Who's Who in America, 2001--.
• Who's Who in American Education, 2007--.

Service:

• University Service:
• Irvine Representative to the Universitywide Assembly of the Academic Senate, 2007-09.
• School of Social Sciences, Executive Committee: member, 2001-02; acting chair, 2002-03.
• Irvine division of the Academic Senate: member of the Committee on Research, Computing, and Library Resources, Fall 2003.
• Irvine division of the Academic Senate: School of Social Sciences representative (faculty chair), 2002-03.
• American Philosophical Association:
• Member of the Committee on International Cooperation, 2006-09.
• Member of the Advisory Committee to the Program Committee of the Eastern Divison of the APA, 2005-08.
• Association for Symbolic Logic:
• Chair of the local organizing committee for the 2008 Annual Meeting, Irvine, CA, March 27-30, 2008.
• Council Member (ex officio) 2004-07, 2007-10.
• Member of the Oversight Committee for the Journal of Philosophical Logic, 2001-03.
• Member of the Program Committee for the 2002 Spring meeting, (Seattle, March 26-30, 2002).
• Referee for:
• Publishing Houses: Cambridge University Press; Columbia University Press; Kluwer Academic Publishers; AK Peters Ltd.; Oxford University Press; Princeton University Press; World Scientific Publisher.
• Peer Review Journals: Artificial Intelligence; Australasian Journal of Philosophy; Dialectica; Bulletin of the Belgian Mathematical Society; Journal of Philosophical Logic; Erkenntnis; Journal of Symbolic Logic; Monist; Notre Dame Journal of Formal Logic; Philosophia Mathematica; Studia Logica; Topoi; Philosophy of Science; Journal of Logic and Computation.
• Funding Agencies: NSF Panel (October 2000); US Civilian Research and Development Foundation (July 2002); Fonds zur Förderung der wissentschaftlichen Forschung (FWF, Austria; December 2002).

Editorial responsibilities:

• Coordinating Editor, Journal of Philosophical Logic, 2004-2008.
• Coordinating Editor, Review of Symbolic Logic, 2007-2010.
• Co-editor for "Mathematical Logic", Stanford Encyclopedia of Philosophy.
• Editorial Board member, Notre Dame Journal of Formal Logic.

Publications and other work:

• Book:
• Grounded Consequence for Defeasible Logic, Cambridge University Press (2005), xii-118 pp. (ISBN 0521842050, ISBN13 9780521842051).


• Peer review journals:
• The Complexity of Revision, Notre Dame Journal of Formal Logic, 35:1 (1994), pp. 67-72 (Math. Rev. 95d:03042).
• Non-Well-Founded Sets via Revision Rules, Journal of Philosophical Logic vol. 23 (1994), no. 6 pp. 633-679 (Math. Rev. 95k:03086).
• 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).
• What's in a Function?, Synthése, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053).
• 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).
• (with Richmond H. Thomason) Representability in Second-Order Propositional Poly-Modal Logic, The Journal of Symbolic Logic vol 67, no. 3 (Sept 2002), pp. 1039-54.
• (with Robert May), Frege's Other Program, Notre Dame Journal of Formal Logic, 46(2005), no. 1, pp. 1-17 (Math. Rev. MR2131544, 2005k:03006).



• Other refereed work:
• Non-Monotonic Logic, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy (http://plato.stanford.edu), 2001, 2006.
• (with Cristina Bicchieri) Backwards Forward Induction, in R. Fagin (ed.), Theoretical Aspects of Reasoning about Knowledge. Proceedings of the Fifth Conference (TARK 94), Morgan Kauffman, San Francisco, 1994, pp. 24-43.
• (with Cristina Bicchieri and Eithan Ephrati) Games Servers Play: A Procedural Approach, in M. Wooldridge, J. Müller, & M. Tambe (eds), Intelligent Agents II, Proceedings of the Second IJCAI Workshop on Agent Theories, Architectures, and Languages (ATAL-95), Lecture Notes in Artificial Intelligence, 1037, Springer Verlag, Berlin 1996, pp. 127-42.




• Invited papers and book chapters:
• Free Quantification and Logical Invariance, in M. Andronico, A. Paternoster, and A. Voltolini (eds), Il significato eluso. Saggi in onore di Diego Marconi, special issue of Rivista di estetica, vol. 33 (1) 2007, pp. 61-73.
• La logica del ragionamento plausibile, in L. Floridi (ed.) Linee di Ricerca, SWIF, 2003, ISSN 1126-4780, http://www.swif.it/biblioteca/lr, 2004.
• Logic, in Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information, Blackwell, 2004, pp. 263-75.
• (with Robert May), Frege's New Science, Notre Dame Journal of Formal Logic, vol. 41 no. 3 (2000, appeared 2002), pp. 242-270.
• Reprinted in M. Beaney and E. Reck (eds), Gootlob Frege. Critical Assessments by Leading Philosophers, vol. II, "Frege's Philosophy of Logic," Routledge, New York and London, 2005, pp. 156-89.
• 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.
• 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.


• Edited works:
• Special issue of Topoi on "Mathematical Philosophy", vol. 20(1) 2001, ("Introduction", pp. 1-3).


• Miscellaneous:
  • The Complexity of Revision, Revised, Notre Dame Journal of Formal Logic, vol 43, n. 2 (2002, published 2004) pp. 75-78 (Math. Rev. MR203317, 2004k:03054).
  • (with Cristina Bicchieri) Forward Induction, Technical Report CMU-PHIL-58, Dept. of Philosophy, Carnegie Mellon University, April 1994.
  • Definition, The Routledge Encyclopedia of Philosophy, London and New York, 1998.
  • Italian translation of 10 papers in R. Viale (ed.), Mente umana, Mente artificiale ("Human Mind, Artificial Mind"), Feltrinelli, Milan 1989.
  • Non-Monotonic Logic, in D.M. Borchert (ed.), Encyclopedia of Philosophy, 2nd edition, Macmillan Reference USA, Detroit 2006.
  
  
• Book Reviews:
• Review of Robert C. Koons's ``Paradoxes of Belief and Strategic Rationality'' (Cambridge UP, 1992), Economics and Philosophy, 9 (1993), pp. 305-13.
• Review of Keith Simmons's ``Universality and the Liar. An Essay on Truth and the Diagonal Argument'' (Cambridge UP, 1993), Notre Dame Journal of Formal Logic, 37:1 (Winter 1996), pp. 152-59.
• 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 memory of Alonzo Church" (Synthèse Library vol. 305, Dordrecht, Boston, and London: Kluwer Academic Publishers, 2001, xiv-627pp.), History and Philosophy of Logic, vol 25 no. 2 (May 2004), pp. 154-55.


• Abstracts:
  • Non-Well-Founded Sets via Revision Rules, Journal of Symbolic Logic, 58 (1993), p. 371.
  • A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Journal of Symbolic Logic, 59 (1994), pp. 696-97.
  • Extensional Quotients for Type Theory, Bulletin of Symbolic Logic 2 (1996), p. 451.
  • The Mathematics of Defeasible Reasoning: Skepticism Vindicated, Bulletin of Symbolic Logic 4 (1998), pp. 210-11.
  • Free Set Algebras Satisfying Systems of Equations, Bulletin of Symbolic Logic vol. 5 n. 4 (1999), p. 479.
  • (with Richmond H. Thomason) Representability in second-order propositional S5, Bulletin of Symbolic Logic vol. 7 n. 3 (2001), p. 398-99.
  • Teaching Logic with LPL, Bulletin of Symbolic Logic vol. 9 n. 1 (2003), p. 55.
  • Logicism Without Logic, Bulletin of Symbolic Logic vol. 9 n. 1 (2003), p. 59-60.
  
  
• Unpublished:
• Il teorema di Gödel e la filosofia della mente, unpublished ms., May 2000.
  

  
  

Selected Invited Talks:

• Logicism, Quantifiers, and Abstraction, Dept. of Philosophy, University of California, Davis, February 6, 2008.
• From Philosophical Logic to Computer Science -- and back again (invited lecture at a special session on philosophical logic), Logic Colloquium 2007, Wrocław, Poland, July 15, 2007.
• Three lectures on defeasible reaoning: Varieties of non-monotonic logics (May 14, 2007); Inheritance networks: strict, defeasible, cyclic (May 15, 2007); General default reasoning (May 17, 2007), Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa.
• Free Quantification and Logical Invariance, "IF", 2^nd Irvine-Florence Colloqium in Logic and Philosophy of Science, Beckman Center of the National Academies (Irvine, CA), March 23, 2007.
• Free Quantification and Logical Invariance, Dept. of Philosophy, Oxford University, November 22, 2006.
• Free Quantification and Logical Invariance, Dept. of Philosophy, University of Bristol, November 21, 2006.
• La formalizzazione del ragionamento plausibile, Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa, May 30, 2006.
• First-order numerical abstraction, "IF," 1^st Irvine-Florence Colloquium in Logic & Philosophy of Science, Dip. di filosofia, Università di Firenze, March 31, 2006.
• First-order numerical abstraction, LMS "CAMeLEoN" meeting, Dept. of Mathematics, Cambridge University, May 26, 2005.
• La logica del ragionamento plausibile , Dip. di filosofia, Università di Firenze, March 4 and 11, 2005 (parts I and II).
• There are no more A's than B's -- and other non-standard quantifiers, Dept. of Mathematics, University of Bristol, January 7, 2005.
• First Order Quantifiers, History and Philosophy of Logic and Mathematics Colloquium, University of California, Berkeley, Oct. 22, 2003; and Logic Colloquium, University of California, Los Angeles, May 7, 2004.
• Frege: fra estensionalismo e logicismo, Dip. di studi umanistici, Università del Piemonte orientale "Amedeo Avogadro" (May 27, 2003); and Dip. di filosofia, Università di Firenze (May 29, 2003).
• Defeasible Reasoning for Intelligent Agents, Conference on "Logic and Games", City University and Graduate Center, New York, June 14-15, 2002.
• Teaching Logic with LPL, 2002 annual meeting of the Association for Symbolic Logic, Las Vegas, June 1-4, 2002 (special session on logic education).
• Logicism without Logic (joint work with Robert May), 2002 annual meeting of the Association for Symbolic Logic, Las Vegas, June 1-4, 2002 (special session on the philosophy of mathematics).
• Frege's New Science (joint work with Robert May), Notre Dame symposium on "Logicism and Paradoxes", Notre Dame, March 29-31, 2001.
• The Second-Order Propositional Theory of Two S5 Modalities (joint work with Richmond Thomason), UCLA Logic Colloquium, Dept of Mathematics, University of California, Los Angeles, March 2, 2001.
• A Language for Common Knowledge (joint work with Richmond Thomason), given at the NSF/CNR workshop on "Logic and Strategy of Distributed Agents", Trento (Italy), Dec. 14-19, 2000 (co-sponsored by the National Science Foundation and the Italian National Research Council).
• Le implicazioni del teorema di Gödel per la filosofia della mente, Parts I and II (Implications of Gödel's theorem for the philosophy of Mind, I and II), Università di Siena, May 24 and 25, 2000.
• Free Set Algebras Satisfying Systems of Equation, Logic Lunch Colloquium Series, Dept of Mathematics, Stanford University, April 2, 1999.
• Motivating the Axioms, History and Philosophy of Logic and Mathematics Colloquium, University of California, Berkeley, March 31, 1999.
• Free Set Algebras Satisfying Systems of Equation, UCLA Logic Colloquium, Dept of Mathematics, University of California, Los Angeles, March 5, 1999.
• Quozienti estensionali e algebre di insiemi (Extensional Quotients and Set Algebras), Dipartimento di Filosofia, Università di Firenze, Florence, December 5, 1998.
• The Mathematics of Defeasible Reasoning: Skepticism Vindicated, joint ASL-APA Meeting, Los Angeles, March 28, 1998.
• A Room with a View: Set algebras as a vantage point on set theory, Department of Philosophy, University of California, Irvine, January 23, 1998.
• Cautious Consequence for Default Logic, Logic Colloqium, Dept. of Mathematics, University of California, Los Angeles, February 28, 1997.
• Cautious Consequence for Default Logic, Dept. of Philosophy, Carnegie Mellon University, Pittsburgh, February 21 1997.
• Defeasible Consequence, Department of Philosophy, University of California, Irvine, January 27, 1997.
• General Extensions for Default Logic, Seminar in Applications of Logic, CUNY Graduate Center, March 19, 1996; and Logic Colloquium, Group in Logic and the Methodology of Science, University of California, Berkeley, November 8, 1996.
• Boolos sulla quantificazione plurale e la logica del secondo ordine (Boolos on Plural Quantification and Second-Order Logic), Seminari episodici di Semantica e Intelligenza Artificiale, Dipartimento di Informatica, Università di Torino, May 26, 1995.
• Zermelo, Russell, Quine, and the Set-Theoretic Paradoxes, Dept. of Philosophy, Yale University, March 23, 1995.
• An Axiomatic Approach to Bounded Knowledge and Local Rationality in Game Theory, Seminar in Applications of Logic, CUNY Graduate Center, April 15, 1994.
• Problemi di rappresentazione della conoscenza: tassonomie con eccezioni (Problems in Knowledge Representation: Taxonomies with Exceptions), Dipartimento di Filosofia, Università di Milano, November 22, 1993.
• Defeasible Inheritance on Cyclic Networks, Yale University Computer Science Department, October 26, 1993.
• Game Theory and Default Logic, Summer Workshop of the Stanford Institute for Theoretical Economics on ``Epistemic Foundations of Game Theory,'' Stanford, CA, August 3-12, 1993.
• A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Logic Colloquium, Carnegie Mellon University, Mathematics Dept, February 4, 1993.

Courses taught:

• Graduate Seminars:
• Logic of Knowledge and Game Theory, Spring Quarter 2007.
• Non-standard Quantifiers and Abstraction Principles, Fall Quarter 2006.
• Model Theory, Winter Quarter 2004.
• Logic for Artificial Intelligence, Fall 2002, Fall 2003.
• Topics in Logic: (1) the logic of agency; (2) the metatheory of PA; Winter Quarter 2002.
• (with Robert May) Topics in Philosophy of Language, Spring Quarter, 2001.
• (with Robert May) Frege, Spring Quarter, 2000.
• Defeasible Reasoning, Fall Quarter, 1999.
• Topics in Philosophy of Mathematics: Frege, Spring Quarter, 1999.
• 1899-1931: From Hilbert to Brouwer: Winter Quarter 1997.
• The Ontology and Epistemology of Mathematics: Spring 1996.
• Non-Standard Set Theories: Spring 1995.
• Philosophical Issues in Computation: Spring 1994.

• Graduate and Upper-level Undergraduate Courses:
• Effective Processes and Incompleteness, Spring Quarter, 2001.
• Introduction to Symbolic Logic, Spring Quarter, 2001; Fall Quarter 2001, Fall Quarter 2002, Fall Quarter 2003, Fall Quarter 2006.
• Philosophy of Mathematics: the foundational debate, Fall Quarter 2000.
• Analytic Philosophy, Winter Quarter 2000.
• Metalogic, Winter Quarter 1999, Winter Quarter 2003.
• Formal Reasoning I: Fall 1997.
• Topics in Philosophical Logic: Spring 1998.
• Formal Reasoning II: Spring 1998.
• First-Order Logic: Winter Quarter 1997.
• Basic Concepts in Mathematical Logic: Autumn Quarter 1996.
• The Origins of Analytic Philosophy and the Vienna Circle: Autumn Quarter 1996.
• Philosophy in the 20th century: the Analytic Tradition: Fall 1995.
• Modal Logic: Spring 1995.
• Introduction to the Philosophy of Mathematics: Spring 1994, Fall 2000.
• Logical Metatheory I: Fall 1993, Fall 1994.
• Logical Metatheory II: Spring 1996.
• Philosophy of Language: Spring 1993.
• Topics in Analytic Philosophy: Fall 1992, Fall 1997.
• Symbolic Logic: Summer 1990.

• Introductory:
• Freshman seminar: Infinity and Paradox: Winter Quarter 2003, Winter Quarter 2004.
• Introduction to Symbolic Logic: Spring Quarter 2000, Winter Quarter 2001, Winter Quarter 2002, Winter Quarter 2003, Winter Quarter 2004.
• Introduction to Logic: Summer 1989, Fall 1990, Spring 1991, Spring 1992, Fall 1992, Spring 1993, Fall 1993, Fall 1994, Fall 1995, Spring Quarter 1997.
• Problems of Philosophy: Fall 1991, Summer 1992, Winter Quarter 1999.
• Philosophical Classics: Spring 1992, Summer 1992.