对代入规则的质疑与修正--兼析约定论的演绎规则 |
| |
作者姓名: | 倪荫林 |
| |
作者单位: | 倪荫林(河北廊坊武警学院,河北,廊坊,065000) |
| |
摘 要: | 命题形式是对命题的抽象,反映了事物或现象间的一般关系,每一命题形式都有确定的意义.这是命题形式的本质所在.逻辑真理分为同语反复的和非同语反复的.根据命题形式的抽象原则与操作原则,对命题形式进行代入变换不应改变原命题形式的逻辑意义或逻辑真理的类型;否则会造成意义混乱.但现行的代入规则不能保证这一点,因而需要加以修正,以保证从命题形式的抽象到形式推演具有贯通的一致性.
|
关 键 词: | 命题形式断定的确定性 逻辑真理的类型 抽象原型 代入规则 |
修稿时间: | 2002-01-04 |
本文献已被 CNKI 等数据库收录! |
|