可能世界与逻辑研究

内容概要

冯棉，1948 年12月

生，先后就读于华东师大

数学系和哲学系，获理学

学士和哲学硕士学位。现

任华东师大哲学系逻辑教

研室主任，副教授，中国逻

辑学会理事，中国逻辑学

会符号逻辑专业委员会委

员，上海市逻辑学会常务

理事兼副秘书长。曾获全

国“金岳霖学术奖”和上海

市哲学社会科学优秀成果

奖。已出版的个人专著

有：（经典逻辑与直觉主义

逻辑）、《广义模态逻辑》、

《相干与衍推逻辑》，合著

有《哲学逻辑与逻辑哲

学》。199 年入选Marquis

Who's Who in the World

12th Edition

书籍目录

目录

前言

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

1.1 什么是可能世界

1.2 名称和指示词

1.3 本质主义

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

2.1 模态逻辑

2.2 时态逻辑与道义逻辑

2.3 其他非经典逻辑

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

3.1 陈述句真值的一般判定方法

3.2 条件句的逻辑分析

3.3 语境和预设

第四章 逻辑类型论

4.1 逻辑类型论的提出

4.2 罗素的分枝类型论

4.3 简单类型论

4.4 奎因的类型论系统NF和ML

4.5 范畴、Topos和直觉主义类型论

 可能世界与逻辑研究下载