Translations from the Philosopical Writing of Gottlob Frege 筆記

導航：首頁 > 程式語言、邏輯學> Translations from the Philosopical Writing of Gottlob Frege 筆記

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

編者：Peter Geach（伯明翰大學）、Max Black（康乃爾大學）。

1966年刷，無ISBN。

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

1

註：這是講形式邏輯的知名作品，首次出版於1879年。LaTeX有frege套件，打出其標記法。

分成兩個部分：

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

1, 2

判斷judgement

|-- A 判斷（類似十字轉門 turnstile ⊢）

-- A 量化表達式，以「在這種狀況下」或「在此命題下」來表示。

不是所有concept概念皆能turn into（轉變）為命題，比如說「房子」無法，但是「這裡有房子」是命題。

另外我們不能把「x的房子是木造」的「房子」用「在有房子的狀況下」來取代。

|- 中，| 表示斷言（命題筆畫），-表示結合後面的任何symbol符號（概念筆畫），變成一體。

- X中，X必須是可能的命題的概念。

3

如果判斷1和判斷2所延伸的東西相同，那判斷1等於判斷2。比如「我打他」和「他被我打」一樣。

主詞和受詞都是判斷句子涉及的概念。

A是事實=>A是內容

沒有一般意義的主語謂語問題。

|-是所有判斷的共同謂語（X是事實）