亚氏三段论的现代逻辑改造

亚里士多德是西方逻辑学的奠基者,他提出的三段论在逻辑学的发展中有深远的影响。随着现代逻辑的兴起和发展,传统的三段论得以改造。文章就数理逻辑的发展使亚氏三段论中19个完全有效式只存在15个,以及制约逻辑给亚氏三段论建构了一个既完全合乎原貌,又易为人理解接受的较彻底的形式语言系统,进行了有说服力的论述。