随着现代逻辑的发展，先后出现了各种非经典逻辑系统。这些逻辑系统大致可分为两类:一类是在对经典逻辑添加一些算子的基础上建立的，如模态逻辑等;一类是在对思维三律进行质疑的基础上建立的，如弗协调逻辑、构造性逻辑等。　　本文以否定思维三律的非经典逻辑系统为研究对象。由于对思维三律存在许多误解，第一章首先介绍亚里士多德和金岳霖对思维三律的解释，从表面和本质两方面介绍思维三律。第二章介绍否定矛盾律的弗协调逻辑。首先从语形和语义两方面介绍了科斯塔的命题逻辑系统。然后结合对思维三律的解释，从形式上证明了弗协调逻辑只是形式上而非本质上否定了不矛盾律。第三章介绍否定排中律的构造性逻辑。首先从语形和语义两方面介绍了构造性逻辑的命题逻辑系统。然后根据金岳霖先生对排中律的解释，若能构造出表示排中律本质的表示形式，则它能被证明是有效的。所以，构造性逻辑本质上也没有否定排中律。第四章是构建否定同一律的存在性逻辑。这里主要从改变蕴涵入手，把蕴涵的前件限制为协调的，这样经典逻辑的同一律表示形式就不普遍有效了。在这个原则指导下，构造了存在性命题逻辑的语形和语义，并对它的元理论进行了研究。从同一律的精神实质可以看出，这种对同一律的否定并没有否定同一律本质。　　对这些否定思维规律的非经典逻辑系统的研究表明:思维三律本质上是不能否定的。这些否定思维规律的非经典逻辑系统本质上还是体现了经典逻辑的基本精神。