逻辑理论中的语词定义类型探新

句法定义和语义定义是语词定义的两种重要类型,前者的作出无须假定关于相应系统的一种解释,也无须满足某些语言外条件(如可证实性),而后者的作出必须先假定关于相应系统的一种解释,也必须满足某些语言外条件(如可证实性)。