Author Archives: Yang Liu

New Website

Please visit our new website at fphil.org.

Posted in News | 3 Comments

Formal Epistemology Reading Group FA11 #11

The next meeting of the formal epistemology reading group will take place on Sunday (December 11) 6:00pm in room 522C Kent Hall, Columbia University. We will be discussing Haim’s new paper: Gaifman, Haim (2011) On Ontology and Realism in Mathematics, … Continue reading

Posted in Common Knowledge SM11, Group Meetings, Haim Gaifman | Leave a comment

Joe Halpern: Substantive Rationality and Backward Induction

Substantive Rationality and Backward Induction Joe Halpern (CS, Cornell) Friday, December 9, 11 AM 716 Philosophy Hall, Columbia University Abstract. Some of the major puzzles in game theory today involve the notion of rationality. Assuming that all players are rational, and … Continue reading

Posted in Common Knowledge SM11, Events, Joe Halpern, News | Tagged , | Leave a comment

Formal Epistemology Reading Group FA11 #10

The next meeting of the formal epistemology reading group will take place on Sunday (December 4) 6:00pm in Room 720, Philosophy Hall, Columbia University. We shall continue the discussion on the backward induction paradox. Haim and/or Yang will present. Here … Continue reading

Posted in Common Knowledge SM11, Haim Gaifman, Yang Liu | Leave a comment

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

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