Если нам нужно определить какое-либо понятие, то мы выражаем наше определение при помощи суждения, содержащего подлежащее и сказуемое. Подлежащее этого суждения называется определяемым (definiendum), сказуемое называется определяющим (definiens). Эти термины важны потому, что благодаря им мы можем указать те правила, при соблюдении которых получается правильное определение. Таких правил четыре.
Другие в этой формуле прибавляют к genus термин proximum: «definitro fit per genus proximum et differentiam specificam» («определение совершается при помощи ближайшего рода и видового различия»), желая этим указать на то, что следует пользоваться ближайшим родовым понятием.
1. Определение должно быть соразмерным , т.е. таким, в котором объёмы определяемого и определяющего тождественны, т.е. одинаково велики. Если правило это нарушено, то определение неадекватно, или несоразмерно. В таком случае определение делается или слишком широким или слишком узким, именно, если объём определяющего становится слишком широким или слишком узким в сравнении с объёмом определяемого. Возьмём в пример определение лошади. Если сказать, что «лошадь есть домашнее животное», то это определение будет слишком широким; в нём объём определяющего будет более широким, чем объём определяемого понятия (в объём домашнего животного, кроме лошади, входят ещё коровы, собаки и т.п.). Относительно такого определения можно также сказать, что в него не входит указание существенного признака данного понятия. Если в определении опущены существенные признаки понятия, тогда оно окажется слишком широким, как в только что приведённом примере.
Возьмём определение, которое погрешает в противоположном направлении. Если бы мы сказали, что «треугольник есть плоская прямолинейная фигура, имеющая три равные стороны», то это определение было бы слишком узким. В нём объём определяющего понятия меньше объёма определяемого понятия. Именно: в объём определяющего понятия входят только равносторонние треугольники, а в объём определяемого понятия входят как равносторонние, так и неравносторонние треугольники.
2. Определение не должно делать круга . Это правило требует, чтобы определяемое понятие не определялось посредством понятия, которое само делается понятным только посредством определяемого. Возьмём, например, определение «вращение есть движение вокруг оси». Это определение понятия «вращение» посредством понятия «ось» делает круг, ибо само понятие «ось» определяется только через понятие «вращение» (как известно, ось – это прямая, вокруг которой происходит вращение). Таким образом, ясно, что в нашем определении получается круг: понятие «вращение» определяется посредством понятия «ось», а понятие «ось» – посредством понятия «вращение».
В определении определяющее и определяемое должны быть двумя различны ми и притом самостоятельными понятиями. Если это не соблюдается, то получается ошибка, которая называетсяidem per idem , или тавтологией, именно: в определении получается только повторение того же слова, т.е. употребляются слова, имеющие то же самое значение. Например: «свет есть то, чему присущ свет»; «величина есть то, что способно уменьшаться и увеличиваться». Последнее определение представляет собой тавтологию, потому что уменьшение есть убавление величины, увеличение же есть прибавление величины, а потому, если мы определяем величину посредством того, что способно увеличиваться или уменьшаться, то очевидно, что в определяющем понятии содержится определяемое понятие.
3. Определение не должно быть отрицательным , оно должно указывать признаки, присущие данному понятию, а не чуждые ему, ибо эти последние для нас неважны и, кроме того, их можно указать очень много. Например, возьмём определение «театр есть здание, не служащее для жилья».