戈特洛布·弗雷格

核心成果

• 创立现代数理逻辑，发明谓词演算（量词与变量），把逻辑推理完全形式化，是逻辑学自亚里士多德以来最重大的进展。
• 发起逻辑主义纲领，试图把全部算术化归为逻辑，著《算术基础》与《算术基本规律》。
• 区分「意义」与「指称」，其哲学深刻影响了分析哲学。
• 其系统被罗素悖论击中，但奠定了 20 世纪逻辑学与语言哲学的基础。

代表著作 / 文献

• 《概念文字》(Begriffsschrift)
• 《算术基础》
• 《算术基本规律》

历史影响

现代逻辑的奠基人；没有他就没有罗素、维特根斯坦、哥德尔与计算机科学。

相关人物 / 主题

莱布尼茨、罗素、希尔伯特、哥德尔