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