January 1, 2014
Associate Professor Emerita
Department of Computer Science
Northampton, MA 01063
B.A. 1972 Douglass College, Mathematics and Philosophy
M.A. 1973 University of Toronto, Philosophy
M.S. 1986 Wright State University, Computer Science
Thesis: Parsing Natural Language with Categorial Grammars
Ph.D. 1976 University of Toronto, Philosophy
Thesis: A Presuppositional Theory of Semantic Categories
1992 - 2007 Associate Professor of Computer Science, Smith College
1985 - 1992 Assistant Professor of Computer Science, Smith College
1983 - 1985 Visiting Assistant Professor of Computer Science,
Wright State University
1976 - 1983 Assistant Professor of Philosophy, Dartmouth College
1974 - 1976 Part-time Instructor in Philosophy, University of Toronto
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and
Derivation Systems, New York: Cambridge University Press, 2008.
The Logic Book, 6th ed. Coauthored with James Moor and Jack Nelson, New York:
“A Misguided Objection to Degree-Theoretic Solutions to the Sorites Paradox,”
Journal of Philosophical Logic 39, 2010, pp. 1-4.
"Finite Tree Property for First-Order Logic with Identity and Functions," Notre Dame
Journal of Formal Logic 46, 2005, pp. 173-180.
"Parsing Conjunctions with a Categorial Grammar," in Proceedings of the Third
Eastern States Conference in Linguistics, eds. Ann Miller and Zkhleng-Shenh
Zhang, Ohio State University, 1986, pp. 47-56.
"How Many Feminists Does It Take to Make a Joke? Sexist Humor and What’s
Wrong With It," Hypatia, a Journal of Feminist Philosophy I, 1986, pp. 63-82.
"Cross-Categorial Semantics for Conjoined Common Nouns," Linguistics and
Philosophy 5, 1982, pp. 399-401.
"Expressibility in Two-Dimensional Languages for Presupposition," Notre Dame
Journal of Formal Logic 23, 1982, pp. 459-470.
"Metaphorical Assertions," Philosophical Review 91, 1982, pp. 229-245.
"Only, Even, and Clefts in Two-Dimensional Logic," Proceedings of the Eleventh
International Symposium on Multiple-Valued Logic, IEEE Computer Society,
1981, pp. 117-123.
"Presupposition and Two-Dimensional Logic," Journal of Philosophical Logic 10,
1981, pp. 27-53.
"Metaphor and Formal Semantic Theory," Poetics 8, 1979, pp. 213-230.
"Logic and Sortal Incorrectness," Review of Metaphysics 31, 1977, pp. 61-79.
Review of Josef Stern, Metaphor in Context, in Iyyun: The Jerusalem Philosophical
Quarterly 51, 2002, pp. 97-104.
Review (with Thomas Tymoczko) of Robert P. McArthur, From Logic to Computing,
and of Ruth E. Davis, Truth, Deduction, and Computation: Logic and Semantics
for Computer Science, in Mind and Machines 4, 1994, pp. 242-245.
Review of Eva Feder Kittay, Metaphor: Its Cognitive Force and Linguistic Structure,
in The Philosophical Review 100, 1991, pp. 112-115.
Review of Robert Berwick, The Acquisition of Syntactic Knowledge, in Canadian
Philosophical Reviews 7, 1987, pp. 307-309.
Review of Samuel Levin, The Semantics of Metaphor, in Journal of Aesthetics and
Art Criticism 27, 1979, pp. 498-501.
Translations (from Russian):
Translation, with an introduction, of D.A. Bochvar, "On the Consistency of a Three-
Valued Calculus," Topoi 3, 1984, pp. 3-12.
Translation, with an introduction, of D.A. Bochvar, "On a Three-Valued Calculus and
Its Application to the Analysis of the Paradoxes of the Classical Extended
Functional Calculus," History and Philosophy of Logic 2, 1981, pp. 87-112.
Courses Taught at Smith College:
Computer Science 101: Computer Literacy
Computer Science 111: Computer Science I
Computer Science 231: Microcomputers and Assembly Language
Computer Science 250: Foundations of Computer Science
Computer Science 262: Introduction to Operating Systems
Computer Science 290: Introduction to Artificial Intelligence
Computer Science 294: Introduction to Computational Linguistics
Computer Science 350: Seminar in Computer Networks
Computer Science 380: Topics in Programming and Languages
Computer Science 390: Seminar in Artificial Intelligence
Philosophy 202: Symbolic Logic
Philosophy 203: Topics in Symbolic Logic
Philosophy 220: Incompleteness and Inconsistency
Philosophy 262: Meaning and Truth
Philosophy 322: Seminar in Advanced Logic
Special Studies in:
Metaphor and Computation
UNIX Operating System Kernel
Java and Natural Language Processing
PHP and MySQL
Game Playing and Artificial Intelligence
The Turing Test