   The status of definitions in logic and outside it has been surprisingly controversial. Probably the standard view among logicians is that of Russell, according to which definitions are mere abbreviations whose role is to render complex propositions more easily surveyable by feeble humans. According to this view, when a logician defines, say, conjunction in terms of implication and negation, as