Study on reasoning of generic sentences

副标题:无

作   者:张立英著

分类号:

ISBN:9787509751831

微信扫一扫,移动浏览光盘

简介

概称句推理研究近三十年得到了迅猛发展,但由于研究难度较高,至今没有统一的观点。研究概称句的意义不仅在于它是目前国际上的热点问题,更在于它可能带来观念上的转变:(我们日常推理所用到的规律大部分都)不是全称句,而是概称句。 根据研究需要,张立英专著的《概称句推理研究》将概称句推理分为:(1)结论是事实句的概称句推理;(2)结论是概称句的概称句推理,这一部分有时又被称为获得概称句的推理。其中第二类又具体分为:主要通过演绎方式获得概称句的推理:主要通过归纳方式获得概称句的推理。本书首次全面系统地给出了这三种类型的概称句推理形式刻画。本书的主干部分主要应用条件句逻辑、模态逻辑、谓词逻辑、偏好逻辑等逻辑分支中的方法来研究概称句推理,给出了不同的逻辑系统,完全性证明中用到典范模型方法。在逻辑系统基础上,本书引入前提集的排序来最终刻画非单调的概称句推理。以概称句推理研究的结果为基础,本书还进一步分析了概称句推理与归纳推理的关系以及概称句与语义网理论的关联性。

目录

前言
第一章 绪论
1.1 研究背景
1.2 研究内容和意义
1.2.1 研究内容
1.2.2 研究意义
1.3 整体框架
第二章 概称旬的语义分析述评
2.1 概称句的分类及其特点
2.1.1 概称句分类
2.1.2 概称句的七个特点
2.2 概称句的语义分析述评
2.2.1 成规说
2.2.2 规则说
2.2.3 对全称句作限制
2.2.4 涵义语义
2.2.5概率方向
第三章 结论是事实句的概称句推理的基础逻辑
3.1 结论是事实句的概称句推理研究综述
3.1.l 结论是事实句的概称句推理
3.1.2 “试金石”问题
3.1.3 刻画局部推理的逻辑
3.2 结论是事实句的概称句推理的一个基础逻辑GF
3.2.1 语言LG
3.2.2 语义
3.2.3 基础逻辑G,
3.2.4 GF的可靠性和完全性
第四章 结论是概称句的推理的基础逻辑
4.1 结论是概称句的推理研究综述
4.1.1 结论是概称句的推理研究简述
4.1.2 结论是概称句的推理分类
4.2 通过演绎方式得概称句的推理的一个基础逻辑G
4.2.1 语言LG
4.2.2 语义
4.2.3 基础逻辑GD
4.2.4 GD的可靠性和完全性
4.2.5 与GD平行的其他逻辑系统
4.3 通过归纳方式得概称句的推理的基础
4.3.1 最纯粹的归纳法——简单枚举归纳法
4.3.2 简单枚举归纳法的形式表达
4.3.3 通过归纳方式得概称句的推理的逻辑基础
第五章 前提集带排序的概称句推演
5.1 前提集带排序的概称句推演
5.1.1 排序的原因
5.1.2 前提集的一般优先序及优先原则
5.2结论是事实句的概称句推理的优先序
5.2.1 结论是事实句的概称句推理的优先序
5.2.2分析及验证
5.3 通过演绎方式得概称句的推理的优先序
5.3.1 通过演绎方式得概称句的推理的优先序
5.3.2 分析及验证
5.4 通过归纳方式得概称句的推理的优先序
5.4.1 通过归纳方式得概称句的推理的优先序
5.4.2 分析及验证
5.5 三种方式的融合
第六章 概称句推理与归纳推理
6.1 归纳推理研究简述
6.1.1 归纳推理的界定
6.1.2 归纳推理研究发展简述
6.1.3 归纳推理研究中的已有分类
6.2 概称句视角下的归纳推理
6.2.1 语句解释——用概称句替代全称句
6.2.2 归纳推理——前提集带排序的非单调(概称句)推理
6.3 概称句解释与概率解释比较
6.3.1 表达不确定性的方式
6.3.2 处理范围
6.3.3 应用性
6.3.4小释疑
6.4 概称句推理视角下的休谟问题
6.4.1 休谟问题
6.4.2 概称句视角下的休谟问题
6.5 本章小结
第七章 概称旬与语义网
7.1 从万维网到语义网
7.2 语义网与排序
7.3 概称句与语义网
参考文献
索 引
后记

已确认勘误

次印刷

页码 勘误内容 提交人 修订印次

Study on reasoning of generic sentences
    • 名称
    • 类型
    • 大小

    光盘服务联系方式: 020-38250260    客服QQ:4006604884

    意见反馈

    14:15

    关闭

    云图客服:

    尊敬的用户,您好!您有任何提议或者建议都可以在此提出来,我们会谦虚地接受任何意见。

    或者您是想咨询:

    用户发送的提问,这种方式就需要有位在线客服来回答用户的问题,这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问

    Video Player
    ×
    Audio Player
    ×
    pdf Player
    ×
    Current View

    看过该图书的还喜欢

    some pictures

    解忧杂货店

    东野圭吾 (作者), 李盈春 (译者)

    loading icon