"可知性悖论"、"突击考查悖论"试解--对向可知论挑战的挑战

1 “可知性悖论”是建立在对可知论的歪曲的基础之上的。2 “可知性悖论”认为,同时接受可知性原理和“非全知假设”会导致逻辑矛盾。实际上是因为在这种逻辑推导中,作为论证总前提的非全知假设的符号公式“ q(q∧┑Kq)”是错误的———它本身是一个包含逻辑矛盾的恒假命题。3 学生对老师所说的那种事先无法预料的“突击考查”的有关论证是有漏洞的,因为它是片面的。4 “突击考查悖论”认为,学生不可能知道老师的断定是真实的,假设学生知道老师的断定是真实的会导致矛盾,这也是错误的。这种错误的根源在于把老师的断定错误地分析为支命题是联言命题的选言命题(其实,老师的断定应是支命题为假言命题的联言命题 ),并且这种作为支命题的联言命题都是包含有逻辑矛盾的。     

复合命题及其推理的若干理论问题再辨——答王跃平先生

本文就复合命题中是否存在着命题联结词、“孙勇是江西人是可能的”等命题属于何种命题、相容和不相容选言命题的选言支是否可以同假,以及其选言支之间具有何种关系、联言推理的前提中是否必须有联言命题、假言推理是否只是依据假言联结词的逻辑性质、“不是……就是……”是否具有固定逻辑涵义等问题,全面反驳了《<复合命题及其推理的若干理论问题辨要>的辨要》对拙文《辨要》所提出的批评意见。     

从“不p不q”型语句的分析谈语言逻辑科学的研究

对于复合命题“不p不q”(包括“不p,不q”所表达的逻辑关系,目前我们研究得还不够深入。本文想就以下两个方面谈一点粗浅的看法: 一、汉语“不p不q”型语句所表达的命题: 二、由此而及语言逻辑科学的对象、性质和研究方法。 汉语“不p不q”型语句表达的是复合命题:“不p”和“不q”是这复合命题的支命题,各支命题之间的逻辑关系有以下几种——     

关于传统逻辑的公理

传统逻辑的公理不是传统逻辑的三段论的公理,也不是同一律、矛盾律、排中律和充足理由律,还不是亚里士多德系统中第一格的两个全称式。传统逻辑的公理应具有自明性、不矛盾性和独立性。“并非p”、“p并且q”、“p或者q”、“如果p则q”、“当且仅当p才q”这5个基本命题形式是作为经典逻辑理论出发点的命题形式。它们之所以具有公理的性质,是因为人们在长期的经验中没有发现以它为前提衍生出假结论的事例。     

关于选言命题及其推理规则的几点思考

选言命题和选言推理是传统逻辑的重要内容。传统逻辑依据选言命题的选言肢之间是否具有并存关系,把选言命题分为相容的选言命题和不相容的选言命题两种。表（1）反映了相容的选言命题的逻辑特征：一个相容的选言命题真,当且仅当至少有一个选言肢真并且可以同真;表（2）反映了不相容的选言命题的逻辑特征,一个不相容的选言命题真,当且仅当有并且只有一个选言肢真。最近,有些学会撰文指出,表（1）确实反映出了相容的选言命题的逻辑特征,因为对于任何一含有n个（n为整数且n72,下同）选言变元的选言命题,按照表（1）给出的V定义总有…     

真值表是否有错

《全日制普通高级中学数学教学大纲（供实验用）》第一次将“简易逻辑”列为高中数学的必修内容。在这一单元的教学过程中，不少师生为两个普遍性的难点问题所困惑：问题1p：平行四边形的两条对角钱相等；非p：平行四边形的两条对角线不相等。“p”与“非p”都是假命题，岂不与“非p”形式复合命题的真值表相矛盾吗？问题2p：被5整除的正整数的个位数是5；q：被5整除的正整数的个位数是0；p或q：被5整除的正整数的个位数是5或0。p与q都是假命题，而“p或矿却是真命题，岂木又与“P或寸’形式复合命题的真值表相矛盾吗？对于上述两个问题，…     

谈谈选言命题的真值表及其推理规则

现行逻辑学教科书，象措通逻辑》（上海人民出版社），《形式逻辑》（华东师大出版社）等，讲到选言命题时，都是先依据选言命题的选言肢是否能并存，而把选言命题分为相容的选言命题与不相容的选言命题两种，然后分别讨论，给出各自定义、表达式、逻辑特征以及真值表等。给出相容的选言命题与不相容的选言命题的真情表分别如下表（）、（2）：①我们认为，表（）确实能反映出相容的选言命题的逻辑特征，一个相容的选言命题为真当巴议当至少有一个选言肢为真，并且各选言可以同真。因为可以归纳证明，对于任何一含有l。个（fi为整数且fll＞2…     

论不相容选言命题的真值表及其逻辑特征

许多传统（普通）逻辑的教材对不相容选言命题定义的表述存在着一些问题，使人们在用真值表对不相容选言命题进行判定时并没有了解其潜在的局限性。再加上人们忽略了不相容选言命题联结词是一个二元关系联结词这种性质以及在构造真值表时错误地省略其步骤，从而导致认为不相容选言命题的真值表未能反映其逻辑特征。事实上，不相容选言命题的真值表如实地反映了其逻辑特征。     

《复合命题及其推理的若干理论问题辨要》的辨要

就复合命题的判定问题、相容选言命题和不相容选言命题的逻辑特性问题、联言推理对前提的要求问题、假言推理的依据问题、“不是……就是……”能否当作某一复合命题的联结词使用的问题提出与《复合命题及其推理的若干理论问题辨要》一文不同的意见。     

正确认识不相容选言命题--对于德礼、倪荫林二先生争论的介入

不相容选言命题是对客观事物间不相容选择关系的反映,同反映客观事物间相容选择关系的选言命题应该是并列关系,而不是种属关系.断定一命题形式是不是独立命题形式应遵循以下几个原则这一命题形式反映的是不是客观事物间最基本的关系;这一命题形式是否具有典型性和代表性;对于不同的逻辑体系,命题的独立性具有相对性,普通逻辑的性质和特点决定了断定一命题形式是否具有独立性的一个标准是是否有典型的语言形式与其对应.