点击选择搜索分类
首页 - ELT(英语学习)- 正文
☆☆☆☆☆
||
周祯祥 著
出版社: 北京师范大学出版社 ISBN:9787303225224 版次:1 商品编码:12273624 包装:平装 丛书名: 国家社科基金后期资助项目 开本:16开 出版时间:2017-11-01 用纸:胶版纸 页数:392 字数:423000 正文语种:中文
第一节 古典必然观
第二节 近代必然观
第三节 现代必然观
第二章 蕴涵
第一节 古典蕴涵
第二节 从古典蕴涵到现代蕴涵
第三节 实质蕴涵批判和严格蕴涵
第三章 可能世界
第一节 可能世界及其语义学的基本概念
第二节 可能世界的内涵语义学
第三节 内涵和K模型的其他概念
第四章 可通达关系
第一节 可通达关系的基本概念和性质
第二节 基本关系R的组合关系
第三节 关系R的合成
第五章 模态K系统及其扩张
第一节 从严格蕴涵系统到K系统
第二节 正规模态逻辑和模态扩张的相关概念
第三节 K扩张系统
第六章 模态树图语义学
第一节 K树图
第二节 K的扩张树图
第七章 K和K扩张系统的完备性
第一节 K和K扩张系统的可靠性
第二节 K和K扩张系统树图转换
第三节 K和K扩张系统的完全性证明
第八章 典范模型和合成收敛方法
第一节 典范模型方法
第二节 基于K的模态逻辑完全性证明
第三节 收敛性(G)公理及其对应的R性质
第九章 模态逻辑基本理论的现代视野
第一节 不完全性、模态语言和模态基本理论的新视角
第二节 标准翻译
第三节 关系结构中的不变性结果
第十章 互模拟概念和模态逻辑
第一节 互模拟概念
第二节 结构不变性和有限模型性质
第三节 更为丰富的模态逻辑和更为丰富的模态语言
第十一章 模态逻辑、哲学和实在
第一节 形而上学必然和逻辑必然
第二节 信念改变及其逻辑理论
第三节 行动、主体及其逻辑构想
第四节 模态逻辑基本理论的形而上学思考
参考文献
主要逻辑符号
名词索引
主要人名译名索引
后记
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究 电子书 下载 mobi epub pdf txt
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究-so88
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
周祯祥 著
出版社: 北京师范大学出版社 ISBN:9787303225224 版次:1 商品编码:12273624 包装:平装 丛书名: 国家社科基金后期资助项目 开本:16开 出版时间:2017-11-01 用纸:胶版纸 页数:392 字数:423000 正文语种:中文
内容简介
逻辑学不割断历史,逻辑学是在对语言不断完善的过程中发展起来的,这是撰写本书的两个基本出发点。依据这两个出发点,本书选择了四个基本范畴,必然、蕴涵、可能世界和可通达关系,并且讨论了这四个基本范畴的历史沿革,讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定,模态基本理论,原则上限定在模态命题逻辑的范围之内。目录
第一章 必然第一节 古典必然观
第二节 近代必然观
第三节 现代必然观
第二章 蕴涵
第一节 古典蕴涵
第二节 从古典蕴涵到现代蕴涵
第三节 实质蕴涵批判和严格蕴涵
第三章 可能世界
第一节 可能世界及其语义学的基本概念
第二节 可能世界的内涵语义学
第三节 内涵和K模型的其他概念
第四章 可通达关系
第一节 可通达关系的基本概念和性质
第二节 基本关系R的组合关系
第三节 关系R的合成
第五章 模态K系统及其扩张
第一节 从严格蕴涵系统到K系统
第二节 正规模态逻辑和模态扩张的相关概念
第三节 K扩张系统
第六章 模态树图语义学
第一节 K树图
第二节 K的扩张树图
第七章 K和K扩张系统的完备性
第一节 K和K扩张系统的可靠性
第二节 K和K扩张系统树图转换
第三节 K和K扩张系统的完全性证明
第八章 典范模型和合成收敛方法
第一节 典范模型方法
第二节 基于K的模态逻辑完全性证明
第三节 收敛性(G)公理及其对应的R性质
第九章 模态逻辑基本理论的现代视野
第一节 不完全性、模态语言和模态基本理论的新视角
第二节 标准翻译
第三节 关系结构中的不变性结果
第十章 互模拟概念和模态逻辑
第一节 互模拟概念
第二节 结构不变性和有限模型性质
第三节 更为丰富的模态逻辑和更为丰富的模态语言
第十一章 模态逻辑、哲学和实在
第一节 形而上学必然和逻辑必然
第二节 信念改变及其逻辑理论
第三节 行动、主体及其逻辑构想
第四节 模态逻辑基本理论的形而上学思考
参考文献
主要逻辑符号
名词索引
主要人名译名索引
后记
必然、蕴涵、世界与关系:模态逻辑的历史和基本理论探究 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 科学探索与发现系列:失落的文明 杨江华
- 西门子S7-300/400PLC完全精通教程(附光盘)
- 中国之美自然生态图鉴 中国观赏花卉图鉴
- 大学物理学习题解析
- 第七届艾特奖获奖作品年鉴 国际空间设计大奖艾特奖组
- 全国高等林业院校试用教材:花卉学
- 一笔创意画-新编儿童学画-儿童智能绘画-少儿美术培训机构.配套课本1-7
- 园林植物病害发生与防治 9787565510793
- 老虎-第一次发现丛书
- 农业文化遗产及其动态保护探索(三)
- 九型人格(越简单越实用)
- 陈尚谨论文选
- 岩石与矿物 9787203101406
- 贝叶斯统计及其R实现(21世纪经济管理精品教材·经济学系列)
- 地球的历程 9787533176556