肿脸胖子



形而上学认识论----经典:
若不证自明的公理为真，则由它演绎出的结论为真。
是就是是，不是就是不是。在肯定、否定之间选择其一。
白马非马。
牛顿："自然哲学的目的在于发现自然界的结构和作用，并且尽可能把它们归纳为一些 ... 具有可重复性、可比性和可检验性的定律、命题，进而构成具有逻辑体系的理论来。"
Order Completeness:
- Reflexive. For any x, "x is x" should be true.
- Symmetric. For any x and y, "x is y" should be true if and only if "y is x" is true.
- Transitive. For any x, y, and z, if "x is y" is true and "y is z" is true, then "x is z" is true.
- Consistent. For any x and y, multiple applications of "x is y" should consistently be true or consistently be false.

完全有序: 自反性,对称性,传递性,一致性。