|
|||||
|
|
| 论逻辑系统 | |
| 引用本文： | 梁彪.论逻辑系统[J].哲学研究,2003(9). |
| 作者姓名： | 梁彪 |
| 作者单位： | 中山大学逻辑与认知研究所 中山大学哲学系 |
| 摘 要： | 一、逻辑系统及其成为逻辑系统的一些条件在日常生活中 ,一个有效的推理通常可以用形式表示为“如果p ,那么 q ;p ,所以 q”。也可以用符号表示为 (p→q)∧p→q。这种有效式在逻辑中又称为重言式。在正确的推理 (合理的论证 )中 ,各个重言式是一致的。因此 ,如果能够把握被看成是重言式的所有复合命题形式 ,那么 ,也就把握了所有的正确推理 ,也就解决了逻辑学中的最主要的问题 ,即推理理论。但是 ,在日常生活中 ,推理的数量是无限多的 ,也就是说被看作重言式的逻辑公式是无限多的。为了把握无限多的重言式的全部或相当大的部分 ,有必要在逻… |
| 本文献已被 CNKI 等数据库收录！ | |