0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 自然科学总论 > 科技史 > 论联合演算

相同语种的商品

相同作者的商品

销售排行榜

浏览历史

论联合演算


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
论联合演算
  • 书号：9787030389282
    作者：马雷
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：314
    字数：413000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2013-10-01
  • 所属分类：B81 逻辑学(论理学)
  • 定价： ￥88.00元
    售价： ￥69.52元
  • 图书介质:
    纸质书

  • 购买数量： 件  可供
  • 商品总价：

内容介绍

样章试读

用户评论

全部咨询

　　联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具，但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。
　　本书系统研究和发展了联合演算的理论与方法，废弃了联合演算的原初判定标准，提出解决判定问题的结构判定法和范式判定法；并在此基础上提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案，构建了形式化的传统直言推论系统和三段论化归系统，构造了亚氏模态三段论的推演系统和化归系统，从而最大限度地证明传统逻辑和亚氏逻辑在其所适用的范围内所具有的严密性和完备性。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    联合演算理论的构建及其奠基意义（序） （i）
    前言 （iii）
    第一章 传统词项逻辑的一般特征 （1）
    第一节 传统词项逻辑语言的基本词汇 （1）
    一、变项 （1）
    二、逻辑常项 （7）
    第二节 传统词项逻辑的直言命题形式 （9）
    一、命题和命题形式 （9）
    二、真值条件 （12）
    第三节 传统词项逻辑的直言推理形式 （14）
    一、推理和推理形式 （14）
    二、亚里士多德三段论式和传统三段论式 （23）
    第二章 亚里士多德的模态三段论 （37）
    第一节 模态词与模态命题形式 （37）
    第二节 亚里士多德的模态三段论 （44）
    一、带有两必然前提的三段论 （44）
    二、两前提一为必然一为实然的三段论 （47）
    三、带有两可能前提的三段论 （55）
    四、两前提一为可能一为实然的三段论 （62）
    五、两前提一为可能一为必然的三段论 （67）
    第三章 联合演算的构建 （74）
    第一节 词项逻辑、谓词逻辑、类逻辑和命题逻辑 （74）
    一、词项逻辑与谓词逻辑 （74）
    二、词项逻辑与类逻辑 （77）
    三、词项逻辑与命题逻辑 （81）
    第二节 命题演算与一元谓词演算或类演算的联合 （85）
    一、命题演算与一元谓词演算的联合 （85）
    二、命题演算与类演算的联合 （87）
    第四章 联合演算的原初判定标准 （90）
    第一节 原初判定标准及其应用 （90）
    第二节 对原初判定标准的考察 （98）
    一、隐蔽的矛盾 （98）
    二、理论谬误和症结所在 （106）
    第五章 联合演算的结构判定方法 （116）
    第一节 希尔伯特和阿克曼的审定法 （116）
    第二节 结构判定方法 （119）
    一、对竖号的重新解释 （119）
    二、结构判定方法及其应用 （120）
    第六章 联合演算的范式判定方法 （128）
    第一节 运用范式判定方法的可能性 （128）
    第二节 范式判定方法及其一般应用 （130）
    一、基本概念和定理 （130）
    二、判定方法及其应用 （132）
    第三节 豪伯定理的证明 （141）
    第七章 联合演算对传统词项逻辑的等价描述 （147）
    第一节 问题的提出 （147）
    第二节 新的翻译模式 （151）
    第三节 传统直言推理式的简化 （156）
    第八章 联合演算对传统直言推理的系统化 （161）
    第一节 联合演算的出发点 （161）
    一、初始符号 （161）
    二、形成规则 （162）
    三、定义 （164）
    四、公理 （164）
    五、基本推理规则 （166）
    第二节 定理的推演 （169）
    一、传统直接推理的系统化 （169）
    二、直言三段论推理的系统化 （179）
    第三节 传统直言三段论的化归 （192）
    一、化归原理和方法 （192）
    二、三段论的化归-归于第一格AAA式 （194）
    第九章 亚里士多德模态三段论的形式系统 （201）
    第一节 对亚里士多德模态三段论的等价表述 （201）
    一、带有两必然前提的三段论 （202）
    二、两前提一为必然一为实然的三段论 （205）
    三、带有两可能前提的三段论 （225）
    四、两前提一为可能一为实然的三段论 （246）
    五、两前提一为可能一为必然的三段论 （259）
    第二节 模态三段论演算的出发点 （277）
    一、初始符号 （278）
    二、形成规则 （278）
    三、定义 （279）
    四、公理 （279）
    五、变形规则 （280）
    六、定理的推演 （281）
    第三节 亚里士多德模态三段论的化归 （294）
    一、化归原理和方法 （295）
    二、亚里士多德模态三段论的化归 （296）
    三、余论：亚里士多德的模态悖论 （304）
    参考文献 （310）
    后记 （312）
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com