×
暂无评论
图文详情
  • ISBN:9787509751831
  • 装帧:暂无
  • 册数:暂无
  • 重量:暂无
  • 开本:16开
  • 页数:183
  • 出版时间:2013-12-05
  • 条形码:9787509751831 ; 978-7-5097-5183-1

本书特色

概称句推理研究近三十年得到了迅猛发展,但由于研究难度较高,至今没有统一的观点。研究概称句的意义不仅在于它是目前国际上的热点问题,更在于它可能带来观念上的转变:(我们日常推理所用到的规律大部分都)不是全称句,而是概称句。 根据研究需要,张立英专著的《概称句推理研究》将概称句推理分为:(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 概称句与语义网参考文献索 引后记
展开全部

作者简介

张立英,北京大学哲学系逻辑学专业博士,中央财经大学现代逻辑研究所副教授,荷兰阿姆斯特丹大学逻辑、语言与计算研究所访问学者,北京市逻辑学会副秘书长。

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航