“次协调否定”──“辩证否定”的一种形式刻画 |
| |
引用本文: | 邱辉.“次协调否定”──“辩证否定”的一种形式刻画[J].现代哲学,1997(4). |
| |
作者姓名: | 邱辉 |
| |
作者单位: | 中国海关管理干部学院 |
| |
摘 要: | 在逻辑系统中,人们采用的初始联结词一般有五个:否定(T)、折取(V)、合取(A)、蕴涵(→)和等值(←),而在这五个初始联结词中,否定词是最重要也是最基本的联结词。在逻辑史上,有人虽试图将一个逻辑系统采用的初始联结词减少到最低限度,但后来证明一个逻辑系统采用
|
本文献已被 CNKI 等数据库收录! |
|