塔尔斯基(1902年一 1983年),美国数学 家、逻辑学家,数理逻辑模子论分收的创始 者之一。他提出语义学办法,成立一个定义 给定语言的实语句。在哲学范畴,认可聚集 论中的假定是实在的,他利用无限性的聚集论 概念,并以此来奠基了其语义学办法的开展 根底。塔尔斯基次要有《实理的语义学概念 和语义学的根底》、《形式语言中的实理概 念》等论著。
0
塔尔斯基(1902年一 1983年),美国数学 家、逻辑学家,数理逻辑模子论分收的创始 者之一。他提出语义学办法,成立一个定义 给定语言的实语句。在哲学范畴,认可聚集 论中的假定是实在的,他利用无限性的聚集论 概念,并以此来奠基了其语义学办法的开展 根底。塔尔斯基次要有《实理的语义学概念 和语义学的根底》、《形式语言中的实理概 念》等论著。