对代入规则的质疑与修正--兼析约定论的演绎规则

• 作者: 倪荫林
• 来源期刊: 九江师专学报
• 学科: 哲学
• 关键词: 命题形式断定的确定性 逻辑真理的类型 抽象原型 代入规则
• 年，卷（期）: 2002,（3）
• 页码范围: 55-59
• 页数: 5页
• 分类号: B81
• 字数: 4165字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4580.2002.03.012

摘要

命题形式是对命题的抽象,反映了事物或现象间的一般关系,每一命题形式都有确定的意义.这是命题形式的本质所在.逻辑真理分为同语反复的和非同语反复的.根据命题形式的抽象原则与操作原则,对命题形式进行代入变换不应改变原命题形式的逻辑意义或逻辑真理的类型;否则会造成意义混乱.但现行的代入规则不能保证这一点,因而需要加以修正,以保证从命题形式的抽象到形式推演具有贯通的一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	倪荫林		6	4	1.0	2.0