(ethics) A fundamental ethical principle intended as a guide for determining whether any contemplated action is morally right, based on the concept that an action is good or bad in and of itself regardless of what the actor's aims or preferences are.

(logic) A proposition that asserts or denies that members of one category (the subject term) belong to another (the predicate term). There are four types: "all S are P", "all S are not P", "some S are P", and "some S are not P".

plural of categorical proposition

plural of categorical product

plural of categorical dual