「東大圖書《弗雷格》筆記」修訂間的差異

東大圖書《弗雷格》筆記 (檢視原始碼)

增加 875 位元組、 2024年6月25日 (星期二)

2,619

次編輯

@@ 行 377： / 行 377： @@
 * 對判斷的表達：斷定
-內心世界的東西稱為表象，不是思想，表如下：
+內心世界的東西稱為表象（除了決斷），不是思想，表如下：
+{| class="wikitable"
+|+
+!
+!表象
+!外物
+|-
+|可感知？
+|N
+|Y
+|-
+|能被擁有？
+|Y
+|N
+|-
+|有承載者（擁有者）？
+|有，且只有一個
+|無
+|}
+思想是除了外物、表象以外的「第三範圍」。
 思想的特性：
 * 和真聯繫
@@ 行 386： / 行 403： @@
 * 不用人們承認就存在，所以不能創造思想，而是發現思想
 * 思想永恆不變
+*是object
+思想A有其自相矛盾的思想，稱為否定 ¬A，A和¬A只有一個才是真的。否定類似函數not = function(x) { ¬x}
+思想像是變數一樣，是完整的。
+¬¬A和A同時為真（假）
+「因為在邏輯問題中，語言是不可靠的。」
+六種思想結構：
+* I. A ∧ B，∧ 如一種function and(x, y)，特性如下：
+*# 交換律：A ∧ B↔B ∧ A
+*# 重合律：A ∧ B↔A
+*# 引入∧： A, B ⊢A∧ B（這裡用了像現在邏輯學的「[https://zh.wikipedia.org/wiki/相繼式 相繼式]」用法）
+* II. 結構I加上否定：¬(A ∧ B)
+** 推理規則：¬(A ∧ B), A ⊢ ¬B
 [[category:邏輯學]]
 [[category:數學]]