*gets excited* *reads phrase in parentheticals* *sheepishly slumps off*
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Which book?
-
It's just an illustrative example early on in Fitting & Mendelsohn's First-Order Modal Logic. I actually learned modal logic from this years ago, but somehow it never struck me the first time round.
- Show replies
New conversation -
-
-
Can you fit the master argument in a tweet? If so, mind laying it out for us?
-
There is an incompatibility between 3 propositions: everything that is past and true is necessary, the impossible does not follow from the possible, what neither is nor will be is possible. Diodorus argued from first 2 (apparently accepted in his day) to the negation of the last.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.