this fact makes me happy

[dzlk]

The expression O(OA -> A) of deontic logic can be stated in English as "It ought to be that what ought to be, is".

Comments

[pastorlenny]

"Let be be the finale of seem..." -Wallace Stevens

Not precisely equivalent -- but there is a certain resonance.

[dzlk]

It occurs to me that logical notation and poetry both exist to say a certain kind of thing more precisely than prose can...

[pastorlenny]

Although it might be difficult to express the second half of the couplet in said notation:

"There is no emperor but the emperor of ice cream."

[dzlk]

:)

Well, ∀p p -> q where p are emperors and q's are emperors of ice cream, but, what these are, and what it means that one is the other, on that, logic is silent.

Take from the dresser of deal,
Lacking the three glass knobs, that sheet
On which she embroidered fantails once
And spread it so as to cover her face.
If her horny feet protrude, they come
To show how cold she is, and dumb.
Let the lamp affix its beam.
The only emperor is the emperor of ice-cream.