This Week in Logic at CUNY:

– – – – Monday, Dec 5, 2011 – – – –

– – – – Tuesday, Dec 6, 2011 – – – –

NOTE: the Computational Logic seminar will not meet today.

– – – – Wednesday, Dec 07, 2011 – – – –

– – – – Thursday, Dec 08, 2011 – – – –

– – – – Friday, Dec 09, 2011 – – – –

Set Theory Seminar

Friday, December 9, 2011 10:00 am GC 6417

Professor Graham Priest (Graduate Center, CUNY and University of Melbourne) Paraconsistent Set Theory

Abstract. Paraconsistent logics are those logics in which

contradictions do not entail arbitrary conclusions. These logics make possible naïve set theories, which contain an unrestricted

comprehension principle for sets. Contradictions such as Russell’s paradox are forthcoming, but these contradictions are quarantined. Paraconsistent set theories and their properties have been

investigated since the 1970s. In this talk I will describe one approach to paraconsistent set theory. This is concerned mainly with the models for such a theory.

Model Theory Seminar

Friday, December 9, 2011 12:30 pm GC 6417

Mr. Manuel Alves (Ph.D. Program in Mathematics, Graduate Center of CUNY) Zilber’s trichotomy III

Logic Workshop

Friday, December 9, 2011 2:00 pm GC 6417

Professor Jouko Väänänen (University of Helsinki)

Second order model theory

Abstract. Second order logic is so strong that it makes sense to ask, are complete finitely axiomatized second order theories always categorical? Carnap claimed that the answer is yes, but his proof did not work. Ajtai and Solovay showed that the answer depends on set theory. We present some recent new results in this field. This is joint work with Hyttinen, Ikegami, Kangas, and Shelah.

Logic and Games Seminar

Friday, December 9, 2011 4:15 pm GC, Room 9206

Professor Joseph Y. Halpern (Cornell University)

Iterated Regret Minimization: A New Solution Concept

Next Week in Logic at CUNY:

– – – – Monday, Dec 12, 2011 – – – –

– – – – Tuesday, Dec 13, 2011 – – – –

– – – – Wednesday, Dec 14, 2011 – – – –

– – – – Thursday, Dec 15, 2011 – – – –

– – – – Friday, Dec 16, 2011 – – – –

Logic and Games Seminar

Friday, December 16, 2011 4:15 pm GC, Room 4419

Dr. Eric Joseph Pacuit (Center for Logic and Philosophy of Science, Tilburg University)

TBA

– – – – Other Logic News – – – –

– – – – Web Site – – – –

The majority of this information, including an interactive calendar of future events, can be found at our website: