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

从充分条件关系看尽举选言命题的性质及其推理 龚启荣 （贵州大学（北区），贵阳市花溪 550025） 0 引言 在逻辑史上，“充分条件”作为重要的联结关系，向来都是逻辑学家关注的焦点。这是因为：任何推理式的前提和结论之间一定存在普遍有效的充分条件关系；对事实上可得出新知的推理来说，在其前提中一定含有充分条件关系。人们对充分条件关系的逻辑含义的研究，从古希腊的亚里斯多德、费罗（pnilo）、我国先秦的墨翟迄今两千多年来，始终是众说纷纭，莫衷一是。 在流行的形式逻辑著作中，往往喜欢用“A必然B”来界说充分条件关系的“若A，则B”。A必然有B”来定义表示A是B的充分条件的“若A，则B”的。A?B表示“A必然B”或“A是B的充分条件”，其中表意的人工符号?称为“制约号”，A?B就念作“A制约B”（这称为“符号式的念法”），而“A必然B”或“A是B的充分条件”则是符号式的逻辑语义。?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)时的特殊情况。 这里，我们贯彻了在分析逻辑理论问题时的一条重要的主导思想：为语句所表述的命题的逻辑结构取决于被语境（上下文或客观环境）所决定的该语句所指谓的客观的逻辑结构（也可称为该语句所表述命题的逻辑内容），而不取决于游离于语境的、在很大程度上被民族的或个人的语言习惯所左右的语句的语言表述方式。显然，被语境单义化了的语句的指谓只有一个，以此指谓为内容的命题也只有一个，然后，同时可用来承载这唯一的命题而具有不同语言表述方式的语句，却有成千上万（如今世界上至少有两千五百种不同民族语言，而在每一种民族语言中又存在广泛的同义现象）。这就是说，事实是：被语境单义化了的语句具有一个指谓，陈述一个命题，而同时又可以有与之同义的成千上万个具有不同的语言表述方式的不语句。由此可见，命题与表述命题的语句的指谓一一对应，而命题与承载命题的语句却是一对多关系。正由于此，命题的逻辑结构取决于语句指谓的客观的逻辑结构，而不取决于语言的表述形态。要想通过语句的语言表述形态来分析出为其所承载的命题的逻辑结构，这就好比是沙里淘金、隔靴挠痒。 至此，我们仍然不曾清楚地规定充分条件或者必然关系的逻辑含义。尽管如此，我们还是明确了：从逻辑学意义上说，此二者完全同义。下面将要讨论的是：这充分条件和必然关系的完全同义的逻辑学意义上的“义”究竟是什么？ 2. 充分条件假言命题的定义及充分条件关系的两个独立性 物理学确定了：电磁波的传播速度是光速——每秒30万公里。月亮与地球之间的精确距离是通过电磁波往返于月地之间的时间测算的。这时，要用到下述必然关系：若电磁波往返于月地间的时间为x秒（A（x）），则月地距离为x/2×30万公里（B(x)）—