Curriculum Vitae

 

Personal:

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

Affiliations:

  • Department of Philosophy, University of California, Davis;
  • Professional societies: Association for Symbolic Logic; American Philosophical Association, Philosophy of Mathematics Association, Society for Exact Philosophy.

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, Davis, Professor, 2008 to present.
  • University of California, Irvine, Professor, 2004–2008.
  • 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–.

Editorial responsibilities:

  • Coordinating Editor, Journal of Philosophical Logic, 2004-2008.
  • Founding Coordinating Editor, Review of Symbolic Logic, 2007-2010.
  • Co-editor for “Mathematical Logic”, Stanford Encyclopedia of Philosophy (ongoing).
  • Editorial Board member, Notre Dame Journal of Formal Logic (ongoing).
  • Editorial Board member, Trends in Logic, Studia Logica Library (ongoing).

Service:

  • University Service:
    • Davis division of the Academic Senate: Faculty Welfare Committee member, 2013–.
    • Irvine Representative to the Universitywide Assembly of the Academic Senate, 2007-08.
    • UC Irvine 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:
    • Member of the Program Committee for the 2010-11 Spring meeting, (San Diego, April 20-23, 2011).
    • 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.
  • Other:
    • Program advisor for the 14th International Congress of Logic, Methodology and Philosophy of Science (Nancy, France, July 19-26, 2011).
    • Referee for publishing houses, including: Cambridge University Press; Columbia University Press; Kluwer Academic Publishers; AK Peters Ltd.; Oxford University Press; Princeton University Press; World Scientific Publisher.
    • Referee for peer review journals, including: Artificial Intelligence; Australasian Journal of Philosophy; Dialectica; Bulletin of the Belgian Mathematical Society; Journal of Philosophical Logic; Erkenntnis; Journal of Logic and Computation; Journal of Symbolic Logic; Monist; Notre Dame Journal of Formal Logic; Philosophia Mathematica; Philosophy of Science; Review of Symbolic Logic; Studia Logica; Topoi.
    • Referee for 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).

PhD dissertations supervised:

      • Curtis Franks, UC Irvine, 2006. Dissertation title: Mathematics Speaks for Itself.
      • Eric Updike, UC Irvine, 2010. Dissertation title: Paradise Regained:  Fitch’s Program of Basic Logic.
      • Lucas Halpin, UC Davis, 2011. Dissertation title: Meta-Philosophy: Contra-Quine.
      • Ted Shear, UC Davis, 2015 (projected). Dissertation title: TBD.

Publications and other work:

      • Book: Grounded Consequence for Defeasible Logic, Cambridge University Press (2005), xii-118 pp. (ISBN 0521842050, ISBN13 9780521842051).
      • Publications in peer review journals:
        1. The Complexity of Revision, Notre Dame Journal of Formal Logic, 35:1 (1994), pp. 67-72 (Math. Rev. 95d:03042).
        2. Non-Well-Founded Sets via Revision Rules, Journal of Philosophical Logic vol. 23 (1994), no. 6 pp. 633-679 (Math. Rev. 95k:03086).
        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).
        5. What’s in a Function?, Synthèse, 107 (2), May 1996, pp. 167-204 (Math. Rev. 97k03053).
        6. Defeasible Inheritance on Cyclic Networks, Artificial Intelligence v. 92 (1997), pp. 1-23 (Math. Rev. 98a68170).
        7. Gödel, Penrose, e i fondamenti dell’intelligenza artificiale, Sistemi Intelligenti, vol. 9, n. 3, 1997, pp. 353-376.
        8. 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).
        9. Conceptions and Paradoxes of Sets, Philosophia Mathematica, (3) Vol. 7 (1999), No. 2, pp.136-63 (Math. Rev. 2000c:00010).
        10. 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). .
        11. 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).
        12. Proto-semantics for Positive Free Logic, The Journal of Philosophical Logic, vol. 29 n. 3, 2000, pp. 277-294 (Math. Rev. 2001h:03020).
          • Expanded and corrected version to appear as “A bivalent extensional semantics for positive free logic”  in Karel Lambert, Reflections on Free Logics, Ontos Verlag, Frankfurt and Lancaster, to appear.
        13. (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.
        14. 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).
        15. (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).
        16. Numerical Abstraction via the Frege Quantifier, Notre Dame Journal of Formal Logic, vol. 51 no. 2 (2010), pp. 161-79.
        17. The Nature and Purpose of Numbers, The Journal of Philosophy, vol. 107 (4), April 2010, pp. 191-212.
        18. Notions of Invariance for Abstraction Principles, Philosophia Mathematica, vol. 18 no. 3 (2010), pp. 276-92.
        19. A Note on Induction, Abstraction, and Dedekind-Finiteness, Notre Dame Journal of Formal Logic, vol. 53, n. 2 (2012), pp. 187-92.
        20. On the General Interpretation of First-Order Quantifiers, Review of Symbolic Logic,  vol. 6, no. 4 (2013), pp.  637-58 (published online 25 October 2013).
      • Other refereed work:
        1. (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.
        2. (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.
        3. Non-Monotonic Logic, in E. Zalta (ed.), The Stanford Encyclopedia of Philosophy (http://plato.stanford.edu), 2001, 2006, 2010.
      • Invited papers and book chapters:
        1. 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.
        2. 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.
        3. (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), Gottlob Frege. Critical Assessments by Leading Philosophers, vol. II, “Frege’s Philosophy of Logic,” Routledge, New York and London, 2005, pp. 156-89.
        4. Logic, in Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information, Blackwell, 2004, pp. 263-75.
        5. La logica del ragionamento plausibile, in L. Floridi (ed.) Linee di Ricerca, SWIF, 2003, ISSN 1126-4780, http://www.swif.it/biblioteca/lr, 2004.
        6. 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.
        7. (with Robert May) Quantifiers and Determiners, in G. Russell and D. Fara (eds), The Routledge Companion to the Philosophy of Language, Routledge, 2012, pp. 342–354.
        8. (with Robert May) A Note on Order, in T. Graf, D. Paperno, A. Szabolcsi, J. Tellings (eds), Theories of Everything: in honor of Ed Keenan, UCLA Working Papers in Linguistics, vol. 17 (2012).
        9. Life on the Range: Quine’s Thesis and Semantic Indeterminacy, to appear in A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers, Synthese Library: Studies in Epistemology, Logic, Methodology, and Philosophy of Science, Springer.
        10. Interrogative Inquiry as Defeasible Reasoning, to appear in C. Başkent (ed.), Perspectives on Interrogative Models of Inquiry — Developments in Inquiry and Questions, Springer.
      • Edited works:
        1. Special issue of Topoi on “Mathematical Philosophy”, vol. 20(1) 2001, (“Introduction”, pp. 1-3).
        2. (with Alasdair Urquhart and Richard Zach) special issue of the Review of Symbolic Logic (vol. 1, no. 2, 2008) on “Mathematical applications in Philosophy”, proceedings of a workshop at BIRS, Banff International Research Station for Mathematical Innovation and Discovery.
      • Miscellaneous:
        1. Italian translation of 10 papers in R. Viale (ed.), Mente umana, Mente artificiale (“Human Mind, Artificial Mind”), Feltrinelli, Milan 1989.
        2. (with Cristina Bicchieri) Forward Induction, Technical Report CMU-PHIL-58, Dept. of Philosophy, Carnegie Mellon University, April 1994.
        3. Definition, The Routledge Encyclopedia of Philosophy, London and New York, 1998.
        4. Non-Monotonic Logic, in D.M. Borchert (ed.), Encyclopedia of Philosophy, 2nd edition, Macmillan Reference USA, Detroit 200
      • Book Reviews:
        1. Review of Robert C. Koons’s “Paradoxes of Belief and Strategic Rationality” (Cambridge UP, 1992), Economics and Philosophy, 9 (1993), pp. 305-13.
        2. 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.
        3. 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.
        4. Review of R. Giere & A. Richardson (eds), “Origins of Logical Empiricism” Minnesota Studies in the Philosophy of Science, XVI, (University of Minnesota Press, 1996, vii-392 pp.) Grazer Philosophische Studien, vol. 60, pp. 217-228.
        5. 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.
        6. 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.
        7. Review of N. Rescher and P. Grim, “Beyond Sets. A venture in Collection-Theoretic Revisionism,” (Ontos Verlag 2011, 112 pp.), Notre Dame Philosophical Reviews, 3 July 2011.
        8. Review of R.G. Heck, “Frege’s Theorem,” (Clarendon Press, Oxford, 2011, xiv-307 pp.), International Studies in the Philosophy of Science, vol. 26, no. 2, June 2012, pp. 219–22.
        9. Review of A. Gupta, “Truth, Meaning, Experience,” (Oxford University Press, 2012, xi-270 pp.), Notre Dame Philosophical Reviews, 1 September 2012.
        10. Review of P. Blanchette, “Frege’s Conception of Logic,” (Oxford University Press, 2012, xv-190 pp.), Bulletin of Symbolic Logic, vol. 19 (2), pp. 219–22.
      • Abstracts:
        1. Non-Well-Founded Sets via Revision Rules, Journal of Symbolic Logic, 58 (1993), p. 371.
        2. A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Journal of Symbolic Logic, 59 (1994), pp. 696-97.
        3. Extensional Quotients for Type Theory, Bulletin of Symbolic Logic 2 (1996), p. 451.
        4. The Mathematics of Defeasible Reasoning: Skepticism Vindicated, Bulletin of Symbolic Logic 4 (1998), pp. 210-11.
        5. Free Set Algebras Satisfying Systems of Equations, Bulletin of Symbolic Logic vol. 5 n. 4 (1999), p. 479.
        6. (with Richmond H. Thomason) Representability in second-order propositional S5, Bulletin of Symbolic Logic vol. 7 n. 3 (2001), p. 398-99.
        7. Teaching Logic with LPL, Bulletin of Symbolic Logic vol. 9 n. 1 (2003), p. 55.
        8. Logicism Without Logic, Bulletin of Symbolic Logic vol. 9 n. 1 (2003), p. 59-60.

Selected  Talks (more recent first):

    1. General First-Order Models: Concepts and Results, Group in Logic and the Methodology of Science, Dept. of Mathematics, University of California, Berkeley, march 14, 2014.
    2. Interrogative Inquiry as Defeasible Reasoning, “Logic, Questions and Inquiry: A conference on Hintikka’s Interrogative Model of Inquiry” (LoQI), Institut d’histoire et de philosophie des sciences et des techniques (IHPST), Paris, May 30–June 1, 2013.
    3. On the General Interpretation of First-Order Quantifiers, Third SoCal Philosophy of Math Workshop, UCLA, April 20, 2013.
    4. Henkin Semantics for First-Order Logic, Dept. of Logic & Philosophy of Science, University of California, Irvine, Jan 10, 2013.
    5. On the General Interpretation of First-Order Quantifiers, Thirteenth Midwest Philosophy of Mathematics Workshop (MWPMW13), University of Notre Dame, October 27, 2012.
    6. Home on the Range: Where Semantics and Ontology Play, Dept. of Philosophy, University of Calgary, October 4, 2012.
    7. Life on the Range: First-Order Quantifiers, Second-Order Domains, and Ontological Commitment, Faculty of Philosophy, University of Oxford, April 2, 2012.
    8. The Abstraction Mystique, Conference on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, Birkbeck (University of London), August 5-6, 2011.
    9. Arithmetic, Abstraction, and the Frege Quantifier, invited plenary address to the North-American annual meeting of the Association of Symbolic Logic, University of California, Berkeley, March 24-27, 2011.
    10. Life on the Range. First-Order Quantifiers and Second-Order Domains, Dept. of Philosophy, University of California, Santa Barbara, February 4, 2011.
    11. The Abstraction Mystique, Group in Logic and the Methodology of Science, University of California, Berkeley, November 12, 2010.
    12. Non-reductive logicism and the nature of abstraction, Logic and Language Conference, Northern Institute of Philosophy, University of Aberdeen, September 26, 2010.
    13. Non-reductive logicism and the nature of abstraction, Dept. of Mathematics, University of Leeds, September 22, 2010.
    14. The Nature of Abstraction, Third UCI “FregeFest,” Dept. of Logic and Philosophy of Science, University of California, Irvine, February 26, 2010.
    15. Deflationary Abstraction and the Frege Quantifier, Stanford University, May 1, 2009.
    16. Free Quantification and Logical Invariance, “Logic Mini-Conference” Dept. of Philosophy, University of Calgary, March 27-28, 2009.
    17. Deflationary Abstraction and the Frege Quantifier, Dept. of Philosophy, University of Notre Dame, January 23, 2009.
    18. First-Order Arithmetic, “IF”, 3rd Irvine-Florence Colloqium in Logic and Philosophy of Science, Dip. di filosofia, Università di Firenze, Sept 19, 2008.
    19. Abstraction Principles in First-Order Arithmetic, Logic Colloquium, Dept. of Mathematics, University of California, Los Angeles May 16, 2008.
    20. Logicism, Quantifiers, and Abstraction, Dept. of Philosophy, University of California, Davis, February 6, 2008.
    21. 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.
    22. Three lectures on defeasible reasoning: 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.
    23. Free Quantification and Logical Invariance, “IF”, 2nd Irvine-Florence Colloqium in Logic and Philosophy of Science, Beckman Center of the National Academies (Irvine, CA), March 23, 2007.
    24. Free Quantification and Logical Invariance, Dept. of Philosophy, Oxford University, November 22, 2006.
    25. Free Quantification and Logical Invariance, Dept. of Philosophy, University of Bristol, November 21, 2006.
    26. La formalizzazione del ragionamento plausibile, Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa, May 30, 2006.
    27. First-order numerical abstraction, “IF,” 1st Irvine-Florence Colloquium in Logic & Philosophy of Science, Dip. di filosofia, Università di Firenze, March 31, 2006.
    28. First-order numerical abstraction, LMS “CAMeLEoN” meeting, Dept. of Mathematics, Cambridge University, May 26, 2005.
    29. La logica del ragionamento plausibile , Dip. di filosofia, Università di Firenze, March 4 and 11, 2005 (parts I and II).
    30. There are no more A’s than B’s — and other non-standard quantifiers, Dept. of Mathematics, University of Bristol, January 7, 2005.
    31. 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.
    32. 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).
    33. Defeasible Reasoning for Intelligent Agents, Conference on “Logic and Games”, City University and Graduate Center, New York, June 14-15, 2002.
    34. Teaching Logic with LPL, 2002 annual meeting of the Association for Symbolic Logic, Las Vegas, June 1-4, 2002 (special session on logic education).
    35. 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).
    36. Frege’s New Science (joint work with Robert May), Notre Dame symposium on “Logicism and Paradoxes”, Notre Dame, March 29-31, 2001.
    37. 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.
    38. 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).
    39. 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.
    40. Free Set Algebras Satisfying Systems of Equation, Logic Lunch Colloquium Series, Dept of Mathematics, Stanford University, April 2, 1999.
    41. Motivating the Axioms, History and Philosophy of Logic and Mathematics Colloquium, University of California, Berkeley, March 31, 1999.
    42. Free Set Algebras Satisfying Systems of Equation, UCLA Logic Colloquium, Dept of Mathematics, University of California, Los Angeles, March 5, 1999.
    43. Quozienti estensionali e algebre di insiemi (Extensional Quotients and Set Algebras), Dipartimento di Filosofia, Università di Firenze, Florence, December 5, 1998.
    44. The Mathematics of Defeasible Reasoning: Skepticism Vindicated, joint ASL-APA Meeting, Los Angeles, March 28, 1998.
    45. A Room with a View: Set algebras as a vantage point on set theory, Department of Philosophy, University of California, Irvine, January 23, 1998.
    46. Cautious Consequence for Default Logic, Logic Colloqium, Dept. of Mathematics, University of California, Los Angeles, February 28, 1997.
    47. Cautious Consequence for Default Logic, Dept. of Philosophy, Carnegie Mellon University, Pittsburgh, February 21 1997.
    48. Defeasible Consequence, Department of Philosophy, University of California, Irvine, January 27, 1997.
    49. 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.
    50. 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.
    51. Zermelo, Russell, Quine, and the Set-Theoretic Paradoxes, Dept. of Philosophy, Yale University, March 23, 1995.
    52. An Axiomatic Approach to Bounded Knowledge and Local Rationality in Game Theory, Seminar in Applications of Logic, CUNY Graduate Center, April 15, 1994.
    53. Problemi di rappresentazione della conoscenza: tassonomie con eccezioni (Problems in Knowledge Representation: Taxonomies with Exceptions), Dipartimento di Filosofia, Università di Milano, November 22, 1993.
    54. Defeasible Inheritance on Cyclic Networks, Yale University Computer Science Department, October 26, 1993.
    55. 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.
    56. A Revision-Theoretic Analysis of the Arithmetical Hierarchy, Logic Colloquium, Carnegie Mellon University, Mathematics Dept, February 4, 1993.
p5rn7vb
 Posted by at 12:33