logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...
a Genus is one of the
Predicables
Predicable (Lat. praedicabilis, that which may be stated or affirmed, sometimes called ''quinque voces'' or ''five words'') is, in scholastic logic, a term applied to a classification of the possible relations in which a predicate may stand to its ...
. Genus is that part of a
definition
A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definiti ...
which is also predicable of other things different from the definiendum. A triangle is a rectilinear figure; i.e. in fixing the genus of a thing, we subsume it under a higher universal, of which it is a species.
Differentia
In scholastic logic, differentia is one of the predicables. It is that part of a definition which is predicable in a given genus only of the definiendum; or the corresponding " metaphysical part" of the object.
Origin
Plato implicitly emplo ...
*
Genus–differentia definition
A genus–differentia definition is a type of intensional definition, and it is composed of two parts:
# a genus (or family): An existing definition that serves as a portion of the new definition; all definitions with the same genus are consider ...