是而然名词解释：墨辩逻辑用语。《墨子·小取》所列侔式推论的五种情况之一。从一个肯定的命题(前提)推得另一个肯定的命题(结论)。《小取》名词解释：“白马,马也;乘白马,乘马也。骊马,马也;乘骊马,乘马也。获,人也;爱获,爱人也。臧,人也;爱臧,爱人也。此乃是而然者也。”“是而然”的原因在于侔式推论中不存在“言多方、殊类、异故”的情况,即推论过程中每个概念和判断都保持着确定性。这是侔式推论正确性的唯一保证。