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

更多科学出版社服务，请扫码获取。

2001.09-2005.07 北京师范大学哲学与社会学学院/本科生 2005.09-2008.07 清华大学人文学院哲学系逻辑学专业/硕士研究生 2008.09-2011.06 清华大学人文学院哲学系逻辑学专业/博士研究生2011.09-2014.06，西南大学；2014年至今，中山大学逻辑与认知研究所教授非经典逻辑（模态逻辑、证明论）、模型论及逻辑史在Review of Symbolic Logic、Studia Logica、Journal of Philosophical Logic等10多种国际学术期刊、国际会议以及《哲学研究》《世界哲学》《哲学动态》等期刊发表论文80余篇。出版著作2部，编写教材1部。

目录
丛书序
前言
第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