可能世界与逻辑研究

作者：冯棉著
出版社：上海：华东师范大学出版社
出版年份：1996
ISBN：7561715048
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
8
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

前言 1

第一章可能世界与逻辑哲学 1

§1．1什么是可能世界 1

§1．2名称和指示词 15

§1．3本质主义 33

第二章可能世界与形式系统 44

§2．1模态逻辑 44

§2．2时态逻辑与道义逻辑 64

§2．3其他非经典逻辑 80

第三章可能世界与自然语言逻辑 103

§3．1陈述句真值的一般判定方法 103

§3．2条件句的逻辑分析 109

§3．3语境和预设 115

第四章逻辑类型论 132

§4．1逻辑类型论的提出 133

§4．2罗素的分枝类型论 137

§4．3简单类型论 148

§4．4奎因的类型论系统NF和ML 157

§4．5范畴、Topos和直觉主义类型论 165

第五章对逻辑科学的思索 173

§5．1逻辑的严格性 173

§5．2现代逻辑研究中的若干问题 183

主要参考文献 190