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

                       

CURRICULUM VITAE
January 1, 2014

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

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

Book Reviews:

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

AcademicCopyEditor.com              © 2011-2014 by Merrie Bergmann              Home             Services             Pricing             Request Sample             Submit Project             Payment             Contact Us              Visit my Marine Web Editor site