亚氏三段论的现代逻辑改造 |
| |
引用本文: | 张金兴.亚氏三段论的现代逻辑改造[J].淮阴师范学院学报(哲学社会科学版),1996(3). |
| |
作者姓名: | 张金兴 |
| |
摘 要: | 在亚里士多德创建的三段论体系中,有着一整套正确判定三段论有效式的规则,人们依据这些规则,在分属四格的总共256个三段论式中,得出了举世公认的19个完全有效式。近百年来,随着数理逻辑的产生和发展,有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论,但因存在这样那样的问题,他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中,也对三段论的形式化问题进行了认真的探讨。令人惊喜的是,在他独创的制约逻辑Cn名词演算系统中,亚氏的三段论19个完全有效式,都一一得到了圆满的证明。林氏这一近乎完美无缺的成功,无疑为三段论这一古老的推理形式要现代逻辑领域内的发展,开辟了灿烂的前景。
|
关 键 词: | 形式化,主词非空,不可矛盾名词,Cn名词,演算系统 |
本文献已被 CNKI 等数据库收录! |
|