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必須是可能的命題的概念。