This Week in Logic at CUNY

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:

http://nylogic.org/Calendar

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.