检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:林哲[1]
机构地区:[1]中山大学逻辑与认知研究所
出 处:《哲学动态》2018年第5期100-105,共6页Philosophical Trends
基 金:国家社会科学基金项目"非经典模态逻辑的证明论与语义学研究"(17CZX048)的阶段性成果
摘 要:塔尔斯基从句法方面引入了演绎后承概念,并界定了演绎后承的一般抽象性质。大量关于非经典逻辑演绎后承关系的研究,均来自对塔尔斯基演绎后承概念的反思和批判。塔尔斯基演绎逻辑后承与语义逻辑后承是两个不同又密切相关的概念,目前尚缺乏对这两个概念的统一研究。本文对塔尔斯基演绎后承与非经典演绎后承之间的关系进行了逻辑分析,认为探索非经典逻辑的塔尔斯基演绎后承的性质,恰恰能够涵盖对两者的统一研究。
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.21.113.219