ENGLISH LANGUAGE ACADEMIC COPY EDITING:
Journal Articles, Books, Dissertations

CURRICULUM VITAE
July 1, 2021

 Merrie Bergmann
Associate Professor Emerita
Department of Computer Science
Smith College
Northampton, MA 01063

Education

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

Publications

Books

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.

Articles

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.

Book Reviews

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

Philosophy:
Symbolic Logic
Topics in Symbolic Logic
Incompleteness and Inconsistency
Meaning and Truth
Seminar in Advanced Logic

Special Studies:
Computational Linguistics
Distributed Systems
Fuzzy Logic
Modal Logic
Philosophical Logic
Metaphor and Computation
Montague Grammar
Neural Networks
UNIX Operating System Kernel
Expert Systems
Java and Natural Language Processing
PHP and MySQL
Information Retrieval
Game Playing and Artificial Intelligence
The Turing Test

---