Translations from the Philosopical Writing of Gottlob Frege 筆記

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋

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 量化表達式,以「在這種狀況下」或「在此命題下」來表示。

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

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

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

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