b. 1940
Robert Stalnaker is an American philosopher known for his influential work in philosophical logic, philosophy of language, and epistemology. He developed the influential possible worlds account of conditionals and made foundational contributions to the theory of presupposition, context, and common knowledge.
Developed the Stalnaker semantics for conditional logic
Formulated an influential theory of presupposition and context in philosophy of language
Advanced the possible worlds framework for propositional attitudes and belief revision
Made significant contributions to game theory and epistemic logic, particularly on common knowledge
Authored 'Inquiry' and 'Context and Content', major works in epistemology and philosophy of language
The difference in conclusions between Aumann (1995) and Stalnaker (1998) is due to differing models of belief revision upon deviation from the backward induction path
claimPlausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.
claimThere is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.
The difference in conclusions between Aumann (1995) and Stalnaker (1998) is due to differing models of belief revision upon deviation from the backward induction path
claimPlausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.
claimThere is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.