CAJ | 학술논문

悖论是逻辑学、基础数学、哲学、语言学中的重要问题，从根本上看是一个认识论问题，因此仅仅从人工语言的角度来认识悖论是不充分的，因为人工语言不能解决元语言这一根本问题。自然语言是最根本的元语言，悖论更需要从自然语言的角度来认识，尤其是从自然语言结构的递归性来认识。通常把悖论分成逻辑悖论（集合悖论）和语义悖论两大类，但这种分类界限并不严格。实际上这两类悖论从语言生成的角度看都具有递归否定的特点，因此可以用递归否定这一语言结构性质来统一语法悖论和语义悖论。罗素的类型论和塔尔斯基语义理论主要涉及产生悖论的层阶性质，不能概括悖论的递归否定性质。自然语言和形式语言都是从有限规则和有限符号到无限句子的系统，不可能避免层阶循环或递归，因此悖论的消除不可能通过类型论或元语言层阶来解决，考虑递归否定的性质是消除悖论的一个途径。
패론시라집학、기출수학、철학、어언학중적중요문제，종근본상간시일개인식론문제，인차부부종인공어언적각도래인식패론시불충분적，인위인공어언불능해결원어언저일근본문제。자연어언시최근본적원어언，패론경수요종자연어언적각도래인식，우기시종자연어언결구적체귀성래인식。통상파패론분성라집패론（집합패론）화어의패론량대류，단저충분류계한병불엄격。실제상저량류패론종어언생성적각도간도구유체귀부정적특점，인차가이용체귀부정저일어언결구성질래통일어법패론화어의패론。라소적류형론화탑이사기어의이론주요섭급산생패론적층계성질，불능개괄패론적체귀부정성질。자연어언화형식어언도시종유한규칙화유한부호도무한구자적계통，불가능피면층계순배혹체귀，인차패론적소제불가능통과류형론혹원어언층계래해결，고필체귀부정적성질시소제패론적일개도경。
Basically, language, Paradox is an important problem in logic, foundation of mathematics, philosophy and linguistics. paradox is a problem of epistemology. It is not enough to research on paradox on the line of formal because the problem of metalanguage can not be resolved on the base of formal language. Natural languages are most primitive metalanguages, and paradox needs to be studied more on the line of natural especially on the line of recursion of the structure of natural languages language. Paradox is usually divided into logic paradox and semantic paradox. However, the border is not clear. Both of them have the feature of recursive negation and can be explained generally by the feature. Both Russell＇s type theory and Tarski＇ s semantic hierarchy concern the hierarchy of paradox but fail to cover the recursive negation. Either the natural language or the language can produce infinite sentences by finite rules and symbols, thus the hierarchy and recursion of theory formal language can not be avoided, so the paradox can not be cleared only by the type theory and semantic hierarchy theory. It is one of the ways to clear paradox on the line recursive negation.