「Translations from the Philosopical Writing of Gottlob Frege 筆記」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 9： | 行 9： | ||
==概念文字 Begriffsschrift 第一章：符號的解釋== | ==概念文字 Begriffsschrift 第一章：符號的解釋== | ||
註：這是講形式邏輯的知名作品，首次出版於1879年。LaTeX有[https://ctan.org/pkg/frege frege套件]，打出其標記法。 | |||
分成兩個部分： | 分成兩個部分： | ||
| 行 19： | 行 19： | ||
|-- A 判斷（類似十字傳送門 turnsile ⊢） | |-- A 判斷（類似十字傳送門 turnsile ⊢） | ||
-- A | -- A 量化表達式，以「在這種狀況下」或「在此命題下」來表示。 | ||
不是所有concept概念皆能turn into（轉變）為命題，比如說「房子」無法，但是「這裡有房子」是命題。 | |||
另外我們不能把「x的房子是木造」的「房子」用「在有房子的狀況下」來取代。 | |||
|- 中，| 表示斷言（命題筆畫），-表示結合後面的任何symbol符號（概念筆畫），變成一體。 | |||
- X中，X必須是可能的命題的概念。 | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:數學]] | [[category:數學]] | ||
於 2023年8月5日 (六) 18:17 的修訂
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必須是可能的命題的概念。