证明理论语义学及其意义阐述

重庆理工大学学报（社会科学） ›› 2020, Vol. 34 ›› Issue (1): 25-33.

• 逻辑与科学方法论 • 上一篇

证明理论语义学及其意义阐述

谢逸汝，王航赞

山西大学哲学社会学学院

发布日期:2020-02-14
作者简介:谢逸汝，哲学硕士生，主要从事分析哲学研究。

Published:2020-02-14

摘要/Abstract

摘要： 逻辑及其合理性的确定是当代逻辑哲学研究的一个重要内容。证明理论语义学作为一种通过系统使用证明规则来确定逻辑常项意义的语义学方案。它的特征在于：语义不仅是外在的，同时也涉及到人的内在认知状态。一方面，对语言意义进行的形式化逻辑分析是客观的，能被看成是对世界直观理解的还原；另一方面，使用证明来呈现自然语言的意义和对世界最基本构件的理解，这体现了意义获得的认知过程。

中图分类号:

. 证明理论语义学及其意义阐述[J]. 重庆理工大学学报（社会科学）, 2020, 34(1): 25-33.

[1]	. 沈有鼎的“纯逻辑演算”思想源流———纪念沈有鼎先生逝世 30 周年[J]. 重庆理工大学学报（社会科学）, 2019, 33(9): 7-13.
[2]	. 沈有鼎对“中国古代逻辑”的认识及意义[J]. 重庆理工大学学报（社会科学）, 2019, 33(9): 14-21.
[3]	. 人工智能辅助审判系统：理论证成、特质与困境突破[J]. 重庆理工大学学报（社会科学）, 2019, 33(8): 95-103.
[4]	. 对生态帝国主义的基本认识与应对策略[J]. 重庆理工大学学报（社会科学）, 2019, 33(8): 120-126.
[5]	. 改革开放以来的中国逻辑学[J]. 重庆理工大学学报（社会科学）, 2019, 33(5): 7-19.
[6]	. 探索语言逻辑与信息处理结合的新路径———《自然语言信息处理的逻辑语义学研究》评介[J]. 重庆理工大学学报（社会科学）, 2019, 33(4): 13-16.
[7]	. 论经典命题逻辑公理系统Ｌ中的证明技巧[J]. 重庆理工大学学报（社会科学）, 2019, 33(3): 7-12.
[8]	. 康德主谓关系思想的批判性分析[J]. 重庆理工大学学报（社会科学）, 2019, 33(12): 12-19.
[9]	. 达米特语言哲学思想与逻辑实证主义的差异及关系探究[J]. 重庆理工大学学报（社会科学）, 2019, 33(11): 129-137.
[10]	. 论“颜色悖论”作为一个逻辑悖论[J]. 重庆理工大学学报（社会科学）, 2019, 33(10): 8-13.
[11]	. 刑法体系解释四层次论的展开与检验[J]. , 2019, 33(1): -.
[12]	. 时序逻辑程序语言ＸＹＺ／Ｅ的创新性[J]. , 2018, 32(9): -.
[13]	. 主事性的模态逻辑进路[J]. , 2018, 32(9): -.
[14]	. 乡村振兴战略：内在逻辑与实施路径[J]. , 2018, 32(9): -.
[15]	. 自由逻辑发展的新阶段———构造自由逻辑语义学[J]. , 2018, 32(7): -.

证明理论语义学及其意义阐述

PDF (PC)

赞

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 0