Monday, July 13, 2009

Modal Reasoning

An argument between Declan and Tara this evening:
Tara: It's time for a bath
Declan: I'm too tired. If I have a bath, I'll have to play with the letters, and I'm too tired to play with the letters.
Tara: Then don't play with the letters.
Declan: But I can't not play with the letters. I must play with the letters if I have a bath.
Tara (switching tactics): If you're so tired, why are you spending so much energy arguing?
Declan: (no comment).


Brilliant. Incidentally, the transition from ~M~P to LP is valid in S4 (if my memory serves, it is the summer...).

No comments: