In intuitionistic logic, a property of a formula in a theory defined so that is testable in whenever , where is intuitionistic negation.
Philosophy
The capacity of a theory to yield predictions that can be tested, thereby either refuting the theory, or, more controversially, confirming it. Seefalsifiability.