弗协调逻辑的理论渊源和历史发展

弗协调逻辑是能够容纳矛盾但是从矛盾却不能推出一切的逻辑理论.弗协调逻辑在理论上可以追溯到古希腊,但古代中国的思想家也特别善长于弗协调思维.作为一门学科,弗协调逻辑是在现代才创立发展起来的,先驱人物是卢卡西维茨和瓦西列夫,创立者是雅斯可夫斯基和科斯塔.弗协调逻辑在计算机科学和人工智能等领域都有广阔的发展前景.

The Theoretical Origin and the Historical Development of Paraconsistent Logic

Paraconsistent logic is the logical theory which can hold contradiction but can not promote all from contradiction.Paraconsistent logic theoretically is possible to trace the ancient Greece,and the ancient China's thinkers also specially were good at paraconsistent thinking.But it only establishes and develops in the modern times as a discipline.The pioneer character is J.Lukasiewicz and N.A.Vasil'ev,and the founder is S.Jaskowski and N.C.A.de Costa.Paraconsistent logic has the broad prospects for development in the computer science and artificial intelligence etc.