Apodicticity

"Apodictic" or "apodeictic" (Ancient Greek: ἀποδεικτικός, "capable of demonstration") is an adjectival expression from Aristotelean logic that refers to propositions that are demonstrable, that are necessarily or self-evidently the case or that, conversely, are impossible.Apodicticity or is the corresponding abstract noun, referring to logical certainty.

Apodictic propositions contrast with assertoric propositions, which merely assert that something is (or is not) the case, and with problematic propositions, which assert only the possibility of something being true. Apodictic judgments are clearly provable and logically certain. For instance, "Two plus two equals four" is apodictic. "Chicago is larger than Omaha" is assertoric. "A corporation could be wealthier than a country" is problematic. In Aristotelian logic, "apodictic" is opposed to "dialectic," as scientific proof is opposed to philosophical reasoning. Kant contrasts "apodictic" with "problematic" and "assertoric" in the Critique of Pure Reason, on page A70/B95.

Hans Reichenbach, one of the founders of logical positivism, offered a modified version of Immanuel Kant's a priorism by distinguishing between apodictic a priorism and constitutive a priorism.

...
Wikipedia