|
|
Associate Professor
Department of Philosophy
McMaster University
1280 Main Street West
Hamilton, Ontario, L8S 4L8
Employment
1999-present, Associate Professor, Philosophy, McMaster University
1996-1999, Assistant Professor, Philosophy, Yale University
1994-1996, Assistant Professor, Philosophy, Stanford University
Education
1994, PhD. University of Pittsburgh, Philosophy. Dissertation: Real Properties, Relevance Logic and Identity. Advisor: Nuel Belnap
1985, BSc. University of Toronto, Mathematics, with high distinction
Areas of specialization: Logic, Philosophy of Language
Areas of competence: Philosophy of Mind, Epistemology, History of Analytic Philosophy, Philosophy of Math
Articles
"On the 'semantics' for languages with their own truth predicates", forthcoming in Circularity, Definition and Truth (André Chapuis and Anil Gupta, eds.), The Indian Council of Philosophical Research, New Delhi, 2000. (invited)
"Relevant identity", Journal of Philosophical Logic 28 (1999), 199-222.
"Defining relevant implication in a propositionally quantified S4", The Journal of Symbolic Logic (1997), 1057-1069.
"Propositional quantification in the topological semantics for S4", Notre Dame Journal of Formal Logic 38 (1997), 295-313.
"Dunn's relevant predication, real properties and identity", Erkenntnis 47 (1997), 37-65.
"On the complexity of propositional quantification in intuitionistic logic", The Journal of Symbolic Logic 62 (1997), 529-544.
"The logical structure of linguistic commitment II: systems of relevant commitment entailment" (with Mark Lance), Journal of Philosophical Logic 25 (1996), 425-449.
"The logical structure of linguistic commitment I: four systems of non-relevant commitment entailment" (with Mark Lance), Journal of Philosophical Logic 23 (1994), 369-400.
"The Gupta-Belnap systems S* and S# are not axiomatisable", Notre Dame Journal of Formal Logic 34 (1993), 583-596.
"Quantifying over propositions in relevance logic: non-axiomatisability of \forall\p and \forsome\p", The Journal of Symbolic Logic 58 (1993), 334-349.
"Relevant predication: grammatical characterisations", Journal of Philosophical Logic 18 (1989), 349-382.
Book review
Review of The Revision Theory of Truth (Anil Gupta and Nuel Belnap), Canadian Philosophical Reviews 15 (1995), 39-42.
Abstracts
"Dynamic topological logic" (with G. Mints), Bulletin of Symbolic Logic 3 (1997), 371-372.
"Temporal logic over S4: an axiomatizable fragment of dynamic topological logic", Bulletin of Symbolic Logic 3 (1997), 375-376.
"Axiomatizing the next-interior fragment of dynamic topological logic" (with G. Mints and V. Rybakov), Bulletin of
Symbolic Logic 3 (1997), p. 376-377.
In preparation
"Some supervaluation-based consequence relations" (with Michael Kremer)
"Relevant identity: a technical result"
"Comparing fixed point and revision theories of truth".
"Does truth behave like a classical concept when there is no vicious reference?"
Book project
The logical structure of linguistic commitment.
Invited talks
January 2000, Department of Philosophy, Ohio State University
May 1999, Commentator, Central Division Meetings of the APA
December 1998, Department of Philosophy, University of Toronto
February 1998, Department of Philosophy, McMaster University
January 1998, Department of Philosophy, University of California, Irvine
March 1997, Invited speaker, Annual meeting of the ASL, held at MIT
September 1995, Department of Logic, Faculty of Philosophy, Moscow State University
May 1995, 4th Workshop on Logic, Language and Information, Center for Studies in Language and Information,
Stanford University
April 1995, Invited speaker, Colloquium on Truth and Paradox, Central Division meetings of the American
Philosophical Association
February 1995, Department of Philosophy, Columbia University
February 1995, Department of Philosophy, University of British Columbia
February 1994, Department of Philosophy, York University
February 1994, Department of Philosophy, Stanford University
February 1994, Department of Philosophy, Florida State University
Informal talks
May 1996, Logic Lunch, Stanford University
March 1996, Symbolic Systems Forum, Stanford University
November 1995, Logic Lunch, Stanford University
May 1995, Logic Lunch, Stanford University
May 1995, Series on Intentional Logic, Stanford University
October 1994, Logic Lunch, Stanford University
Courses taught
Graduate. Logic: Truth and Paradox. Non-classical Logics. Philosophy of Language: Brandom's Making it Explicit. General Analytic Philosophy: Realism and Anti-Realism. Graduate reading groups: Philosophical Semantics, Dummett.
Advanced Undergraduate. Philosophy of Math. Philosophy of Language. Set Theory. Model Theory. Epistemology (winter 2000). Metaphysics (winter 2000).
Beginning Undergraduate. Intro to Logic. Intro to Philosophy. 17th and 18th Century Philosophy.
Teaching competence
Graduate. Logic, Philosophy of Language, Philosophy of Mathematics, History of Analytic Philosophy.
Advanced Undergraduate. Philosophy of Mind, Epistemology, Philosophy of Science, Metaphysics, and areas listed under "Graduate".
Beginning Undergraduate. Ethics, Philosophy of Religion, Introduction to Philosophy, Modern Philosophy, Ancient Philosophy, and areas listed under "Graduate" and "Advanced Undergraduate".
Departmental service
Placement officer, Department of Philosophy, McMaster University, 1999-2000.
Curriculum Committee, Department of Philosophy, McMaster University, 1999-2000.
Advisor, undergraduate reading course, Modal Logic, McMaster University, winter 2000.
Advisor, undergraduate reading course, Metaphysics, McMaster University, fall 1999.
Advisor, undergraduate reading course, the Subjective and the Objective, Yale Univeristy, winter 1999.
Participated in graduate admissions, Yale Univesity, Department of Philosophy, 1997, 1998, 1999.
Director of Undergraduate Studies, Philosophy and Mathematics, Yale University, 1996-98.
Participated in junior faculty searches in Ethics and in Continental Philosophy, Yale University, 1997.
Co-organized faculty reading group, Department of Philosophy, Yale University, 1996-97.
Participated in junior faculty searches in Ethics and in Greek Philosophy, Yale University, 1996.
Advisor, graduate reading course, relevance logic, Stanford University, fall 1994.
Professional service
Referee for the Journal of Symbolic Logic; the Journal of Philosophical Logic; Studia Logica; the Notre Dame Journal of Formal Logic; the American Philosophical Quarterly; the GOEDEL'96 conference; and the PRICAI-96 conference.
Programming committee member for an ASL conference held in conjunction with the Central Division meetings of the APA, May 1999.
Chair of a session at the Western Division Meetings of the APA, February 1995.
Academic awards
1997, The Morse Fellowship in the Humanities, Yale University (declined)
1994, The Social Sciences and Humanities Research Council of Canada Post-Doctoral Fellowship
1993, Michael R. Bennett Essay Prize, Dept. of Philosophy, University of Pittsburgh
1986, Alan Ross Anderson Fellowship, Dept. of Philosophy, University of Pittsburgh
1985, Andrew B. Mellon Pre-doctoral Fellowship, Dept. of Philosophy, U. of Pittsburgh
1985, Governor General's Medal, St. Michael's College, University of Toronto
References
belnap@pitt.edu, Nuel Belnap, Alan Ross Anderson Distinguished Professor of Philosophy, University of Pittsburgh
dunn@cs.indiana.edu, J. Michael Dunn, Oscar R. Ewing Professor of Philosophy, Indiana University at Bloomington
kfine@princeton.edu, Kit Fine, Professor, Department of Philosophy, New York University, and Visiting Professor, Department of Philosophy, Princeton University
etch@csli.stanford.edu, John Etchemendy, Professor and Chair, Department of Philosophy, Stanford University, and Editor, Journal of Symbolic Logic.
agupta@indiana.edu, Anil Gupta, Professor, Department of Philosophy, Indiana University at Bloomington
vmcgee@mit.edu, Vann McGee, Professor, Department of Philosophy, MIT, and Editor, Journal of Philosophical Logic.