元逻辑

导出

摘要 1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言的形式处理有关,但不包括自然语言的形式处理。一形式语言通常需要一组形成规则,即对合式公式(语句或有意义的表达式)的机械的和完全的详细说明。这个详细说明通常包含三部分:机械地给定原始符号(基本单位)表。

作者王浩张尚水

出处《世界哲学》 1979年第3期39-47,共9页 World Philosophy

关键词形式系统元逻辑形式语言哥德尔子语句谓词演算定理自然语言协调性不可判定

分类号 B0 [哲学宗教—哲学理论]

引文网络
相关文献

1德尔.杰奎特,胡泽洪,杨凯.系统化逻辑的基本概念[J].北京大学学报（哲学社会科学版）,2007,44(1):35-42.
2S.哈克,尹智全.逻辑、逻辑哲学、元逻辑[J].世界哲学,1986(1):40-41. 被引量：1
3李建华.逻辑哲学的对象、范围及与相关学科的关系[J].湘潭师范学院学报（社会科学版）,2006,28(6):10-12.
4王明友.弗雷格对现代逻辑的贡献[J].中山大学研究生学刊（社会科学版）,1996,17(3):19-23.
5杨林.“是其所是”的哲学意蕴[J].求索,2005(12):122-124. 被引量：1
6胡泽洪.哲学逻辑与逻辑哲学[J].自然辩证法研究,2002,18(11):61-64. 被引量：2
7雷弯山.应用逻辑是逻辑应用的元逻辑[J].中共福建省委党校学报,2005(5):41-46. 被引量：2
8周昌乐.从哥德尔定理看禅宗的元逻辑思想[J].重庆大学学报（社会科学版）,2005,11(4):59-62. 被引量：3
9霍书全.逻辑多元论与多值逻辑[J].中山大学研究生学刊（社会科学版）,2002,23(1):1-6.
10刘晓力.一份珍贵的史料与一段误读的历史[J].自然辩证法研究,2000,16(z1):114-116.

世界哲学

1979年第3期

浏览历史

内容加载中请稍等...

元逻辑

相关作者

相关机构

相关主题

浏览历史