![论联合演算](https://cover.qianqiantushu.cc/90/s60a36df.jpg)
![论联合演算](https://cover.qianqiantushu.cc/90/s60a36df.jpg)
论联合演算PDF电子书下载
- 电子书积分:12 积分如何计算积分?
- 作 者:马雷著
- 出 版 社:北京:科学出版社
- 出版年份:2013
- ISBN:9787030389282
- 页数:314 页
第一章 传统词项逻辑的一般特征 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
- 《上海市订购外国和港台科技期刊联合目录 1983 上》上海科学技术情报研究所 1983
- 《上海市订购苏联情报出版物联合目录与索引 1983》上海科学技术情报研究所 1983
- 《基于C语言与Proteus联合仿真的单片机技术》丘利丽 2019
- 《联合作战指挥控制系统=COMMAND AND CONTROL SYSTEMS FOR JOINT OPERATIONS》蓝羽石 2019
- 《中国模拟联合国大会指导手册 最新版=A PRACTICAL GUIDE TO CHINA MATIONAL MODEL UN CONFERENCE (NEW EDITION)》中国联合国协会编 2019
- 《联合国海洋法公约争端解决强制管辖权研究》蒋橙责任编辑;(中国)李文杰 2019
- 《中国教育史上的一次创举 西南联合大学湘黔滇旅行团记实》张寄谦编 1999
- 《浙江省古籍善本联合目录 索引》程小澜,朱海闵,应长兴主编 2017
- 《磋商 走进模拟联合国》陈林福主编 2017
- 《宁夏灌区混凝土冻害盐联合腐蚀劣化机理》王德志著 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019