预设的定义

On the Definition of Presupposition

同一律是预设定义之母。抽象预设定义和具体预设定义都是来自同一律。抽象预设定义适用于解释任意一个命题与其任意一个预设之间的关系,具体预设定义适用于解释任意一个命题与其具体预设之间的关系。从抽象预设定义可以引出抽象预设使用规则,从具体预设定义可以引出具体预设使用规则。

Law of identity is the mother of the presupposition definition, from which originate both the abstract presupposition definition and the concrete presupposition definition. The abstract presupposition definition applies to illustrating the relationship between any proposition and its random presupposition, while the concrete presupposition definition suits illustrating the relationship between any proposition and its concrete presupposition. From the abstract presupposition definition derive its application rules and it is the same with the concrete presupposition definition.