-
海峡两岸经济周期的同步性及传导机制研究
作者:张文军
本书是国家社科基金项目“第三产业对我国宏观经济波动的非对称效应分析”(17BJY016)的成果。本书对海峡两岸经济周期的同步性及传导机制进行了分析,得出结论:无论是大陆还是海西,跟台湾经济周期的同步性已经形成了一种内生的协同机制,其传导过程可以从锁模这种内部机制进行解释;用二阶段最小二乘法,建立了联接两岸的宏观经济模型,并且还进行了情景模拟,从而再一次深入的揭示了两岸经济周期传导的机制和特征。最后我们对两岸经济周期同步的趋势进行了预测,并提出了相关的对策和建议。
-
中国工农红军长征图书书目索引
作者:孔辉
本书是记录已经正式出版的、有关长征材料的图书的分类索引工具书,不涉及具体内容,只罗列出版时间、页数、责任者、出版地等。书中收录了到2015年12月的长征文章资料3930条目,采用“分段著录法”,依据《中国机读目录通讯格式》和国标《普通图书著录规则》规定的格式进行著录。仅仅为目录索引,便于研究者检索使用,各文章也给出了责任者。本书是教育部人文社会科学重点研究基地(遵义师范学院中国共产党革命精神与文化资源研究中心)研究项目成果。
-
大型自然灾害紧急救援伦理决策行为研究
作者:李 良
大型自然灾害带来的影响超越了常规社会资源应对极限,需要紧急调集大量的资源进行救援和缓解灾害的影响,然而这些资源和外界的帮助到达灾区之后,随之而来是灾难中的各方将会面临艰难的决策。该如何公平的分配这些资源?谁将会优先得到稀缺的救命资源?灾难中的人们是否可以放弃诚实和正直,通过不正当的手段获得这些救命资源?政府、社会力量等都会组织大量的救援工作,然而救援是以效率为目标还是以公平和公正为目标?“自然灾害使人类诸多道德矛盾在瞬间交织爆发,因而成为进行伦理学研究的最佳场域。”本书主要通过实验研究和质性研究方法研究在大型自然灾害中,人们在紧急救援过程中进行伦理决策的行为规律以及根据这些研究结论对我国灾害救援的启示。
图书分类
Book classification- 本书以现代逻辑为背景,以哲学逻辑的主要问题为核心,以逻辑的应用和逻辑思想史为补充,旨在为读者提供有关当前哲学逻辑各专题领域的基础知识,包括相关的概念、问题、方法和主要结果,甚至还包括应用。哲学逻辑是逻辑学的重要组成部分,在哲学中也有着重要功能,同时在其他领域也发挥着重要作用,如知识表示、系统认证或人工智能方面都是计算机科学发展必不可少的部分。哲学逻辑在计算机科学、认知科学、信息科学、博弈论、决策论...查看更多
- 逻辑学是一门技术性的学科,有着特定的语言、符号和方法,其研究的核心问题是推理。从信息论的观点看,推理是信息变换过程,因而逻辑学的根本任务是研究信息变换形式正确性的条件。人的思维过程其实也是一种信息变换过程。在这个意义上说,逻辑学是研究思维形式及其变换有效性条件的科学。逻辑学在20世纪中叶用数理逻辑的理论成果来分析基本哲学范畴必然、偶然和可能,在可能世界语义学的基础上,形成了逻辑学和哲学又一次结缘的...查看更多
-
绪论 一个非经典逻辑的群体——哲学逻辑 /001
第1章 模态和模态命题形式 /005
1.1 模态及其类型 /005
1.2 真性模态命题形式 /008
1.3 一些著名的模态公式 /009
第2章 模态逻辑系统 /011r/>2.1 现代模态逻辑的诞生 /011
2.2 模态命题逻辑的语言 /013
2.3 极小的模态系统K /014
2.4 模态系统D和T /021
2.5 模态系统S4、S5、B /024
2.6 模态归约和模态范式 /031
2.7 模态谓词逻辑 /034
第3章 可能世界语义学基本理论 /038
3.1 可能世界语义理论直观思想 /038
3.2 可能世界语义模型 /041
3.3 可能世界语义理论的意义 /046
第4章 模态语义图 /047
4.1 归谬赋值法 /047
4.2 模态语义图基本思想 /048
4.3 验证T-有效性语义图 /049
4.4 验证S4-有效性语义图 /056
4.5 验证S5-有效性语义图 /058
第5章 时态逻辑 /059
5.1 时态命题形式 /059
5.2 时间逻辑系统 /060
5.3 米突时态逻辑系统 /065
5.4 时态逻辑语义学 /067
第6章 道义逻辑 /069
6.1 道义命题形式 /069
6.2 一元道义逻辑 /070
6.3 二元道义逻辑 /075
6.4 道义逻辑语义学 /077
第7章 认知逻辑 /080
7.1 认知命题形式 /080
7.2 知道逻辑 /081
7.3 信念逻辑 /092
7.4 断定逻辑 /094
7.5 知道逻辑语义学 /97
7.6 信念逻辑语义学 /103
第8章 多主体认知逻辑系统 /105
8.1 多主体系统及其相关概念 /105
8.2 知识逻辑和它们的性质 /107
8.3 知识逻辑的公理系统 /109
第9章 多主体完全的认知逻辑 /112
9.1 M主体的认知系统 /112
9.2 S5m(CDE)的语义学 /118
9.3 认知逻辑的发展 /119
第10章 动态逻辑 /120
10.1 动态逻辑的缘起 /120
10.2 模态逻辑推广于程序推理 /121
10.3 程序推理的层次 /122
10.4 命题动态逻辑 /124
10.5 一阶动态逻辑QDL /129
第11章 多值逻辑 /132
11.1 二值性原则突破,多值逻辑诞生 /132
11.2 多值逻辑系统 /134
11.3 弗晰逻辑和意义逻辑 /142
第12章 相干逻辑 /145
12.1 相干逻辑的缘起和基本思想 /145
12.2 相干命题逻辑系统R /147
12.3 相干逻辑自然演绎系统 /149
12.4 相干逻辑系统E /151
12.5 相干逻辑语义学 /154
第13章 部分逻辑 /158
13.1 部分逻辑的缘起 /158
13.2 部分逻辑的基本概念和基本思想 /161
13.3 部分逻辑语义学 /163
13.4 一阶部分理论 /167
第14章 自由逻辑 /172
14.1 自由逻辑的缘起 /172
14.2 自由逻辑的公理系统 /176
14.3 自由逻辑自然演绎系统 /180
14.4 自由语义学 /182
第15章 弗协调逻辑 /194
15.1 协调性和足道性 /194
15.2 弗协调逻辑的缘起 /195
15.3 构建弗协调逻辑的方法 /197
15.4 弗协调逻辑系统Cn /201
15.5 弗协调逻辑语义学 /204
第16章 直觉主义逻辑 /207
16.1 直觉主义逻辑的缘起和它的基本思想 /207
16.2 直觉主义逻辑公理系统 /210
16.3 直觉主义逻辑自然演绎系统 /211
16.4 直觉主义逻辑语义学 /216
参考文献 /221
...查看更多