【弗雷格研究】Begriffsschrift《概念文字》：现代逻辑学的开山之作（1）

                
                
弗雷格的著作《概念文字》，其标题的德语原文是：
《Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens》
先解释一下每个单词：
Begriffsschrift：复合名词，由der Begrift（概念，项，意念，思想，感知）和die Schrift（字体，字形，字型，写作、书面、文件记录、脚本，文书，文档）两个单词构成，意思是将思想、概念用文字、语言、书面形式表达。
arithmetischen：形容词，算术的（arithmetic）
nachgebildete：过去分词，被复制的，被模仿的，仿真的
Formelsprache：复合名词：公式语言，由公式（die Formel）和语言（die Sprache）构成；
reinen：形容词，纯粹的
Denken：名词：思想，思维，观念；
连起来，就是：用文字表达的概念：一种表达纯粹思想的、以算术为蓝本的（作为模仿对象的）公式语言。
英语的翻译是：Concept-script: a formula language, modeled upon that of arithmetic, for pure thought
这是弗雷格第一本关于逻辑学的著作，也是逻辑学史上最重要的著作（没有之一）。这部仅仅88页的著作对逻辑学的基础性贡献有如下几点：
1. 首次提出真值函项的命题演算（truth-functional propositional calculus）；
2. 首次用函数和参数（function and argument）分析命题，用以替代亚氏逻辑的主词、谓词方法；
3. 首次阐述了完整的量词理论（the theory of quantification）；
4. 首次建立了一个逻辑系统，在这个系统中所有的推理只根据表达式的形式（a system of logic in which derivations are carried out exclusively according to the form of expressions）
5. 首次将自己的逻辑系统应用到数学中数列的研究（mathematical sequence）。
可以说，上述的成果任何单单一项就可以青史留名，并可以写成大部头的书。
未完待续，容后补充。