塔尔斯基论逻辑后承概念
作者: 马明辉
关键词: 形式化语言 逻辑后承 真 逻辑概念
摘要：塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》，基于他努力开创的语义学，第一次精确地定义了“逻辑后承”这个现代逻辑的核心概念。这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上。塔尔斯基的真之定义一般称为形式化语言的基本语义定义，它是形式化语言的最基本的语义概念。塔尔斯基还提出了逻辑符号和非逻辑符号的划分标准问题。
上一篇：二值原则、矛盾与荒谬
下一篇：恻隐之心的现代性本质——从尼采与孟子谈起