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