CATEGORICAL means generally unconditional, not sub ject to any conditions or reservations. I. In Logic—The term categorical is used to describe those judgments or propositions which are neither hypothetical nor disjunctive. These latter are the two types of conditional propositions (see CONDITION) ; cate gorical propositions are those which make absolute or uncondi tional assertions, like S is P or S is not P. But the distinction between categorical and conditional propositions is relative to the extent that it is frequently possible to express a proposition of the one type as a proposition of the other type without much violence to their meaning, e.g., the categorical assertion : Equi lateral triangles are equiangular, can also be expressed in the con ditional form : If a triangle is equilateral it is equiangular (hypothetical), or either a triangle is equiangular or it is not equi lateral (disjunctive). 2. In Ethics Kant introduced the terra "categorical imperative" for a moral law that is unconditional CT absolute, or whose validity or claim does not depend on any ulterior motive or end. According to Kant there is only one such categorical imperative, which he formulates variously. One formula is : "Act only on such a maxim as you can will that it should become a universal law." This is purely formal, and expresses the condition of the rationality of conduct, rather than the condition of its morality. Another formula given by Kant is: "So act as to treat humanity, whether in your own person or in another, always as an end, and never as only a means." (See KANT, and ETHICS, HISTORY OF.)