直觉主义逻辑的语义基础PDF格式文档图书下载
- 购买点数:8 点
- 作 者:柯华庆著
- 出 版 社:上海:上海三联书店
- 出版年份:2014
- ISBN:9787542646132
- 标注页数:138 页
- PDF页数:168 页
第1章 直觉主义的数学观 1
1.1区分各种构造主义 1
1.2直觉主义为什么选择数学直觉作为数学的基础? 3
1.3直觉主义两个阶段的划分 6
1.4直觉主义第一阶段的直觉、构造和无穷 8
1.5直觉主义第二阶段的直觉、构造和无穷 10
1.6自然数序列、自然数的无穷序列与ω-规则 15
1.7直觉主义的无穷观重构 33
1.8直觉主义、排中律、真值性及决定论 37
第2章 直觉主义逻辑的不完全语义 45
2.1直觉主义数学与逻辑的关系 45
2.2 HQC的证明论语义 47
2.3 HQC中的构造性概念 52
第3章 直觉主义逻辑的完全语义 57
3.1 Dalen语义、Beth语义和Kripke语义 57
3.2拓扑和代数解释 69
第4章 构造性理论与可构造的理论 73
4.1构造性理论与可构造的理论之分 73
4.2 HQC与经典逻辑的关系 74
4.3 HQC是认知逻辑 78
第5章 否定词与五个直觉主义逻辑纲领 80
5.1直觉主义逻辑中的否定词存在的可能性 80
5.2从ELMQ看HQC的否定词 84
5.3否定词规则:语法规则还是逻辑规则? 87
5.4 HQC中两条公理的合理性问题 88
5.5排序的直觉主义逻辑纲领 89
结语:无穷的探索 90
注释 95
参考文献 99
附录1:HQC的基本特征 110
附录2:直觉主义连续统 115
附录3:非构造对象与非构造证明举例 121
附录4:递归函数 124
附录5:ELMQ 126
附录6:符号说明 129
附录7:译名对照 131
后记 136
- 《直觉主义逻辑的语义基础》柯华庆著 2014
- 《形式语义学基础与形式说明》屈延文编著 2010
- 《直觉主义否定及其变种》刘佳秋著 2013
- 《多值逻辑博弈语义研究》陈招万著;赵希顺主编 2018
- 《经典逻辑与直觉主义逻辑》冯棉著 1989
- 《直觉定律 如何正确利用逻辑之外不可忽视的力量》(美)加里·克莱因著 2017
- 《基于格值逻辑的语义归结自动推理》张家锋著 2017
- 《数学简史 确定性的消失》(美)莫里斯·克莱因(Morris Kline)著 2019
- 《希腊数学哲学研究》郝一江著 2017
- 《数学基础研究》(奥)维特根斯坦著;韩林合译 2013
- 《合同法原则的博弈分析》柯华庆著 2006
- 《直觉主义逻辑的语义基础》柯华庆著 2014
- 《第三次变革》柯华庆著 2013
- 《实效主义》柯华庆著 2013
- 《博弈论导引及其应用》格若赫姆·罗珀(Graham Romp)著;柯华庆,闫静怡译 2005
- 《法经济学》冯玉军主编;柯华庆副主编 2013
- 《论共同自由》柯华庆,刘荣著 2014
- 《法律的经济分析》斯蒂文·萨维尔著;柯华庆译 2009
- 《怎样化妆》华庆著 1979
- 《打开生命的黑匣子》郭华庆著 2000
- 《上海书店影印书刊目录 1986》 2222
- 《上海三联文库 文学的维度》南帆著 1998
- 《上海三联学术文库流动的现代性》 2222
- 《社会主义经济的制度结构 上海三联书店1992年经济学论文选》陈昕主编 1993
- 《国际统计日本统计局新宇宙书店上海》 2222
- 《公有制经济运行的理论分析 上海三联书店1991年经济学论文选》陈昕主编 1991
- 《社会主义经济中的公共选择问题 上海三联书店1993年经济学论文选》陈昕著 1994
- 《上海三联人文经典书库 希腊史》(古希腊)色诺芬著;徐松岩译注 2013
- 《风雨砥砺四十春秋 上海新华书店简史 1949年-1989年》张泽民,任俊达主编 1993
- 《上海三联人文经典书库 古代东方的艺术与建筑》(美)富兰克弗特著;郝海迪,袁指挥译 2011