弗雷格《概念文字》研究

弗雷格于1879年发表的《概念文字》标志着现代逻辑的诞生，被誉为逻辑史上的"哥白尼革命"。在这部著作中，弗雷格首次提出了一种完善的量化理论，创造了现代逻辑的形式系统，即一种由各种逻辑符号组成的形式语言和形式化公理系统，并且为了逻辑主义计划而把概念文字应用于数学基础问题，对数学中的序这个概念给出了逻辑的定义。本书对弗雷格《概念文字》中所涉及的基本思想、形式语言、逻辑演算和序列理论进行了详细介绍，并全文翻译了《概念文字》及六篇相关论文。

青年珠江学者。

目录
丛书序
前言
第1章 普遍语言与理性演算 1
1.1 《概念文字》的基本思想 1
1.2 普遍语言 5
1.3 形式化语言 7
1.4 古典逻辑 10
第2章 纯逻辑的形式语言 18
2.1 判断 18
2.2 条件性 23
2.3 否定 27
2.4 内容同一 31
2.5 函数 34
2.6 普遍性 36
第3章 逻辑演算 45
3.1 弗雷格的公理系统 45
3.2 句子逻辑演算 50
3.3 一阶函数演算 60
3.4 二阶函数演算 64
第4章 序列理论 66
4.1 遗传性 66
4.2 序列相继 69
4.3 属于关系 76
4.4 多对一关系 80
附录A 概念文字：一种模仿算术的形式语言构造的纯思维的形式语言 89
附录B 概念文字的应用 213
附录C 论概念文字的科学根据 218
附录D 论概念文字的目标 223
附录E 布尔的逻辑演算与概念文字 232
附录F 布尔的逻辑形式语言与我的概念文字 278
附录G 论皮亚诺先生和我的概念文字 285