Translations from the Philosopical Writing of Gottlob Frege 筆記
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 量化表達式,以「在這種狀況下」或「在此命題下」來表示。
不是所有concept概念皆能turn into(轉變)為命題,比如說「房子」無法,但是「這裡有房子」是命題。
另外我們不能把「x的房子是木造」的「房子」用「在有房子的狀況下」來取代。
|- 中,| 表示斷言(命題筆畫),-表示結合後面的任何symbol符號(概念筆畫),變成一體。
- X中,X必須是可能的命題的概念。