Monthly Archives: November 2011

Joe Halpern: Iterated Regret Minimization

SEMINAR IN LOGIC AND GAMES AT CUNY Iterated Regret Minimization: a new solution concept Joe Halpern (Cornell) Friday, December 9, 4:15 PM Room 9205, CUNY Graduate Center Abstract. For some well-known games, such as the Traveler’s Dilemma or the Centipede Game, … Continue reading

Posted in News | Leave a comment

Formal Epistemology Reading Group FA11 #9

The next meeting of the formal epistemology reading group will take place on Sunday (November 20) 6:00pm in Room 720, Philosophy Hall, Columbia University. We shall move to the backward induction paradox. I suggest we start with the study of … Continue reading

Posted in Formal Epistemology FA11, Group Meetings | Tagged , , | Leave a comment

Commemorative Colloquium for Horacio Arlo-Costa

The Center for Formal Epistemology of Carnegie Mellon University will host the Commemorative Colloquium for Horacio Arló-Costa, November 19 and November 20. Talks begin on Saturday at 9:00 AM.  A schedule of talks and events related to the colloquium may be found on the webpage for … Continue reading

Posted in News | 1 Comment

Greg Wheeler on Coherence – 11/14, 12pm, 716 Philosophy Hall

News from Jeff: I want to call your attention to the following “brown bag lunch” talk by Greg Wheeler, Senior Research Scientist and Executive Board Member at the Center for Artificial Intelligence (CENTRIA) in Lisbon. The talk should be of interest to … Continue reading

Posted in Events, Gregory Wheeler, News | Leave a comment

Formal Epistemology Reading Group FA11 #8

The next meeting of the formal epistemology reading group will take place on Sunday (Nov. 13) 6:00 pm in Room 720, Philosophy Hall. Haim has recently read a beautiful short “elementary” proof of Brouwer’s fixed point theorem. The proof does … Continue reading

Posted in Formal Epistemology FA11, Haim Gaifman | Tagged , | 4 Comments

Formal Epistemology Reading Group FA11 #7

The next meeting of the formal epistemology reading group will take place on Sunday (November 6) 6:00 pm in Room 720, Philosophy Hall. As suggested in Rush’s post beow, we shall continue to discuss S4 vs. S5. I shall provide … Continue reading

Posted in Formal Epistemology FA11, Group Meetings | Tagged | 96 Comments

Kit Fine: Truthmaker Semantics for Intuitionistic Logic

SEMINAR IN LOGIC AND GAMES AT CUNY Truthmaker Semantics for Intuitionistic Logic Kit Fine (Philosophy, NYU) Friday, Novermber 11, 4:15 PM Room 4419, CUNY Graduate Center Abstract:  I present a new semantics for intuitionistic logic, which is a kind of cross … Continue reading

Posted in News | Tagged , , | 15 Comments

Hintikka on S4 vs. S5

See sections 3.7-3.9 of Knowledge and Belief for the sorts of arguments that Haim briefly discussed last meeting.

Posted in Comments | Leave a comment