论逻辑后承概念
塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念.然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这个类的每个模型也是句子X的模型”,使得逻辑后承这个现代逻辑核心概念的定义成为标准定义.但是,这个定义也遗留了一个更为根本的问题,即逻辑词项和非逻辑词项的划分标准问题,后者将由塔尔斯基本人在1966年给出了一个划分标准,从而开辟了一个方兴未衰的逻辑哲学研究方向.
逻辑后承、逻辑地得出、真、逻辑词项
B81-0(逻辑学(论理学))
2020-04-20(万方平台首次上网日期,不代表论文的发表时间)
共7页
144-150