弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)于1897年發(fā)表《概念文字:一種模仿算術(shù)語言構(gòu)造的純思維的形式語言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。這本薄薄的書可謂現(xiàn)代邏輯的開山之作。它奠定了數(shù)理邏輯中的命題邏輯和一階謂詞邏輯的基礎(chǔ)。然而,對于這本邏輯史上劃時(shí)代的專著,在當(dāng)時(shí)卻少有人問津。弗雷格反思其原因,認(rèn)為除人們對那陌生的符號系統(tǒng)望而生畏外,還不理解他為什么要構(gòu)造這一系統(tǒng)的理由。他在1884年發(fā)表了專著《算術(shù)基礎(chǔ)》(Grundlagen der Arithmetik)。在這本書中,他沒有使用數(shù)理邏輯的符號,而是哲學(xué)理論上論證他所構(gòu)造的人工語言系統(tǒng)的基本原理,指出嚴(yán)格區(qū)分心理的東西和邏輯的東西、主觀的東西和客觀的東西的必要性;強(qiáng)調(diào)決不要忘記概念和客體之間的區(qū)別;對當(dāng)時(shí)所流行的邏輯學(xué)和數(shù)學(xué)中的心理主義展開批判。他認(rèn)為邏輯是數(shù)學(xué)的基礎(chǔ),數(shù)的概念可以被定義為邏輯的類的概念,而類則被看成概念的外延??梢哉f,《算術(shù)基礎(chǔ)》一書是弗雷格在哲學(xué)的方面為他的數(shù)學(xué)基礎(chǔ)研究中的邏輯主義的方案奠定基礎(chǔ)。 ( http://www. )
注釋: [1] G. Frege,Die Grundlage der Arithmetik. Eine Logisch-mathematische Untersuchung über den Begriff der Zahl(《算術(shù)基礎(chǔ):對數(shù)的概念的邏輯數(shù)學(xué)的研究》),Breslau 1884,第23頁。 ( http://www. ) [2] 同上,第27頁。 [3] G. Frede,Der Gedanke,Philosophie des deutschen Idealismus;I. Band(1918/ 19),第 58-59頁;引自G. Frege,Kleine Schriften,Damstadt 1967,第342頁。 ( http://www. ) [4] 同上,第56頁。 [5] 同上,第23頁。 [6] Frege,Die Grundlage der Arithmetik,第23頁。