百从充分条件系关看尽举选言命题的性质及其推理档.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处于运动变化之中”这种罗嗦的说法，而是简洁地陈述为“事物必然处于运动