Stanford University
Philosophy Department
Picture of Grisha Mints

Grisha Mints's Home Page

Professor of Philosophy, and by courtesy of
Mathematics and Computer Science
Office: Building 100, Room 101A
Mailing:
Philosophy Department
Building 90
Stanford University
Stanford, CA 94305-2155
Phone: (650) 723-2964
Email:mints@csli.stanford.edu
Web Page:http://www-philosophy.stanford.edu/fss/gm.html

Research Interests

  • Logic, especially proof theory
  • Applications of logic to philosophy, computer science and linguistics
  • Foundations of mathematics
  • Philosophy of mathematics
 

Book

larger photo> A Short Introduction to Intuitionistic Logic

Papers

Find papers after 1990 at my departmental web page.

Below are most recent papers. Send mail to me at mints@csli.stanford.edu, if you'd like a copy of these or any other papers of mine.

Epsilon calculus course (Spring, 2006) notes: eps06.pdf

Logical Equations in Modal Logic (with T. Hoshi): MFOJul8.pdf

Chapter on Dynamic Topological Logic: DTL.June.5.2006.pdf

Cut Elimination for Simple Epsilon Calculus (To appear in APAL, 2007): cutsimeps.pdf

A proof of completeness of S4 for (0,1) (pdf), with Ting Zhang

Courses

Phil 155: General Interest Topics in Mathematical Logic, Spring 2008

Phil 154/254: Modal Logic, Fall 2007

Phil 353/Math 293: Proof Theory A, Fall 2007

Phil 391/Math 391: Research Seminar in Logic and the Foundations of Mathematics, Fall 2007

Reviews

Before 2005

2005

2006

2007

Notes

Philosophy | Mathematics | Computer Science | CSLI | Feedback