塔尔斯基论逻辑后承概念
塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》,基于他努力开创的语义学,第一次精确地定义了“逻辑后承”这个现代逻辑的核心概念.这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上.塔尔斯基的真之定义一般称为形式化语言的基本语义定义,它是形式化语言的最基本的语义概念.塔尔斯基还提出了逻辑符号和非逻辑符号的划分标准问题.
形式化语言、逻辑后承、真、逻辑概念
B81(逻辑学(论理学))
2014-04-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
120-123,159