元逻辑  

作　　者：王浩 张尚水 

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

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

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

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