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

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
行 7: 行 7:
1966年刷,無ISBN。
1966年刷,無ISBN。


==概念文字 Begriffsschrift==
==概念文字 Begriffsschrift 第一章:符號的解釋==


註:這是講形式邏輯的知名作品,首次出版於1879年。
註:這是講形式邏輯的知名作品,首次出版於1879年。LaTeX有frege套件,打出其文字。


分成兩個部分:
分成兩個部分:
行 16: 行 16:


§1:判斷judgement
§1:判斷judgement
|-- A 判斷(類似十字傳送門 turnsile ⊢)
-- A 不表示命題




[[category:邏輯學]]
[[category:邏輯學]]
[[category:數學]]
[[category:數學]]

於 2023年8月5日 (六) 18:01 的修訂

Translations from the Philosopical Writing of Gottlob Frege/2e (弗雷格哲學著作英譯),是我買到的二手書,講邏輯學家弗雷格的哲學作品。

編者:Peter Geach(伯明翰大學)、Max Black(康乃爾大學)。

1966年刷,無ISBN。

概念文字 Begriffsschrift 第一章:符號的解釋

註:這是講形式邏輯的知名作品,首次出版於1879年。LaTeX有frege套件,打出其文字。

分成兩個部分:

  1. letters:講不定數字或是不定函數
  2. symbols:運算符號如+、-、√、0、1、2

§1:判斷judgement

|-- A 判斷(類似十字傳送門 turnsile ⊢) -- A 不表示命題