一个限制排中律适用范围的命题演算系统.pdfVIP

2015年 3月 湖北大学学报(哲学社会科学版) Mar．．2015 第42卷第2期 JournalofHubeiUniversity(PhilosophyandSocialScience) Vol42No，2 【逻 辑 学 研 究 】 [栏 目主持人]北京大学哲学系陈波教授 [主持人语]本期发表的两篇文章中，第一篇试 图构造一个限制排 中律适用范围的命题演 算系统 PC。在该系统 中，引入 了通常逻辑学者并不关注的一元真值联结词 “厂”，也 即作者所谓 的 “肯定词符号”；同时将带有表示一元真值联结词 “广”和 “] ”的表达式 “广x”和 “]X”(其 中 x是 甲类初始符号)定义为原子公式或 1级公式，同时将所有 甲类初始符号视为 0级命题，而不 再是公式 。在此基础上 ，作者得 出结论说 ，PC是一个 “不矛盾律普遍有效、排 中律在且 只在一定 范围内有效的命题演算系统”。虽然有些地方有待学界同仁商榷 ，但作者的努力是值得肯定的。 第二篇探讨 了当前哲学和逻辑学的热门研究课题之一——模糊性 (作者称之为 “含混性”)，分析 了对模糊性的三值逻辑处理