北京大学学报:哲学社会科学版
北京大學學報:哲學社會科學版
북경대학학보:철학사회과학판
Journal of Peking University(Humanities and Social Sciences)
2012年
4期
95~105
,共null页
元语言 自指 哥德尔 悖论 维特根斯坦
元語言 自指 哥德爾 悖論 維特根斯坦
원어언 자지 가덕이 패론 유특근사탄
metalanguage, self-reference, Godel, paradox, Wittgenstein
语义悖论和哥德尔不完全性定理都和语言符号的重指有关系。重指是不同层阶语言之间的循环指称。避免重指需要在对象语言和元语言之间进行无限分层,但语言的单位和规则是有限的,元语言的层阶不允许是无限的,否则会造成无限的单位和规则。元语言的层阶划分必须有限,这是一种协调原则,这样就必然产生循环指称或重指。重指是元语言符号系统的一种性质,是悖论和形式系统不完全性得以存在的语言学条件。复杂的语言符号系统一方面促进了复杂的思维活动,另一方面也因为重指的存在使高层面的演绎推理活动存在不一致性或不完全性。
語義悖論和哥德爾不完全性定理都和語言符號的重指有關繫。重指是不同層階語言之間的循環指稱。避免重指需要在對象語言和元語言之間進行無限分層,但語言的單位和規則是有限的,元語言的層階不允許是無限的,否則會造成無限的單位和規則。元語言的層階劃分必鬚有限,這是一種協調原則,這樣就必然產生循環指稱或重指。重指是元語言符號繫統的一種性質,是悖論和形式繫統不完全性得以存在的語言學條件。複雜的語言符號繫統一方麵促進瞭複雜的思維活動,另一方麵也因為重指的存在使高層麵的縯繹推理活動存在不一緻性或不完全性。
어의패론화가덕이불완전성정리도화어언부호적중지유관계。중지시불동층계어언지간적순배지칭。피면중지수요재대상어언화원어언지간진행무한분층,단어언적단위화규칙시유한적,원어언적층계불윤허시무한적,부칙회조성무한적단위화규칙。원어언적층계화분필수유한,저시일충협조원칙,저양취필연산생순배지칭혹중지。중지시원어언부호계통적일충성질,시패론화형식계통불완전성득이존재적어언학조건。복잡적어언부호계통일방면촉진료복잡적사유활동,령일방면야인위중지적존재사고층면적연역추리활동존재불일치성혹불완전성。
This paper analyzes the characteristics of symbolic reference of semantic paradox and Godel sentence. Semantic paradox and the incompleteness of formal system which is asserted in Godel incompleteness theorem are related to the double reference of language symbol. Double reference is a recursive reference between different layers of the metalanguage. Avoiding double reference needs to divide layers between the target language and the metalanguage infinitely. However, the units and rules of a language are finite, and the layers of a metalanguage cannot be divided infinitely. Otherwise infinite units and rules may occur. So the division of the layers of the metalanguage must be finite, which is a coordinating principle. Therefore, recursive reference or double reference cannot be avoided. Double reference is a characteristic of the metalanguage symbol system. It is also the linguistic condition on which paradox and the incompleteness of the formal system can exist. On the one hand, the language symbol system leads to a complicated thought behavior, and on the other hand, it leads to the existence of inconsistency or incompleteness in advanced deductive reasoning because of the existence of double reference.