(ἀποδικήσις), a demonstration, a philosophical term originating with Aristotle, and introduced into modern usage by Kant, who applies it to those judgments that are beyond all contradiction, as distinguished from such as are merely empirical.