弗雷格

---

【生卒】：1848—1925

【介绍】：

德国逻辑学家，数理逻辑的奠基人之一。他的代表作有《表意文字——一种按算术语言构成的纯思维符号语言》、《算术基础——对数概念的逻辑研究》、《论概念和对象》、《论涵义与指称》。他在逻辑上的主要贡献：发明了表意语言，使逻辑推理系统精确化，他构造了一个严格的逻辑演算公理系统，即“一阶谓词演算”、“二阶谓词演算”，还把数学的“函数”概念引入逻辑，提出了“函项”概念，用真值表法来确定各种真值函项关系，以表达复合命题和推理形式的真值。他还区别了命题的表达和断定，提出了“真值蕴涵”的思想，以与日常语言相区别。他提出的“涵义和指称”的理论对于语义学的发展也有重要意义。