本书是国家社会科学基金项目研究成果，项目名称：“数字化的逻辑基础理论研究”，项日批准号01BZX033。

数字化是计算机科学技术发展背景下的一种新的文化。数字化的基础是逻辑，逻辑的基础是语言。本项目以逻辑学和哲学的语言基础理论为支撑，以形式化、数字化和虚拟化为核心问题，再衍生出人工智能逻辑和认知逻辑研究。

本书可作为语言学、逻辑学、哲学、人工智能及认知科学各相关方向研究生和研究人员的参考读物。

序(周礼全)

感谢

导言

第一篇 语言基础和语言转向

1 论哲学的语言转向及其意义

2 再论哲学的语言转向及其意义

3 语言、逻辑与哲学基础的变革

4 逻辑学与现代科学的发展

第二篇 语言哲学和语言逻辑

5 从逻辑实证主义到日常语言学派

6 语言逻辑的对象、方法和意义

7 符号学三分法对西方语言哲学和语言逻辑的影响

8 没有乔姆斯基世界将会怎样

第三篇 语用学和语用逻辑

9 语用学视野中的逻辑学

10 命题的语用逻辑

11 量化的语用逻辑

12 模态的语用逻辑

第四篇 形式化数字化虚拟化

13 论形式化

14 论数字化

15 论虚拟化

16 论技术行为、科学理性与人文精神

第五篇 逻辑与人工智能

17 哲学家如何理解人工智能

18 语用逻辑及其在人工智能中的应用

19 一个与卢卡西维兹不同的亚里士多德三段论形式系统

20 三段论自动推理的一个逻辑模型

第六篇 逻辑学与认知科学

21 心智科学的若干重要领域探析

22 经验在认知中的作用

23 认知科学背景下的逻辑学

24 逻辑、心理与认知

附录 作者学术活动大事记(2001—2007)

参考文献

术语索引

人名索引