TAUTOLOGY

[L:118] For Kant, tautological propositions are empty, void of consequence, and "are of no avail or use". Tautologies are analytic judgments where the identity of concepts is explicit. Kant denies that tautological propositions are devoid of sense.

In a general sense any statement whose denial would be self-contradictory. E.g., "If you're here, you're here." Strictly speaking, tautologies are compound statements that are true or false by virtue of their form only, regardless of the nature of the content.