资源描述:
《普通逻辑几个理论问题辨要.pdf》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、江西大学学报(社会科学版)1993年第1期丫普通逻辑几个理论问题辨要谢先仁樊明亚在我国现今的普通逻辑论著中,还有不少理论问题尚未科学地得到解决,仍需广大逻辑学工作者进一步去研究。本文拟对普通逻辑的几个理论问题作出我们的辨要,请同仁们指教。关于普通逻辑的对象,。关于普通逻辑(即传统逻辑)的对象是什么的问题我国的论著有十几种不同的界说但从近几年出版和发表的论著中可以看出,学者们大都趋向于如下界说:普通逻辑是研究思维的逻。,,“→辑形式及其规律和一些简单逻辑方法的科学我们认为这个界说是欠妥的其中除了简单,。:”逻辑方法以外其他部分并不全是普通逻辑所特有的研
2、究对象理由是、。、。r它同辩证逻辑的对象划不清界线思维有理论思维形象思维和灵感(顿悟)思维之分工。理论思维又包括抽象(普通)思维和具体(辩证)思维两种形态普通逻辑和辩证逻辑都以理论。,。:思维的逻辑形式及其规律作为自己的对象然而二者又有本质区别其主要区别就在于普、、,通逻辑是研究抽象思维(即抽象同一确定单一的思维)的逻辑形式及其规律的而不研究思,;维的内在矛盾及其发展和转化的逻辑形式及其规律辩证逻辑则前进了一步它是研究具体思、、,维(即同一与差异确定与灵活单一与多样对立统一的思维)的逻辑形式及其规律的即要研究思维的内在矛盾及其发展、转化的逻辑形式及其
3、规律。因此,笼统地说普通逻辑是研究思维的逻辑形式及其规律的,就分不清它研究的是抽象思维还是具体思维,抑或既是抽象思维又是具体思维的逻辑形式及其规律,因而也就划不清它与辩证逻辑在研究对象上的界线。、。2它同数理逻辑的对象也划不清界线抽象思维的逻辑形式及其规律是普通逻辑和数理逻辑的共同研究对象。然而,这两门科学也是有本质区别的。为了弄清它们在对象上的区别,有必要先对抽象思维的结构作一简单分析。抽象思维由其。,、具体内容和表现其具体内容的抽象思维形式所组成抽象思维形式指的是抽象(普通)概念,、抽象(普通)判断和抽象(普通)推理它们都是由抽象思维形式的内容(
4、包括一般内容特殊内,、容和个别内容)和抽象思维形式的形式(即逻辑形式包括最高抽象逻辑形式次高抽象逻辑形。式和三高抽象及其以下多层次逻辑形式)组成的,片数理逻辑(指限于两个演算的古典数理逻辑)所研究的抽象思维的逻辑形式及其规律是在完全撇开抽象思维及其形式的任何内容意义上的联系或关系的前提下,仅仅从逻辑值的真。,“”、假方面研究最高抽象逻辑形式及其规律的以复合命题为例数理逻辑的合取命题pAq相“”“。pqpq”斥析取命题守和实质蕴涵命题~等逻辑形式均是如此由于这些抽象思维的逻辑形式是完全撇开抽象思维的具体内容和抽象思维形式的一般、特殊和个别内容的,是抽象
5、思维逻、,,,“辑形式的最抽象最概括体现是仅仅从逻辑值的真假方面来研究的因此数理逻辑认定(2·.98”“”、“”+2=4)A(雪是白的)(2+2=4)守(雪是黑的)(2+2=5)一(雪是白的)这些命题都是真命题。然而,普通逻辑却不是如此。普通逻辑在研究抽象思维的逻辑形式及其规律时,虽然也要暂时撇开抽象思维的具体内容和抽象思维形式的特殊和个别内容,但它不能撇开,而必;须同时结合抽象思维形式的一般内容它虽然也要从逻辑值的真假方面去研究抽象思维的逻辑形式及其规律,但它不是去研究纯粹的、最高抽象的,而是去研究结合一般内容的、次高抽象的抽象思维的逻辑形式及其规
6、律的。在普通逻辑看来,上举被数理逻辑认定为真的那些合取、相斥析取和实质蕴涵命题的例子,都,而是假命题。因为,这些命题在普通逻辑中只不是真命题能分别视为联言、相斥选言和充分条件假言命题,它们前后支命题的真假,与普通逻辑所要求的支命题的真假虽是一致的,但是,普通逻辑认定联言、相斥选言和充分条件假言命题的真假,,;并不像数理逻辑那样仅仅取决于其支命题的真假它除了要考察它们支命题的真假还要考察它fI’1的前后支命题之间是否存在着并存、相斥选择和充分条件一般内容的联系或关系。上举数理逻辑认定为真的那些命题的支命题之间,分别不存在并存、相斥选择和充分条件一般内容
7、的联系或关系,所以普通逻辑只能认定这些复合命题都是假命题。总之,为了使普通逻辑与辩证逻辑和数理逻辑在研究对象上明确区别,我们认为给普通逻辑作如下界说是合适的:普通逻辑就是研究抽象思维形式中结合一般内容的、次高抽象的逻辑,。形式及其规律以及一些简单逻辑方法的科学关于单称判断及其推理许多普通逻辑论著说,由于单称判断的主项是对反映某一单独对象的概念的全部外延作了断定,在这一点上它与全称判断是一样的,因此,在逻辑上把单称判断当作全称判断来看待。:“,”。,←有的书甚至说在传统逻辑的推理理论中单称命题是作为全称命题处理的我们认为这种看法是大有问题的。,,、、、
8、。首先来看看单称判断的逻辑性质和真值以及它与AEIO之间的关系及其推理。普通逻辑的单称判断是断定某一单个对象