「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異

Translations from the Philosopical Writing of Gottlob Frege 筆記 (檢視原始碼)

增加 511 位元組、 2023年8月5日 (六) 18:17

2,737

次編輯

@@ 行 9： / 行 9： @@
 ==概念文字 Begriffsschrift 第一章：符號的解釋==
-註：這是講形式邏輯的知名作品，首次出版於1879年。LaTeX有frege套件，打出其文字。
+註：這是講形式邏輯的知名作品，首次出版於1879年。LaTeX有[https://ctan.org/pkg/frege frege套件]，打出其標記法。
 分成兩個部分：
@@ 行 19： / 行 19： @@
 |-- A 判斷（類似十字傳送門 turnsile ⊢）
--- A 不表示命題
+-- A 量化表達式，以「在這種狀況下」或「在此命題下」來表示。
+不是所有concept概念皆能turn into（轉變）為命題，比如說「房子」無法，但是「這裡有房子」是命題。
+另外我們不能把「x的房子是木造」的「房子」用「在有房子的狀況下」來取代。
+|- 中，| 表示斷言（命題筆畫），-表示結合後面的任何symbol符號（概念筆畫），變成一體。
+- X中，X必須是可能的命題的概念。
 [[category:邏輯學]]
 [[category:數學]]