# vitae

*Curriculum Vitae*

**Last Update: July 2011**

Department of Philosophy

University of California, Davis

http://philosophy.ucdavis.edu/people/antonelli/aldo-antonelli-web-folder/welcome

**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.

**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:**

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

**Employment:**

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

**Service:**

- Irvine Representative to the Universitywide Assembly of the Academic Senate, 2007-09.
- 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.
- 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.
- 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. - Program advisor for the 14th International Congress of Logic, Methodology and Philosophy of Science (Nancy, France, July 19-26, 2011).
**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).

**University Service:**

**American Philosophical Association:**

**Association for Symbolic Logic:**

**Other:**

**Referee for:**

**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).- To be reprinted with corrections in Karel Lambert,
**Free Logics: Their Character, Genesis and Some Applications Thereof**, Akademische Verlag, Sankt Augustin bei Bonn, second edition 2011, to appear. - (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). *Numerical Abstraction via the Frege Quantifier*,**Notre Dame Journal of Formal Logic**, vol. 51 no. 2 (2010), pp. 161-79.*The Nature and Purpose of Numbers*,**The Journal of Philosophy**, vol. 107 (4), April 2010, pp. 191-212.*Notions of Invariance for Abstraction Principles*,**Philosophia Mathematica**, vol. 18 no. 3 (2010), pp. 276-92.*A Note on Induction, Abstraction,and Dedekind-Finiteness*, to appear,**Notre Dame Journal of Formal Logic**.**Other refereed work:***Non-Monotonic Logic*, in E. Zalta (ed.),**The Stanford Encyclopedia of Philosophy**(http://plato.stanford.edu), 2001, 2006, 2010.- (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:**- (with Robert May)
*Quantifiers and Determiners*, in G. Russell and D. Fara (eds),**The Routledge Companion tot he Philosophy of Language**, Routledge, to appear. *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.*Review of N. Rescher and P. Grim, "Beyond Sets. A venture in Collection-Theoretic Revisionis,*(Ontos Verlag 2011, 112 pp.),**Notre Dame Philosophical Reviews**3 July 2011.**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:**

*The Abstraction Mystique*, Conference on Set Theory and Higher-Order Logic: Foundational Issues and Mathematical Developments, Birkbeck (University of London), August 5-6, 2011.*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. .*Life on the Range. First-Order Quantifiers and Second-Order Domains*, Dept. of Philosophy, University of California, Santa Barbara, February 4, 2011.*The Abstraction Mystique*, Group in Logic and the Methodology of Science, University of California, Berkeley, November 12, 2010.*Non-reductive logicism and the nature of abstraction*, Logic and Language Conference, Northern Institute of Philosophy, University of Aberdeen, September 26, 2010.*Non-reductive logicism and the nature of abstraction*, Dept. of Mathematics, University of Leeds, September 22, 2010.*The Nature of Abstraction*, Third UCI "FregeFest," Dept. of Logic and Philosophy of Science, University of California, Irvine, February 26, 2010.*Deflationary Abstraction and the Frege Quantifier*, Stanford University, May 1, 2009.*Free Quantification and Logical Invariance*, "Logic Mini-Conference" Dept. of Philosophy, University of Calgary, March 27-28, 2009.*Deflationary Abstraction and the Frege Quantifier*, Dept. of Philosophy, University of Notre Dame, January 23, 2009.*First-Order Arithmetic*, "IF", 3^{rd}Irvine-Florence Colloqium in Logic and Philosophy of Science, Dip. di filosofia, Università di Firenze, Sept 19, 2008.*Abstraction Principles in First-Order Arithmetic*, Logic Colloquium, Dept. of Mathematics, University of California, Los Angeles May 16, 2008.*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 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. *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:***Relevance Logic*, Fall Quarter 2009.*Generalized Quantifiers*, Spring Quarter 2009.*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, Fall Quarter 2009.*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, Fall Quarter 2009.*Philosophy in the 20th century: the Analytic Tradition*: Fall 1995.*Modal Logic*: Spring 1995, Spring Quarter 2009.*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, Spring Quarter 2009.*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.

File originally translated from T_{E}X by T_{T}H, version 1.92, on 27 March 2000, 20:23 GMT, and last modified 8 July 2011.

Document Actions