“定义必须相称”不容置疑——兼论定义规则与逻辑规律的关系

“定义必须相称”,是形式逻辑定义理论的一个基本观点。亚里士多德以来的中外逻辑学家,在讲到下定义的规则时大都有这么一条①;现在有同志甚至认为它是下定义的重要规则,应加以强调;有同志虽然对定义规则发表过不同意见,但仍然保留了“保证定义项与被定义项外延的同一性”②这种说法。这表明:“定义必须相称”作为下定义的规则,是为逻辑界所肯定的。