《哲学、逻辑与智能计算机》

撰稿人简介1

前言 鞠实儿1

第一编 归纳逻辑及其认知基础1

1 怀疑与确信之间的张力 〔美〕 I.Levi著，汤万君 李大超译 鞠实儿校1

2 Hume问题不可解的证明 鞠实儿20

3 归纳，概率与理论评价 张华夏22

4 类比与联想 林定夷50

5 非公理系统中的归纳推理 王培85

6 二元不确定性因果网 鞠实儿 罗旭东106

7 贝叶斯认证逻辑及其应用 陈晓平107

8 金岳霖论归纳 帅国文125

第二编 哲理逻辑探索143

1 论多值逻辑的特征 梁彪143

2 基于开放世界预设的3--值命题演算系统 鞠实儿159

3 科学问题的逻辑结构 张华夏189

4 科学中问题的结构与问题逻辑 林定夷191

5 缺省理论与相信理论的关系 姜云飞219

6 线性逻辑及其应用 倪德明227

7 自然化的计算理论 侯广坤 严兆勒241

1 不确定推理的支持度 周青 鞠实儿282

第三编 逻辑学及其在智能计算机中的应用282

2 关于相对化的计算复杂性类的研究 王洁 侯广坤 李祥283

3 欧氏空间的递归开闭子集上的实函数 周青306

4 关于Neumann自动机与Turing机相似问题 侯广坤307

5 限制推理与封闭世界假定数据库的询问求值 姜云飞336

6 线性逻辑式程序设计的证明论基础 倪德明357

7 PHLIQA1问答系统及其在开放系统中的扩展 李红晖359

1 符合真理论在20世纪的演变 梁庆寅384

第四编 逻辑哲学问题研究384

2 关于“矛盾律和排中律”思想的演变 梁彪397

3 科学推理的自然化 李平411

4 非经典逻辑与对应原理 桂起权 刘东波443

5 关于弗雷格序列理论的一个研究 徐明明457

6 传统逻辑与现代逻辑的定义理论比较 梁庆寅461

7 蕴涵“怪论”与逻辑认识论 程仲棠470

8 预设：语义预设与语用预设 胡泽洪486

9 简评塞尔的句子意义分析 王晓萍501