出处：哲学卷 • 逻 辑 学 • 总 论
| 词条 | 元逻辑 |
| 释义 | 元逻辑 元逻辑 以形式化的逻辑系统为研究对象的理论。采取公理化的方法,研究形式语言、形式系统和逻辑演算的语法和语义。塔尔斯基认为“元逻辑”大致即“关于逻辑的科学”或即“演绎科学的逻辑语法与语义学”。西方逻辑学著作中以“元”(meta-)为前缀词头的术语颇多,如“元定理”“元语言”“元演算”等。 出处：哲学卷 • 逻 辑 学 • 总 论 元逻辑 以形式化的逻辑系统为研究对象,从语法和语义两个方面研究逻辑系统特性的一门学科。是在希尔伯特的元数学概念及其形式主义的数学哲学思想的影响下发展起来的。它关注形式化的逻辑系统的整体性质,如系统的协调性(即一致性)、可靠性、完全性、可判定性、公理的独立性等等。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。