2011
Modal logic axioms in the form of assertions about cats.
Generally accepted modal logic axioms:
It’s necessary I hate cats if and only if it isn’t possible I don’t hate cats.
It’s possible I hate cats if and only if it isn’t necessary I don’t hate cats.
It’s necessary that I hate cats and cats suck if and only if it’s necessary I hate cats and it’s necessary cats suck.
If it’s necessary I hate cats and/or it’s necessary cats suck, then it’s necessary I hate cats and/or cats suck.
If it’s necessary that (if I hate cats, then cats suck), then (if it’s necessary I hate cats, then it’s necessary that cats suck).
Controversial modal logic axioms:
If it’s necessary I hate cats, then I hate cats.
If it’s necessary I hate cats, then it’s necessary that it’s necessary I hate cats.
If it’s possible I hate cats, then it’s necessary that it’s possible I hate cats.
If I hate cats, then it’s necessary that it’s possible I hate cats.
