可能世界的逻辑
(美)R·B·马库斯等著;康宏逵编译, R.B. 馬庫斯等著, 康宏逵編譯, Ruth Barcan Marcus, 康宏逵, (美) R.B. 马库斯等著, 康宏逵编译, 马库斯, 康宏逵, Makusi, Hongkui Kang, 馬庫斯 R・B
1 (p0-1): 模态、自指和哥德尔定理--一个优美的模态分析案例(代序)[康宏逵]
93 (p1): 一、模态逻辑
93 (p1-2): 模态逻辑、模态语义学及其应用〔美国〕[R·芭尔坎·马库斯]
111 (p1-3): 模态逻辑中的框架和模型〔新西兰〕[M·J·克雪斯韦尔]
130 (p1-4): 模态逻辑中的量化〔美国〕[J·W·加森]
159 (p2): 二、时态与时间逻辑
159 (p2-2): 逻辑和时间〔美国〕[J·P·伯吉斯]
190 (p2-3): 不实在的将来〔美国〕[J·P·伯吉斯]
217 (p2-4): 从事件造瞬间〔加拿大〕[S·K·托马森]
235 (p3): 三、道义逻辑
235 (p3-2): 道义逻辑引论〔挪威〕[D·弗勒斯达尔]〔芬兰〕[R·希尔皮南]
270 (p3-3): 基于时态逻辑的道义逻辑〔美国〕[R·H·托马森]
287 (p4): 四、条件句逻辑
287 (p4-2): 条件句与可能世界〔芬兰〕[R·希尔皮南]
323 (p5): 五、自然语言的逻辑研究
323 (p5-2): 蒙太古的语号学〔美国〕[R·H·托马森]
396 (p5-3): 博弈论语义学:透视和展望〔芬兰〕[J·欣迪卡]
425 (p5-4): 写在出版之前[康宏逵] 本书对模态逻辑几个成熟分支进行综述, 大多具有历史, 哲学, 技术三者统一的特点. 编译者增写了有趣的案例, 谈哥德尔式自指句等 本书对模态逻辑几个成熟分支进行综述,大多具有历史、哲学、技术三者统一的特点。编译者增写了有趣的案例,谈哥德尔式自指句等。
93 (p1): 一、模态逻辑
93 (p1-2): 模态逻辑、模态语义学及其应用〔美国〕[R·芭尔坎·马库斯]
111 (p1-3): 模态逻辑中的框架和模型〔新西兰〕[M·J·克雪斯韦尔]
130 (p1-4): 模态逻辑中的量化〔美国〕[J·W·加森]
159 (p2): 二、时态与时间逻辑
159 (p2-2): 逻辑和时间〔美国〕[J·P·伯吉斯]
190 (p2-3): 不实在的将来〔美国〕[J·P·伯吉斯]
217 (p2-4): 从事件造瞬间〔加拿大〕[S·K·托马森]
235 (p3): 三、道义逻辑
235 (p3-2): 道义逻辑引论〔挪威〕[D·弗勒斯达尔]〔芬兰〕[R·希尔皮南]
270 (p3-3): 基于时态逻辑的道义逻辑〔美国〕[R·H·托马森]
287 (p4): 四、条件句逻辑
287 (p4-2): 条件句与可能世界〔芬兰〕[R·希尔皮南]
323 (p5): 五、自然语言的逻辑研究
323 (p5-2): 蒙太古的语号学〔美国〕[R·H·托马森]
396 (p5-3): 博弈论语义学:透视和展望〔芬兰〕[J·欣迪卡]
425 (p5-4): 写在出版之前[康宏逵] 本书对模态逻辑几个成熟分支进行综述, 大多具有历史, 哲学, 技术三者统一的特点. 编译者增写了有趣的案例, 谈哥德尔式自指句等 本书对模态逻辑几个成熟分支进行综述,大多具有历史、哲学、技术三者统一的特点。编译者增写了有趣的案例,谈哥德尔式自指句等。
عام:
1993
الإصدار:
1993
الناشر:
上海:上海译文出版社
اللغة:
Chinese
ISBN 10:
7532712141
ISBN 13:
9787532712144
ملف:
PDF, 11.84 MB
IPFS:
,
Chinese, 1993