作者介紹
馮棉，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和直覺主義類型論
