| 逻辑学与现代科学的发展 |
|
|
|
论自身的发展,另一方面也促进了其他学科的发展,并由此产生了众多的新兴学科。
1.逻辑学在现代科学中的应用和发展尼古拉斯·雷歇尔(NicholasRescher)的逻辑分类图展示了逻辑学理论在现代科学的应用中得到的新发展。特德·杭德里奇(TedHonderich)的逻辑分类图也显示了相似的情况。我们以雷歇尔的分类图为基础,对现代逻辑理论的新发展和分支学科作简要介绍,并对杭德里奇分类的不同之处略加说明。
第一类学科群体称为"基础逻辑",它由传统逻辑、正规的现代逻辑、非正规的现代逻辑三个学科门类构成,包括亚里士多德逻辑、中世纪的逻辑、命题逻辑、一阶谓词逻辑、模态逻辑、多值逻辑、非标准蕴涵系统和非标准量化系统等分支学科或理论。雷歇尔将它们称为"基本逻辑",因为它们是学习逻辑学其他理论的基础。
第二类学科群体称为"元逻辑",它由逻辑语形学、逻辑语义学、逻辑语用学、逻辑语言学四个学科门类构成,包括基本语义学、模型论、解释理论、项的理论、描述理论、同一理论、自然语言逻辑、修辞分析、语境蕴涵、非形式谬误理论、结构理论、意义理论、有效性理论等分支学科或理论,它们是用数理逻辑的方法对逻辑学自身进行理论研究和系统分析而产生的学科群体。
第三类学科群体称为"数理逻辑",它由算术理论、代数理论、函数论、证明论、概率逻辑、集合论、数学基础等七个学科门类构成,包括算法、可计算理论、计算机编程、布尔代数、格论逻辑、递归论、兰姆达转换、组合论、公理化理论等分支学科或理论,它是对数学基础研究产生的学科群体。
第四类学科群体称为"科学逻辑",它由物理学的应用、生物学的应用、社会科学的应用三个学科门类构成,包括量子论逻辑、物理或因果模态理论、控制论逻辑、义务逻辑、价值逻辑、法律逻辑等分支学科或理论,它们是逻辑学应用于各门具体科学产生的学科群体。
第五类学科群体称为"哲学逻辑",它由伦理学、形而上学、认识论方面的应用和归纳逻辑四个学科门类构成,包括行为逻辑、义务逻辑、命令逻辑、选择逻辑、存在逻辑、时序逻辑、部分/整体逻辑、Lesniewski的本体论、构成主义逻辑、唯名唯实论争论意义下的本体论、问题逻辑、认知逻辑、条件逻辑、信息和信息加工的逻辑、证据和证实的逻辑、概率逻辑等。哲学逻辑是上一页 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] ... 下一页 >> |
|
|
| |
|
上一个论文： 从维也纳学派看古印度逻辑学派
下一个论文： 从现实逻辑到学术逻辑 |
|
用户登录 
新用户注册 