2,736
次編輯
「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異
跳至導覽
跳至搜尋
Translations from the Philosopical Writing of Gottlob Frege 筆記 (檢視原始碼)
於 2024年3月4日 (一) 00:24 的修訂
、 2024年3月4日 (一) 00:24無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 8： | 行 8： | ||
==概念文字 Begriffsschrift 第一章：符號的解釋== | ==概念文字 Begriffsschrift 第一章：符號的解釋== | ||
===1=== | |||
註：這是講形式邏輯的知名作品，首次出版於1879年。LaTeX有[https://ctan.org/pkg/frege frege套件]，打出其標記法。 | 註：這是講形式邏輯的知名作品，首次出版於1879年。LaTeX有[https://ctan.org/pkg/frege frege套件]，打出其標記法。 | ||
| 行 14： | 行 14： | ||
# letters：講不定數字或是不定函數 | # letters：講不定數字或是不定函數 | ||
# symbols：運算符號如+、-、√、0、1、2 | # symbols：運算符號如+、-、√、0、1、2 | ||
===1, 2=== | |||
判斷judgement | |||
|-- A 判斷（類似十字轉門 turnstile ⊢） | |-- A 判斷（類似十字轉門 turnstile ⊢） | ||
| 行 29： | 行 29： | ||
- X中，X必須是可能的命題的概念。 | - X中，X必須是可能的命題的概念。 | ||
===3=== | |||
如果判斷1和判斷2所延伸的東西相同，那判斷1等於判斷2。比如「我打他」和「他被我打」一樣。 | |||
主詞和受詞都是判斷句子涉及的概念。 | |||
A是事實=>A是內容 | |||
沒有一般意義的主語謂語問題。 | |||
|-是所有判斷的共同謂語（X是事實） | |||
===4=== | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||