The ability to distinguish; judgement.
The condition of understanding.
The act of distinguishing between things.
The ability to distinguish between things.
Aesthetic discrimination; taste, appreciation.
The ability to make wise judgements; sagacity.
Perceptiveness.
Discretion in judging objectively.
The ability to perceive differences that exist.
The property (of an argument) of not only being valid, but also of having true premises.
The result or product of being sound.
The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊢𝜙 is true, then T vDash 𝜙 must also be true, for any wff φ of logic L.
The state or quality of being sound.