谁首先在形式逻辑中使用了元语言的概念，当时提出的理由是什么？

谢谢您的任何学术参考。

4

  • 1
    元数学的概念。


    – 


  • 2
    定义，元语言的概念由定义


    – 

  • 1
    另请参阅您。


    – 


  • 2
    其基本原理是摆脱说谎者悖论，参见：“塔斯基声称，说谎者论证形式化版本的关键且不可接受的假设是允许自指，因为……语言包含其自己的全局真值谓词……塔斯基随后着手研究在没有真正拥有真值谓词的情况下，在古典形式语言中接近拥有明确定义的真值谓词的课题。该项目，即他的元语言层次结构，也是他解决说谎者悖论的关键思想。”


    – 


最佳答案
1

Metalogic 被认为是由塔斯基于 1930 年创立的：

塔斯基，A.（1930）。 Fundamentale Begriffe der Merthodologie der deduktiven Wissenschaften（演绎科学方法论的基本概念）。 Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23, 361–404。

英文译本载于 Tarski, A. (1956)，第 61-109 页：

Tarski, A. (1956)。逻辑、语义学、元数学。1923 年至 1938 年的论文。牛津克拉伦登出版社。（1983 年由印第安纳波利斯：哈克特出版公司重印）。