哲学、逻辑与智能计算机PDF电子书下载

撰稿人简介 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