- (logic) a declaration of something self-evident; something that can be assumed as the basis for argument ...
- (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula ...