资源描述：
《对当关系直接推理外延新扩展》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、2001年第1期河南教育学院学报(哲学社会科学版)No.1,2001第20卷JOURNALOFHENANEDUCATIONINSTITUTEGeneralNo.75(总75期)(PhilosophyandSocialSciences)Vol.20对当关系直接推理外延的新扩展胡满场(河南教育学院政治系,河南郑州450003)摘要:目前,普通逻辑的对当关系直接推理仍然局限在简单判断之间。本文认为,复合判断之间也能进行有效的对当关系直接推理。联言判断、选言判断、假言判断以及各自负判断的等值判断之间的相
2、互推演,均可构成对当关系直接推理新的有效形式。关键词:复合判断;对当关系;直接推理中图分类号:B812.23文献标识码:A文章编号:1006-2920(2001)01-0059-04对当关系直接推理是演绎推理的一种形式,它的逻辑根系直接推理据无疑是判断之间的真假制约关系对当关系(即:反对这四种判断之间的对当关系表现为:关系、下反对关系、矛盾关系、差等关系)。因此,只要判断之p!q∀与pVq∀具有反对关系;p#q∀与(p!q)#(p!间存在对当关系,就应该能够进行对当关系直接推理。
3、但目q)∀具有下反对关系;p!q∀与p#q∀、pVq∀与(p!q)#(p前为止,人们还只是把对当关系直接推理仅仅理解为是在简!q)∀具有矛盾关系;p!q∀与(p!q)#(p!q)∀、pVq∀与单判断之间的一种推演,笔者通过多年的逻辑学教学实践与p#q∀具有差等关系。思考,发现不仅简单判断间存在对当关系,复合判断间也存根据以上对当关系,可进行如下直接推理:在对当关系。既然如此,同简单判断一样,在复合判断之间由真推真:∃(p!q)%[(p!q)#(p!q)]也应该能够进行有效的对当关系直接推理。&(pV
4、q)%(p#q)1、p!q∀、p#q∀、p!q∀、p#q∀的对当关系直接推理由假推假:∃(p#q)%(pVq)这四种判断之间的对当关系表现为:&[(p!q)#(p!q)]%(p!q)p!q∀与p!q∀具有反对关系;p#q∀与p#q∀具有由真推假:∃(p!q)%(p#q)下反对关系;p!q∀与p#q∀、p#q∀与p!q∀具有矛盾&(p#q)%(p!q)关系;p!q∀与p#q∀、p!q∀与p#q∀具有差等关系。∋(pVq)%[(p!q)#(p!q)]根据以上对当关系,可进行如下直接推理:(
5、[(p!q)#(p!q)]%(pVq)由真推真:∃(p!q)%(p#q))(p!q)%(pVq)&(p!q)%(p#q)∗(pVq)%(p!q)由假推假:∃(p#q)%(p!q)由假推真:∃(p!q)%(p#q)&(p#q)%(p!q)&(p#q)%(p!q)由真推假:∃(p!q)%(p#q)∋(pVq)%[(p!q)#(p!q)]&(p#q)%(p!q)([(p!q)#(p!q)]%(pVq)∋(p#q)%(p!q))(p#q)%[(p!q)#(p!q)]((p
6、!q)%(p#q)∗[(p!q)#(p!q)]%(p#q))(p!q)%(p!q)3、p!q∀、p%q∀、p!q∀、p#q∀的对当关系直接推理∗(p!q)%(p!q)这四种判断之间的对当关系表现为:由假推真:∃(p!q)%(p#q)p!q∀与p!q∀具有反对关系;p%q∀与p#q∀具有下&(p#q)%(p!q)反对关系;p!q∀与p#q∀、p%q∀与p!q∀具有矛盾关系;∋(p#q)%(p!q)p!q∀与p%q∀、p!q∀与p#q∀具有差等关系。((p!q)%(p#q)根据以上对当关系,
7、可进行如下直接推理:)(p#q)%(p#q)由真推真:∃(p!q)%(p%q)∗(p#q)%(p#q)&(p!q)%(p#q)2、p!q∀、pVq∀、(p!q)#(p!q)∀、p#q∀的对当关由假推假:∃(p%q)%(p!q)收稿日期:2000-11-11作者简介:胡满场(1962),男,河南长葛人,河南教育学院副教授。+59+&(p#q)%(p!q)由假推真:∃(p!q)%(p#q)由真推假:∃(p!q)%(p#q)&(p#q)%(p!q)&(p#q)%(p!q)∋(
8、pq)%[(p!q)#(p!q)]∋(p%q)%(p!q)([(p!q)#(p!q)]%(pq)((p!q)%(p%q))(pq)%(p#q))(p!q)%(p!q)∗(p#q)%(pq)∗(p!q)%(p!q)6、p#q∀、pVq∀、(p!q)#(p!q)∀、p!q∀的对当关由假推真:∃(p!q)%(p#q)系直接推理&(p#q)%(p!q)这四种判断之间的对当关系表现为:∋(p%q)%(p!q)p!q∀与p
