戈特洛布·弗雷格

**弗里德里希・路德維希・戈特洛布・弗雷格**（德語：**Friedrich Ludwig Gottlob Frege**，寬式 IPA：/ˈɡɔtlop ˈfʁeːɡə/；1848 年 11 月 8 日 —1925 年 7 月 26 日），著名德國數學家、邏輯學家和哲學家。是數理邏輯和分析哲學的奠基人。

## 生平

弗雷格的父親是擅長數學的學校教師。1869 年弗雷格進入耶拿大學學習，兩年後轉至哥廷根大學，1873 年在那裡得到了他在數學領域的哲學博士學位。 根據漢斯・斯路伽的資料 (1980)， 弗雷格在大學所受的邏輯和哲學教育仍是未知。1875 年，他回到耶拿擔任講師，並於 1879 年成為助理教授， 1896 年成為教授。弗雷格只有一名註冊學生，魯道夫・卡爾納普。 弗雷格的孩子都在成年前死去，而他於 1905 年領養了一名男孩。

弗雷格的工作沒有在有生之年得到廣泛的讚譽，但是受到伯特蘭・羅素和路德維希・維根斯坦和卡爾納普的稱讚，認為他註定會產生重大的影響。二戰後他的工作才在英語世界廣為人知，部分原因是一些哲學家和邏輯學家移居到了美國 —— 例如卡爾納普，塔爾斯基，和哥德爾 —— 那些了解尊敬弗雷格工作並將他的主要著作翻譯成英文的人。弗雷格的工作對分析哲學產生了巨大的影響。

## 邏輯學家

弗雷格被公認為偉大的邏輯學家，如同亞里斯多德，哥德爾，塔爾斯基。他於 1879 年出版的《概念文字》標誌著邏輯學史的轉折。《概念文字》開闢了新的領域。

## 思想

弗雷格是政治立場保守的德國數學家，他重新激起人們對邏輯學的哲學興趣。他試圖找出算術的「基礎」，以演繹的方式證明「二加二等於四」這類基本恆等式必然為真。從亞里斯多德以來，邏輯學一直是研究命題與命題彼此關係的學問，弗雷格則擴大邏輯學的內容，創造了「量化」邏輯 (與「全部」、「有些」、「無」等範疇有關)，使其成為今日哲學家熟知與沿用的知識。正如笛卡兒與洛克沿著知識論大道發展現代哲學，弗雷格也沿著邏輯學與語言分析之路發展當代哲學。「語言學轉向」是個令人興奮的突破，它試圖以分析哲學為基礎，解釋所有的理論。

## 參考

### 主要的

* Online bibliography of Frege's works and their English translations. （頁面存檔備份，存於網際網路檔案館）
* 1879. _Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens_. Halle a. S.: Louis Nebert. Translation: _Concept Script, a formal language of pure thought modelled upon that of arithmetic_, by S. Bauer-Mengelberg in Jean Van Heijenoort, ed., 1967. _From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931_. Harvard University Press.
* 1884. _Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl_. Breslau: W. Koebner. Translation: J. L. Austin, 1974. _The Foundations of Arithmetic: A logico-mathematical enquiry into the concept of number_, 2nd ed. Blackwell.
* 1891. "Funktion und Begriff." Translation: "Function and Concept" in Geach and Black (1980).
* 1892a. "Über Sinn und Bedeutung" in _Zeitschrift für Philosophie und philosophische Kritik 100_: 25-50. Translation: "On Sense and Reference" in Geach and Black (1980).
* 1892b. "Über Begriff und Gegenstand" in _Vierteljahresschrift für wissenschaftliche Philosophie 16_: 192-205. Translation: "Concept and Object" in Geach and Black (1980).
* 1893. _Grundgesetze der Arithmetik, Band I_. Jena: Verlag Hermann Pohle. _Band II_, 1903. Partial translation: Furth, M, 1964. _The Basic Laws of Arithmetic_. Uni. of California Press.
* 1904. "Was ist eine Funktion?" in Meyer, S., ed., 1904. _Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20. Februar 1904_. Leipzig: Barth: 656-666. Translation: "What is a Function?" in Geach and Black (1980).
* Peter Geach and Max Black, eds., and trans., 1980. _Translations from the Philosophical Writings of Gottlob Frege_, 3rd ed. Blackwell.

Frege intended that the following three papers be published together in a book titled _Logical Investigations_. The English translati/ns thereof were so published in 1975.

* 1918-19. "Der Gedanke: Eine logische Untersuchung (Thought: A Logical Investigation)" in _Beiträge zur Philosophie des Deutschen Idealismus I_: 58-77.
* 1918-19. "Die Verneinung" (Negation)" in _Beiträge zur Philosophie des deutschen Idealismus I_: 143-157.
* 1923. "Gedankengefüge (Compound Thought)" in _Beiträge zur Philosophie des Deutschen Idealismus III_: 36-51.

### 次要的

* George Boolos, 1998. _Logic, Logic, and Logic_. MIT Press. Contains several influential papers on Frege's philosophy of arithmetic and logic.
* Michael Dummett, 1973. _Frege: Philosophy of Language_. Harvard University Press.
* Michael Dummett, 1991. _Frege: Philosophy of Mathematics_. Harvard University Press.
* Demopoulos, William, 1995. "Frege's Philosophy of Mathematics". Harvard University Press. A nice collection that explores the significance of Frege's theorem, and his mathematical and intellectural background.
* Gillies, Douglas A., 1982. _Frege, Dedekind, and Peano on the foundations of arithmetic_. Assen, Netherlands: Van Gorcum.
* Ferreira, F. and Wehmeier, K., 2002, "On the consistency of the Delta-1-1-CA fragment of Frege's _Grundgesetze_," _Journal of Philosophic Logic 31_: 301–11.
* Ivor Grattan-Guinness, 2000. _The Search for Mathematical Roots 1870-1940_. Princeton Uni. Press. Fair to the mathematician, less so to the philosopher.
* Hatcher, William, 1982. _The Logical Foundations of Mathematics_. Pergamon. Uses natural deduction to rederive Peano's axioms from the _Grundgesetze_ system, recast in modern notation.
* Hill, C. O. _Word and Object in Husserl, Frege and Russell: The Roots of Twentieth-Century Philosophy._ Athens: Ohio University Press, 1991.
* Hill, C. O., and Rosado Haddock, G. E., 2000. _Husserl or Frege: Meaning, Objectivity, and Mathematics_. Open Court. The Frege-Husserl-Cantor triangle.
* Hans Sluga, 1980. _Gottlob Frege_. Routledge.

## 外部連結

* A comprehensive guide to Fregean material available on the web; by Brian Carver. （頁面存檔備份，存於網際網路檔案館）
* Stanford Encyclopedia of Philosophy: Gottlob Frege. （頁面存檔備份，存於網際網路檔案館）
* Stanford Encyclopedia of Philosophy: Frege's Logic. （頁面存檔備份，存於網際網路檔案館）
* Internet Encyclopedia of Philosophy: Gottlob Frege. （頁面存檔備份，存於網際網路檔案館）
* Internet Encyclopedia of Philosophy: Frege and Language. （頁面存檔備份，存於網際網路檔案館）
* Frege on Being, Existence and Truth. （頁面存檔備份，存於網際網路檔案館）
* 約翰・J・奧康納； 埃德蒙・F・羅伯遜, Frege, MacTutor 數學史檔案 （英語）