LESSWRONG
LW

Chris Pasek
1010
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
Partially Ordered Set
Chris Pasek9y*20

I proposed an edit to fix these 2 issues (in the 1st example):

1) The answer claims there is no anti-symmetry, which is mistaken. In particular, if something breaks anti-symmetry, it cannot be a valid strict ordering (which is another claim from the answer).

2) This is less serious, but saying "everyone must follow orders that come from the CEO" in natural language is unclear on whether the CEO follows orders from himself.

Reply1
No posts to display.
Partially ordered set
9y
(+47/-60)