当前位置:首页 > 经典书库 > 逻辑百科辞典

《槪念文字》

也译为《概念语言》。全名是《概念文字——一种模仿算术的形式语言构造的纯思维的形式语言》,德国逻辑学家G.弗雷格于1879年发表的一部重要逻辑著作,被称为现代逻辑的光辉的里程碑。该书共分3部分。第一部分论述了构造形式语言的设想,即不满足自然语言的歧义性,要克服它在推理中不严格的缺陷;解释了几个主要的符号和概念,如“┝”、“函数”、“自变元”、“否定”、“条件性”、“普遍性”和“同一”等等;用一种特殊的符号建立了一个形式语言。第二部分和第三部分用这种形式语言构造了一个初步自足的一阶逻辑演算系统,推导和证明了一系列定理。该书不足90页,在逻辑史上却有划时代的意义。它提供了一种可以精确地表述推理形式的语言和构造形式语言的设想和方法,使逻辑从此走上形式化的道路。弗雷格的许多重要思想,如意义和所指、概念和对象等等,在这部著作中都有论述。因此该书对于哲学也具有十分重要的意义。

上一篇:格莱斯,H.P. 下一篇:槪率演算
分享到: