塔斯基的语义学

本世纪30年代,著名波兰逻辑学家阿尔弗雷德·塔斯基(Alfred Tarski)发表了重要论文:《形式语言中的真理概念》。文章叙述并且证明了一个重要结果:在一个语言系统的内部,是不能定义该语言中真句子等语义学概念的。对象语言的语义学概念必须在对象语言之外的元语言中予以表述和加以定义;而元语言的语义学概念又必须在元元语言中予以表述和加以定义。这样才能避免悖论,建立起实质上适当的、形式上正确的关于真句子等语义学概念的定义。