同一律

說明

同一律說的是：每一個對象都與它自己相同，可寫成 x = x。這裡的「相同」指同一個對象，不只是外觀或性質相似。

生活例子

桌上指定的那一本筆記本，與它自己是同一本。另一本封面一模一樣的筆記本，仍可能是另一個對象。

保育例子

在虛構的調查紀錄中，研究者用 x 指稱某一隻已辨識的動物。x = x 表示這個個體與自身相同，並不表示兩張看起來很像的照片必定拍到同一隻動物；個體辨識還需要證據。

何時合理

先區分「是同一個對象」與「具有相似性質」。對象會隨時間改變某些性質；同一律不是「所有性質永遠不變」的主張。

進階

在帶有等號的一階邏輯中，同一性的反身性寫成 ∀x (x = x)。命題形式 P → P 也是古典邏輯的恆真式，但本卡不把兩者混為一談。

在論證論證 Argument一組陳述，其中一些（前提）被拿來支持另一個（結論）。看名詞表關閉裡，同一個詞若前後換義，使推論看似成立，是「歧義／偷換概念」（equivocation）的問題。例如從「天然＝沒有人工色素」跳到「天然＝對健康有益」。釐清詞義很重要，但這不是 x = x 的定義。