Translations from the Philosopical Writing of Gottlob Frege 筆記
於 2023年8月5日 (六) 18:01 由 Tankianting(討論 | 貢獻) 所做的修訂
Translations from the Philosopical Writing of Gottlob Frege/2e (弗雷格哲學著作英譯),是我買到的二手書,講邏輯學家弗雷格的哲學作品。
編者:Peter Geach(伯明翰大學)、Max Black(康乃爾大學)。
1966年刷,無ISBN。
概念文字 Begriffsschrift 第一章:符號的解釋
註:這是講形式邏輯的知名作品,首次出版於1879年。LaTeX有frege套件,打出其文字。
分成兩個部分:
- letters:講不定數字或是不定函數
- symbols:運算符號如+、-、√、0、1、2
§1:判斷judgement
|-- A 判斷(類似十字傳送門 turnsile ⊢) -- A 不表示命題