现代逻辑学五位先驱

"每一位优秀的数学家至少有一半是哲学家，而每一位优秀的哲学家至少有一半是数学家"。-- 戈特洛布-弗雷格

人类历史上最具影响力的 5 位逻辑学家：

1) 亚里士多德
他可以说是有史以来最伟大的逻辑学家和最有影响力的思想家。他被认为是现代逻辑之父和伦理推理的奠基人。他的逻辑推理适用于世世代代，直到今天仍具有现实意义。

2) 库尔特-哥德尔
库尔特-哥德尔是爱因斯坦的好朋友，也是有史以来最杰出的逻辑学家之一。他最著名的作品无疑是 "哥德尔不完备性定理"。他以连接古典逻辑、直觉主义逻辑和模态逻辑而闻名。他是爱因斯坦最亲密的朋友之一，在普林斯顿高等研究院时，他每天都和爱因斯坦一起散步。

3) 阿尔弗雷德-塔尔斯基
他是波兰最伟大的数学家和逻辑学家之一。他于 1901 年出生于波兰华沙。他是影响真理理论的典型人物之一。要了解他的贡献，首先必须了解他在真理理论下的核心理念，即所谓的 "T公约"。关于真理，我们可以提出几个问题。我们可以根据所得出的对应关系来分析陈述是否真实。

4) 伯特兰-罗素
哲学在西方文化中，特别是在盎格鲁文化圈中得到普及。他还是《数学原理》的合著者。他是系统地写下从苏格拉底时代以前的西方哲学史的人。

5) 戈特洛布-弗雷格
毫无疑问，他可以被视为现代逻辑学的发明者和分析哲学的奠基人。他还是介词微积分（量化逻辑）的发明者。在此之前，亚里士多德的分类逻辑在批判思想家群体中很受欢迎。他也是 "语言转向 "一词的先驱，哲学家们经常用这个词来研究他们使用的语言。