形而上學認識論經典

腫臉胖子



形而上學認識論----經典:
若不證自明的公理為真，則由它演繹出的結論為真。
是就是是，不是就是不是。在肯定、否定之間選擇其一。
白馬非馬。
牛頓："自然哲學的目的在於發現自然界的結構和作用，並且盡可能把它們歸納為一些 ... 具有可重複性、可比性和可檢驗性的定律、命題，進而構成具有邏輯體係的理論來。"
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.

完全有序: 自反性,對稱性,傳遞性,一致性。