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
Academic Employment History
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: McGraw-Hill, 2013.
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 1, 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. 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. Mind and Machines 4, 1994, pp. 242-245.
Review of Eva Feder Kittay, Metaphor: Its Cognitive Force and Linguistic Structure. The Philosophical Review 100, 1991, pp. 112-115.
Review of Robert Berwick, The Acquisition of Syntactic Knowledge. Canadian Philosophical Reviews 7, 1987, pp. 307-309.
Review of Samuel Levin, The Semantics of Metaphor. 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 I
Microcomputers and Assembly Language
Foundations of Computer Science
Introduction to Operating Systems
Introduction to Artificial Intelligence
Introduction to Computational Linguistics
Seminar in Computer Networks
Topics in Programming and Languages
Seminar in Artificial Intelligence
Topics in Symbolic Logic
Incompleteness and Inconsistency
Meaning and Truth
Seminar in Advanced Logic
Metaphor and Computation
UNIX Operating System Kernel
Java and Natural Language Processing
PHP and MySQL
Game Playing and Artificial Intelligence
The Turing Test
© 2011-2018 by Merrie Bergmann