|
|||||
|
|
| 次协调逻辑及其应用前景 | |
| 作者姓名： | 邱辉 |
| 作者单位： | 中国海关管理干部学院 |
| 摘 要： | 一．什么是次协调逻辑所谓次协调逻辑（Ｐａｒａｃｏｎｓｉｓｔｅｎｔ Ｌｏｇｉｃ）其通俗含义是指这种逻辑本身的协调性次于经典逻辑即矛盾律在这种逻辑中不再普遍有效,但又远高于完全不协调系统即矛盾在这一逻辑系统中不会任意扩散。次协调逻辑的确切含义可以用以下语言来表述：假定一种理论Ｔ的基础语言采用符号作为否定词,Ｔ被称为是不协调的,当且仅当,在Ｔ中至少有一公式Ａ,使得Ａ与Ａ都是Ｔ的定理。否则Ｔ被称为是协调的;如果Ｔ语言中的所有公式都是它的定理,那么它被称为是平凡的（ｔｒｉｖｉａｌ）。否则Ｔ就被称为是不平凡… |
| 本文献已被 CNKI 等数据库收录！ | |