Formal Philosophy

Logic at Columbia University

Category: News

A Course on Epistemic Game Theory

by Yang Liu

From May 12 – May 23, 2014, the EPICENTER will give a two-week intensive course on Epistemic Game Theory at Maastricht University.

Audience: This course is primarily meant for master and PhD students at all universities in the Netherlands and abroad. But researchers are also very welcome.

Instructors: The members of the EPICENTER: Christian Bach, Angie Mounir, Christian Nauerz, Andrés Perea and Elias Tsakas.

Register? Please send an E-mail to Andrés Perea at:

Master and PhD students at Maastricht University should also register via the course Capita Selecta: Econometrics, Mathematical Economics and Operations Research (EBC4011). Officially, this course is part of Capita Selecta.

Book:  The first seven days of the course will be based on the book Epistemic Game Theory: Reasoning and Choice, by Andrés Perea.

More information: Can be found at:

Turing meeting at Boston University

by Yang Liu

Turing 100
Sunday, November 11 and Monday, November 12
Photonics Center, 9th floor Colloquium Room
8 St. Mary’s Street, Room 906

Sunday, 10:00am-12:00pm
I. Turing’s Philosophical and Logical Foundations

“On Formalism Freeness: A Meditation on Gödel’s 1946 Princeton Bicentennial Lecture”
Juliette Kennedy Mathematics and Statistics, University of Helsinki

“Turing, Church, Gödel, a personal perspective”
Michael Rabin Computer Science, Harvard University

“Turing and Wittgenstein”
Juliet Floyd Philosophy, Boston University

Sunday, 1:45pm-3:45pm
II. Turing and Mathematics: Computability and Definability

“Universality is Ubiquitous”
Martin Davis Courant Institute, NYU; Mathematics, UC Berkeley

“Collapsing Sentences”
Gerald Sacks Mathematics, Harvard University and MIT

“The Hierarchy of Definability: An Extended Thesis”
Theodore Slaman Mathematics, UC Berkeley

Sunday, 4:00pm-6:00pm
III. Turing and Cryptography

“Rational Proofs”
Silvio Micali Computer Science, MIT

“Turing and the Growth of Cryptography”
Ronald Rivest Computer Science, MIT

“Alan Turing and Voice Encryption”
Craig Bauer Mathematics, York College of Pennsylvania

Monday, 9:30am-12:15pm
IV. Turing and AI

Title TBA
Marvin Minsky Media Arts and Sciences, MIT

“Why Neanderthals Couldn’t Pass Turing’s Test and When Computers Will”
Patrick Henry Winston Computer Science, MIT

“What’s Wrong with the Moral Turing Test?”
Matthias Scheutz Computer Science, Tufts University

“Embodying Computation at Higher Types”
S. Barry Cooper Mathematics, University of Leeds

Monday, 2:00pm-4:00pm
V. The Church-Turing Thesis

“Normal Forms for Puzzles: an Enigmatic Variant of Turing’s Thesis”
Wilfrid Sieg Philosophy, Carnegie Mellon University

Title TBA
Stephen Wolfram Wolfram Research

“Is there a Church-Turing Thesis for Social Algorithms?”
Rohit Parikh Computer Science, Mathematics, Philosophy, CUNY

Monday, 4:15pm-6:30pm
VI. Turing, Physics, and Probability

“Algorithmic Randomness and Turing’s Work on Normality”
Rod Downey Mathematics, Victoria University of Wellington

“Spacetime Physics and Non-Turing Computers”
Mark Hogarth Philosophy, Cambridge University

“The Mysterious Thesis”
Leonid Levin Computer Science, Boston University

Karby: How not to attack luck egalitarianism

by Yang Liu

How not to attack luck egalitarianism
Derrick Darby (Kansas Univ.)
Tuesday, May 8th, 2012, 4:10 – 6:00 PM
716 Philosophy Hall, Columbia University

Reception to follow

CFP: The Constructive in Logic and Applications

by Yang Liu

May 23-25, 2012, detailed program here.
CUNY Graduate Center, 365 Fifth Avenue, New York City.

Constructivity is fundamental to the application of mathematics to the real world, whether in the exact sciences, the social sciences, or engineering. Constructive logics supporting this tradition have flourished over the last century. This conference is a celebration of the past and future of the constructive tradition. Distinguished logician Sergei Artemov is 60. He has made fundamental contributions exploring constructivity in logic, computer science, epistemology, game theory, and other areas. With this conference we honor his work, and by extension a subject whose content he has elucidated and whose boundaries he has expanded.

Scientific Committee: Anil Nerode (Cornell) and Melvin Fitting (CUNY)
Web page:
Participants are invited to register, the registration is free.
Contact email:

The confirmed speakers are:
Arnon Avron (Tel Aviv University)
Adam Brandenburger (New York University)
Sam Buss (University of California San Diego)
Robert Constable (Cornell University)
Solomon Feferman (Stanford University)
Melvin Fitting (City University of New York)
Harvey Friedman (Ohio State University)
Haim Gaifman (Columbia University)
Dexter Kozen (Cornell University)
Victor Marek (University of Kentucky)
Robert Milnikel (Kenyon College)
Joan Moschivakis (University of California Los Angeles)
Yiannis Moschovakis (University of California Los Angeles)
Pavel Naumov (McDaniel College)
Anil Nerode (Cornell University)
Rohit Parikh (City University of New York)
Vaughan Pratt (Stanford University)
Jeff Remmel (University of California San Diego)
Bryan Renne (University of Amsterdam)
Gerald Sacks (Harvard University /Massachusetts Institute of Technology)
Andre Scedrov (University of Pennsylvania)
Johan van Benthem (University of Amsterdam/Stanford University)

Kehlmann’s new play about the life of Gödel

by Yang Liu

English reading of Daniel Kehlmann’s new play
Tuesday, May 1, 2012, 6:00pm
Center for Jewish History
15 West 16th St. New York, NY 10011

The Leo Baeck Institute and the Goethe-Institut New York are proud to present a special reading of Ghosts in Princeton, the first play by Daniel Kehlmann, in an English translation by Carol Brown Janeway. A montage of facts, fiction, and philosophy, the play follows stages in the life of the brilliant Viennese logician Kurt Gödel (1906-1978), who, by the age of only 24, had revolutionized the logic of mathematics. A deeply complex person, Gödel did not believe in the existence of time and, with age, suffered from delusions of persecution and paranoia. After being both falsely identified as a Jew in post-Anschluss Austria and at the same time declared fit for active service, Gödel, together with his wife Adele, set out on an arduous journey to Princeton to join their friend Albert Einstein at the Institute for Advanced Study.

Daniel Kehlmann is one of Germany’s most critically acclaimed young authors. His 2006 international best-seller Measuring the World (Die Vermessung der Welt) has been translated from the original German into more than 20 languages and awarded some of the most prestigious prizes in literature.

The author himself will introduce the reading, which will be followed by a brief Q&A and refreshments. The event is free of charge, but reservations are strongly encouraged as seating is limited. To reserve a seat, please call +1 (212) 744-6400 or send an email to Maryann Legaspi at

Leo Baeck Institute and Goethe-Institut New York are extremely grateful to Deutsche Telekom for its support of this program. Special thanks also to H.E. Mr. Peter Wittig and Mrs. Huberta von Voss-Wittig.

Arancha San Ginés provides the info above.

Baldwin: Axiomatic Set Theory and L_{omega_1,omega}

by Yang Liu

Axiomatic Set Theory and L_{\omega_1,\omega}
John T. Baldwin (Mathematics, UIC)
Friday, April 20, 2012, 12:30 PM
CUNY Graduate Center, room 6417

Abstract. In the late 1960’s model theory and axiomatic set theory seemed to be inevitably intertwined. The fundamental notions of first order stability theory are absolute. We describe the role of this fact in the development of first order model theory independent from set theory since the 1970’s. The role of extensions of ZFC in infinitary logic is muddled. Important results are proved using weak extensions of ZFC; the use is not in general proved essential. We expound the following proof-scheme: (1) Prove an infinitary sentence is consistent with ZFC. (2) Prove there is a model of set theory for which this sentence is absolute. (3) Deduce the property it expresses is provable in ZFC. We will describe how this technique implies the following recent result: Theorem (Shelah) Let \phi be a sentence of L_{\omega_1, \omega}. (a) If ‘algebraic closure’ fails exchange on models of phi then \phi has many models in \aleph_1. (b) If \phi is pseudo-minimal then it has model in the continuum. Here `algebraic closure’ and `pseudo-minimal’ are modifications of classical notions appropriate for the context.