10.3969/j.issn.1674-3202.2018.02.001
编者导语:关于paraconsistent logic的几个问题
从巴西逻辑学家N.C.A.da Costa在1958年发表包含矛盾定理的逻辑系统算起,paraconsistent logic已有60年的发展历程.因其构建动机在于否定矛盾律这一经典逻辑根本大法的普适性,在非经典逻辑分支中最具"革命性"外貌,也因此在当代逻辑发展进程中曾长期处于边缘化状态.在20世纪与21世纪之交,伴随认知科学与人工智能研究的蓬勃发展及其对新型逻辑工具的现实需求,paracon-sistent logic业已走到了逻辑舞台的中央,被公认为非经典逻辑的重要分支之一.
11
国家社科基金重大项目资助17ZDA024
2018-08-15(万方平台首次上网日期,不代表论文的发表时间)
共8页
1-8