分析哲学与实用主义 · 1848–1925年
戈特洛布·弗雷格
创立现代逻辑的耶拿大学数学家

算术可以从逻辑中推导出来;语言表达式既有涵义(呈现对象的方式),也有指称(对象本身):“晨星”和“昏星”涵义不同,指称的却都是金星。
生平与思想
戈特洛布·弗雷格(1848–1925)一生在耶拿大学教数学,生前几乎无人注意。在《概念文字》(1879)这本用奇特二维记号写成的小书里,他创立了第一个现代的量词与变元逻辑——今天每个逻辑学学生用别的符号学到的,正是这个系统。他的目标是证明算术不过是逻辑。1902年,《算术基本规律》第二卷付印之际,罗素来信指出他的一条公理会导出矛盾;弗雷格在书后加了附录,承认自己的基础已被动摇。
在《论意义与指称》(1892)中,他问:“晨星就是暮星”为什么能告诉我们新东西,既然两个名字指的都是金星?他的回答是:一个表达式既有指称,即它挑出的对象,也有意义,即它呈现该对象的方式。两个名字指称相同而意义不同,所以这句话有信息量。语言哲学乃至大部分分析哲学,都从这一区分出发。
著作
1879年《概念文字》
1884年《算术基础》
1892年《论涵义与指称》