Assertion: intuitionistic negation | /r/HasProperty | wise
Facets:
Source sentences:
text: This tradition dates back to Aristotle, for whom the predicate term negation in Socrates is not-wise, affirming that the predicate not-wise holds of Socrates, yields a false statement if Socrates does not exist, while the predicate denial Socrates isn’t wise denies that the predicate wise holds of Socrates and is true if Socrates does not exist.