1、通過(guò)對(duì)中國(guó)古代著作中同一律、矛盾律的理論回顧，從邏輯學(xué)的角度分析了同一律與儒家“正名”思想的淵源以及先秦思想家應(yīng)用矛盾律時(shí)遇到的問(wèn)題，并對(duì)同一律、矛盾律在中西雙方的發(fā)展作了比較研究。
　　儒家由孔子提出“正名”問(wèn)題，再由孟子將其導(dǎo)向邏輯領(lǐng)域，最后由荀子提出“正名”需遵守的條件。《墨經(jīng)》在此基礎(chǔ)上提出了：“彼止于彼”、“此止于此”、“彼此止于彼此”，并出現(xiàn)了變項(xiàng)，在邏輯上與西方邏輯理論是等價(jià)的?！赌?jīng)》中關(guān)于“止于”的含義化歸為“重

2、同”，表示兩者的外延、內(nèi)涵要一致。
　　鄧析的《無(wú)厚篇》、墨翟的“?！备拍?、尹文的觀點(diǎn)以及公孫龍的“白馬非馬”論題都包含了矛盾律思想。《墨經(jīng)》直接論述產(chǎn)生上述錯(cuò)誤的原因“不俱當(dāng)，必或不當(dāng)”，此后經(jīng)過(guò)長(zhǎng)期的發(fā)展，韓非首倡“矛盾之說(shuō)”，用“不兩立”表述了互相對(duì)立的兩個(gè)方面，直接表述了反對(duì)關(guān)系，間接的表述了矛盾關(guān)系。在東、西方邏輯體系中的矛盾律既有相同性，又有特殊性，如同韓非的“矛盾之說(shuō)”主要指反對(duì)關(guān)系，墨家的“矛盾學(xué)說(shuō)”中把辯論雙方規(guī)