临界的传递逻辑 模态逻辑的濒表格性问题探究PDF格式文档图书下载
第一编 序篇 3
第一章 背景知识一览 3
第一节 逻辑K4及其正规扩充 3
第二节K4-逻辑的克里普克语义学 8
第三节 临界的传递逻辑——K4-逻辑格中的濒表格逻辑 36
第二章 历史的回顾:1940~1980年 40
第一节 孤例S5 40
第二节 走出孤例 46
第三节NExtS4的简单性 52
第四节 传递逻辑格NExtK4还在向我们挑战 59
第二编 主篇 73
引言——我们的目的和方法 73
第三章 点式归约初探 76
第一节 集式归约和点式归约 76
第二节 传递框架间的点式归约 79
第四章 传递逻辑格中有穷深度濒表格逻辑的语义判据 87
第一节 传递的濒表格逻辑的刻画框架 87
第二节AltN-颠覆子、AltN-反驳子和框架的濒表格性 92
第三节 有穷深度濒表格逻辑的语义判据 106
第五章 传递逻辑格中无穷深度濒表格逻辑的语义判据 122
第一节 刻画无穷深度濒表格逻辑的有穷框架类的规范化 122
第二节 刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、f°ω-风筝和f°ω-风筝 133
第三节 无穷深度濒表格逻辑的语义判据 138
第六章 濒表格逻辑语义判据的应用 149
第一节 麦金森分类法眼光下的模态逻辑Q4 149
第二节 濒表格逻辑的语义判据的应用——NExtQ4 153
第三节NExtS4、 NExtD4和NExtGL中濒表格逻辑的范形 161
第七章 从一种新观点看问题 165
第一节 传递的濒表格逻辑和它们的表格扩充 165
第二节 传递的濒表格逻辑的语义特征 170
参考文献 187
附录A论麦金森定理及其等价命题 192
附录B模态镜子里的反欧性 202
附录C一般框架和典范公式 217
索引 231
后记 238
- 《临界的传递逻辑 模态逻辑的濒表格性问题探究》杜珊珊,康宏逵著 2017
- 《必然、蕴涵、世界与关系 模态逻辑的历史和基本理论探究》周祯祥著 2017
- 《皮尔斯 刘易斯 蒯因 实用主义哲学家和模态逻辑》周祯祥著 2014
- 《逻辑学核心理论探究及历史发展分析》李志国著 2015
- 《现代逻辑学讲义 模态逻辑》李小五编著 2005
- 《模态逻辑》李娜编著 2015
- 《模态逻辑》(日)内田种臣著;何向东,瞿麦生译 1991
- 《模态逻辑引论》周礼全著 1986
- 《模态逻辑导论》周北海著 1997
- 《模态逻辑导论》(美)切莱士(Chellas,B.F.)著;郑文辉,张宜生译 1989
- 《临界的传递逻辑 模态逻辑的濒表格性问题探究》杜珊珊,康宏逵著 2017
- 《形式逻辑导论》(德)克劳斯(G.Klaus)著;金培文,康宏逵译 1981
- 《哥德尔》(美)王浩著;康宏逵译 1997
- 《可能世界的逻辑》(美)R·B·马库斯等著;康宏逵编译 1993
- 《哥德尔》(美)王浩(WangH.)著;康宏逵译 2002
- 《证明与反驳 数学发现的逻辑》(英)拉卡托斯(Lakatos,I.)等编著;康宏逵译 1987
- 《这本书叫什么 奇谲的逻辑迷题》(美)雷蒙德·斯穆里安著;康宏逵译 1987
- 《司马台长城》晋宏逵主编;北京市古代建筑研究所,密云县文化文物局编 1992
- 《母婴保健知识精要及秘方》赵宏逵编著 1995
- 《明清故宫》晋宏逵,黄希明著 2004
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016