Hypothetical Knowledge and Counterfactual Reasoning*

Abstract: Salmet introduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction solution in a game of perfect information. He argued that while hypothetical knowledge and the extended information structures used to model it bear some resemblance to the way philosophers have used conditional logic to model counterfactuals, hypothetical knowledge cannot be reduced to conditional logic together with epistemic logic. Here it is shown that in fact hypothetical knowledge can be captured using the standard counterfactual operator ">" and the knowledge operator "K", provided that some assumptions are made regarding the interaction between the two. It is argued, however, that these assumptions are unreasonable in general, as are the axioms that follow from them. Some
implications for game theory are discussed.

Comments

Popular posts from this blog

On the importance of being pedantic (series: notes to myself)

Mind the app - considerations on the ethical risks of COVID-19 apps

On the art of biting one's own tongue (series: notes to myself)

The Loebner Prize from a judge's perspective

(revised on Medium) On a sachet of brown sugar (series: notes to myself)

Breve commento su "Non è il mio lutto" e la morte di Berlusconi.

Onlife: Sulla morte di Corman McCarthy e "the best writers" della letteratura americana

(revised on Medium) On Kia and Pelé (series: notes to myself)