分辨充分条件假言命题.pdfVIP

重庆理工大学学报（社会科学）　　２０１０年第２４卷第５期 逻辑学与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ２４Ｎｏ．５２０１０ 主持人语： 主持人：中国逻辑学会秘书长 邹崇理研究员 　　本期刊登的《分辨充分条件假言命题》对形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句提出 质疑，通过论证，该文认为只有金岳霖先生的有关描述才是准确的。这篇文章抓住了经典逻辑关于实质蕴涵的理解问题， 值得关注。《将逻辑证明纳入实践范畴的真理理论》提出“实践”意义上的真理观。该文认为命题的“真”具有一定的时间 性、相对性；而在一定时间条件下，命题的“真”，或者是基于命题与客观事实的直接符合，或者是通过逻辑证明确立命题与 客观事实的间接符合。 分辨充分条件假言命题 林昌时 （贵州省司法警官学校，贵阳　５５００２２） 摘要：形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句，值得质疑。对形 如“如果ｐ，那么ｑ”的命题，应以其前、后件本身是不是真值确定的命题为标准，划分成两类，充 分条件假言命题只是其中一类。由此出发，加以辨析，求解由逻辑学教科书中“充分条件假言命 题”定义而引出的有关问题。 关键词：实质蕴涵；严格蕴涵；充分条件；假言命题 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１０）０５－００２３－０６ 　　关于充分条件假言命题的定义及其列举的某 些例句，在众多的形式逻辑教科书中留下了３个 一、质疑 疑问：首先，作为非模态复合命题，其前、后件均必 须是真值确定的命题，但书中所列举的一些例句 按照许多逻辑学教科书中的一般论述，可知： 并非如此；其次，对于前后件均是命题的、形如“如 （１）一个具有确定真值的陈述（语句）称之为 果ｐ，那么ｑ”的命题真值，倒是可以依据引入的 命题，亦称之为判断，其真值或“真”或“假”，两者 “真值表”判定，但书中对“充分条件”和“充分条 必居其一。不能判断真假的陈述语句不是命题， 件假言命题”的定义具有“循环”的特点，从而，对 例如：“ ［１］ ｘ＞５” 。 “充分条件”的判断仍是一种模糊的潜意识，以至 （２）一个（非模态）命题，如果其中不包含其 于对有关“充分条件”的命题真值的判定在书中缺 他命题，那么就称之为简单命题，否则，就称之为 乏具体标准；第三，众多的书籍对“充分条件”等概 复合命题。因为“ｘ＞５”不是命题，所以“并非ｘ＞ 念有几种不尽相同的描述，对它们稍加推敲，即可 ５”就不是复合命题。 发现有的描述不尽人意，那么，金岳霖先生的描述 （３）一个充分条件假言命题是复合命题，它由 是否恰如其分？ 前件和后件两个命题，用联结词“如果……那么 这些问题一直存在，是人们对“充分条件假言 ……”组成，若用ｐ表示前件，ｑ表示后件，则形式 命题”疑惑未解、争论不休的一个成因。对此，本 化的充分条件假言命题为：“如果ｐ，那么ｑ。” 文以其前、后件本身是不是命题为标准，明确地将 但是，在这些教科书中却举出了与上述三条 形如“如果ｐ，那么ｑ”的命题划分成两类，并探究 并不相符的所谓充分条件假言命题的例子，如： 本质，弄清“充分条件”的涵义，使上述３个问题与 如果 ２ ［２］