News

Christopher Peacocke to Give December 2 Guest Presentation in Kripke Course

Posted on

At 2:00 on Wednesday, December 2nd, Professor Christopher Peacocke (Columbia) will be a guest presenter in “Topics In the Epistemology of Logic II”, co-taught by Professors Saul Kripke and Romina Padro, in room C196.06 (concourse level), accessible through the library of the Graduate Center. Course Description: This seminar is a continuation of the seminar that […]

News

New Review

Posted on

Computability: Turing, Gödel, Church, and Beyond, eds. B. Jack Copeland, Carl J. Posy, and Oron Shagrir, reviewed by Andrew Arana for NDPR, featuring a discussion of Prof. Kripke’s contribution.

Publication

New Saul Kripke Paper “Fregean Quantification Theory”

Posted on

New Saul Kripke paper, “Fregean Quantification Theory,” to be published in Journal of Philosophical Logic. Now available to view at Online First (with login): http://link.springer.com/article/10.1007%2Fs10992-013-9299-x Abstract: Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.