百从充分条件关系看尽举选言命题的性质和其推理档.docVIP

从充分条件关系看尽举选言命题的性质及其推理 龚启荣 （贵州大学（北区），贵阳市花溪 550025） 0 引言 在逻辑史上，“充分条件”作为重要的联结关系，向来都是逻辑学家关注的焦点。这是因为：任何推理式的前提和结论之间一定存在普遍有效的充分条件关系；对事实上可得出新知的推理来说，在其前提中一定含有充分条件关系。人们对充分条件关系的逻辑含义的研究，从古希腊的亚里斯多德、费罗（pnilo）、我国先秦的墨翟，迄今两千多年来，始终是众说纷纭，莫衷一是。尽管如此，然而，有一点却是十分明确的：非纯真值的充分条件假言命题“若A，则B” ，不是正统数理逻辑所研究的纯真值复合命题。所以，作为可以通过非纯真值的充分条件假言联结词“若，则”来定义的导出的尽举选言命题也是非纯真值的。事实确实如此：尽举选言命题的真值，不取决于出现在其中的肢命题的真值，前者不是后者的真值的真值函数。本文将应用崭新逻辑体系制约逻辑理论，讨论尽举选言命题及其推理，这个讨论又须以讨论充分条件假言命题及其两个重要逻辑属性为基础。我们在讨论尽举选言命题及其推理时，以其语义为主，同时也讨论其语构和语用。 1．充分条件关系与必然关系同义 在流行的形式逻辑著作中，往往喜欢用“A必然B”来界说充分条件关系的“若A，则B”。例如，在我国著名的逻辑学家金岳霖等著的《逻辑通俗读本》中，就是用“有A必然有B”来定义表示A是B的充分条件的“若A，则B”的。这就是说，一种相当有代表性的传统形式逻辑观点是：必然关系就是二元的非纯真值的充分条件关系，就是二 元的非纯真值的联结词“若，则”的逻辑语义。可是，令人遗憾的是，鉴于本身也可以作为联结词的必然的逻辑含义一直不曾被规定清楚，故此，由之界说的充分条件关系迄今未获严格准确、一致公认的定义。不过，非常幸运的是，尽管上述二者的逻辑含义都还不曾清晰地揭举，然而对于那种用必然来界说充分条件关系的颇有影响的传统逻辑观点来说，有一点却是明确的：从逻辑学意义上说，此二者完全同义。 我们以符号表达式A?B表示“A必然B”或“A是B的充分条件”，其中表意的人工符号?称为“制约号”，A?B就念作“A制约B”（这称为“符号式的念法”），而“A必然B”或“A是B的充分条件”则是符号式的逻辑语义。以A、B为前、后肢的非纯真值复合命题A?B就称为“制约命题”（传统地称为“充分条件假言命题”）。这样一来，至少可用两个不同语句“事物必然处于运动之中”、“x是事物（A(x)），必然，x处于运动变化之中（B(x)）”同义地陈述的命题，用我们的符号就表示成为A(x)?B（x），其中的逻辑符号x称为个体变元。自然语言是讲究精练的，因此，命题A（x）?B（x）通常不采用“x是事物，必然，x处于运动变化之中”这种罗嗦的说法，而是简洁地陈述为“事物必然处于运动变化之中”。由于省略个体变元不提，而把其中出现的语词“必然”前后的两个语句紧缩成两个名词，从而将“必然”连接起来的两个语句压缩成一个包含“必然”的语句①。 正是自然语言的这种习惯，有时使人觉得，非纯真值复合命题中的二元联结词“必然”象煞是一元联结词。 究竟有没有“必然B”这样的命题呢？也就是说，“必然”是不是也可以当作一元联结词使用呢？从自然语言表述的习惯看，“必然B”这种语句表达方式确实是经常碰到的。譬如，在以实数为论域的实数数学中，就有下述用来陈述数学定理的语句“必然x2 ≮0”。通常，为了更符合约定俗成的语言习惯，这个定理往往同义地说成“x的平方必然不小于零”。这里,用上述语句表达的命题,乍一看,使人觉得似乎具有NB(x)形，其中，N表示“必然”，B（x）表示“x2≮0”。不过，经过仔细考察，我们发现，上述语句只不过是制约命题U（x）?B(x)的一种简练的表述方式，其中，U表示论域“实数”，U（x）表示“x在论域实数中”或者“x是实数”，显然，这是个恒真的开命题（或恒取值真的个体-命题函数）。制约命题U（x）?B（x）也可以表述成“x是实数，必然，x的平方不小于零”，而“x的平方必然不小于零”则为其同义的简练表述方式：省去恒真的“x是实数”（因为，原本以实数为论域，个体变元x当然在论域实数中变）不提，为了符合语言习惯，把表述二元联结词的语词“必然”移至剩下的那个语句中间，从而把一个冗长的复合句提炼为一个简短的简单句。这就是说，从语言表述上看起来仿佛具有NB（x）形的命题，其实却是U（x）?B（x）形，是A（x）?B（x）形的制约命题当A(x)为U(x)时的特殊情况。 这里，我们贯彻了在分析逻辑理论问题时的一条重要的主导思想：为语句所表述的命题的逻辑结构取决于被语境（上下文或客观环境）所决定的该语句所指谓的客观的逻辑结构（也可称为该语句所表述命题的逻辑内容），而不取决于游离于语境的、在很大程度上被民族的或个人的语言习惯所左右的语句的语言表述