Gregory TaylorR. Gregory Taylor

Substitute Assistant Professor, PhD, Columbia University. Logic, Philosophy of Logic, Philosophy of Mathematics.

  • Biography
  • Since receiving my Ph.D. in Philosophy at Columbia University, I have taught at a number of institutions in departments of Philosophy, Computer Science, and Mathematics. 
  • I began teaching in the Department of Philosophy at Baruch College in January 2012.
  • During the 1990s I authored a Theory of Computation textbook accompanied by extensive simulation software and published as Models of Computation and Formal Languages (Oxford University Press, 1998).  The open problems that I identified in the text are yet open fifteen years later and, remarkably, my book remains in print.
  • My research interests range over Logic, Philosophy of Logic, and Philosophy of Mathematics. I have also written on the history of logic focusing on the late work of Ernst Zermelo (1871–1953), father of axiomatic set theory.  More recent papers address the issue of the “bounds of logic” and the nature of quantification, whereby a quantifier is identified with a class of structures.  Current work includes a paper exploring the implications of Stoic semantic theory for the Principle of Interchangeability of Co‑Referential Terms, identified with Frege and Quine.  There is also a paper that attempts to apply an idea of logician Alfred Tarski to the history of Renaissance and Baroque art as conceptualized by art historian Heinrich Wölfflin.
  • Some Recent Published Work
  • Introductory notes to documents s1921, s1931g, 1932a, 1932b, and 1935 as well as translation of  s1931g. In: H.-D.  Ebbinghaus and A. Kanamori (eds.), Ernst Zermelo, Collected Works, Volume 1: Set Theory, Miscellanea. (Springer-Verlag: Berlin and Heidelberg, 2010): 302–307, 524–27, 529, 531–43.
  • “Zermelo's Analysis of ‘General Proposition’,” History and Philosophy of Logic 30 (2009) 141--155 (support document containing additional discussion).
  • “Symmetric Propositions and Logical Quantifiers,” Journal of Philosophical Logic 37 (2008) 575–591 (support document containing complete proofs and supplementary discussion).
  • Download complete CV
  • Course Syllabi
  • Phil 1500, Phil 1600, Phil 3010
  • Office Hours
  • Tuesdays 2:30 - 4:30 p.m. and (if needed) Fridays 9 - 10 a.m.
The City University of New York