| 释义 |
《概念文字》 Begriffsschrift, eine der arithmeti-schen nachgebildete Formelsprache des reiner Den-kens 全称《概念文字，一种按算术语言构成的纯思维的符号语言》。德国弗雷格著。1879年发表。用独创的表意概念语言进行推理，构成了一阶谓词演算，这是逻辑发展史上第一个关于逻辑规律的公理演算系统。是数理逻辑两个演算的奠基性著作。该书明确规定了断定概念。认为断定是在表达一个思想，理解一个思想之后才能作出的。明确提出真值蕴涵的思想，采用蕴涵和否定作为基本联结词、全称量词作为基本量词。把“≡”看成是两个名字之间的关系，意指符号两边具有同样的概念内容，总能用一方代替另一方。定义了函项和量词，其中的函项实际上是函项关系或函项运算。命题函项的值是真值(真和假)。在说明符号体系后，表述了逻辑公理。强调有些原则是先决条件，其实就是使用记号的规则和推理规则。然而还有一些纯思想的原则，这些原则结合在一起能具有所有原则的效力。这些就是逻辑公理。提出了九条公理。并从逻辑上定义了与序列有关的一些重要概念，为以后定义自然数及说明数学归纳法，作了理论和技术的准备。该书提出的某些公理不具独立性，对一些推理规则重视不够，特别是所使用的符号很难掌握，导致初发表时未能发生重大影响。 |