| 联合演算何以可能 |
| |
| 引用本文： | 马雷.联合演算何以可能[J].淮阴师范学院学报(哲学社会科学版),2003,25(3):303-306. |
| |
| 作者姓名： | 马雷 |
| |
| 作者单位： | 东南大学,哲学与科学系,江苏,南京,210096 |
| |
| 摘 要： | 一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。
|
| 关 键 词： | 词项逻辑 谓词逻辑 类逻辑 命题逻辑 联合演算 |
| 文章编号： | 1007-8444(2003)03-00%%-%% |
| 修稿时间： | 2002年11月22 |
Why Combined Calculation Are Possible? |
| |
| MA Lei.Why Combined Calculation Are Possible?[J].Journal of Huaiyin Teachers College(Social Sciences Edition),2003,25(3):303-306. |
| |
| Authors: | MA Lei |
| |
| Abstract: | Both one-predicate logic and the class logic can not express all characteristics of traditional lexical item logic. Like proposition logic, Aristorical logic is two-valued logic. The implicative expressions of categorical syllogism that are more complicated than those of proposition indicate a kind of special implicative relation. D.Hilbert and W.Ackermann argued that the predictive calculation or the calculation of classes could explain the symbols of proposition calculation. By giving a new explanation of predication, all analogies could be set up among the proposition calculation, the predicative calculation and the class calculation. According this explanation, the traditional form of inferences could be handled by modern logic. Although this thought of combined calculation has not been immature, it opens up a vast way to understand all-side and deeply the relations among the lexical item logic, the predicate logic, the class logic and the proposition logic, especially traditional logic and modern logic. |
| |
| Keywords: | lexical item logic predicate logic class logic proposition logic combined calculation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
