Определение – логический прием, позволяющий: (1) формулировать критерии отличения изучаемого объекта от других объектов; (2) формировать значение вновь вводимого знакового выражения или уточнять значение имеющегося выражения в каком-либо языке. Так как результаты изучения объектов отображаются в понятиях, определение иногда рассматривается как формулирование в явной и сжатой форме основного содержания понятий.
По отношению к явным аналитическим определениям, классическим представителем которых являются определения через род и видовое отличие, формулируются следующие правила: (1) правило взаимозаменяемости определяемого (то, что определяется) и определения (то, чем определяется) в различных контекстах, при этом контекст остается истинным независимо от того, использовано в нем определяемое или определение; (2) правило запрета порочного круга: запрещается А определять через В, которое, в свою очередь, определено через А; (3) правило однозначности: каждому определению должно соответствовать одно определяемое (но не наоборот); (например, под определение «прямоугольник с равными сторонами» подходит одно-единственное определяемое «квадрат» и не может подходить какое-либо другое понятие, к примеру, «тирьям-пам-пам», однако «квадрат» можно определить и как «прямоугольник с равными сторонами», и как «ромб с равными углами» — piggy); (4) правило непротиворечивости: определение не должно быть внутренне противоречивым, а введение новых явных определений в теорию не должно приводить к противоречивости теории. Философский энциклопедический словарь, М., «Советская Энциклопедия», сс. 445-446, цит. с сокр.