Определение понятий
    
    Определение понятия (или дефиниция) есть логическая операция, которая раскрывает содержание понятия или устанавливает значение термина.
    С помощью определения понятий мы можем раскрывать содержание понятия и тем самым отличать мыслимые в нем предметы от других предметов. Так, например, давая определение понятия "трапеция", мы отличаем его от других четырехугольников - ромба, квадрата, прямоугольника или параллелограмма: "Трапеция - четырехугольник, у которого две стороны параллельны, а две другие - не параллельны" ( 1). Приведем еще несколько примеров определений понятий, взятых из школьных учебников: "Вещества, растворы которых проводят электрический ток, называются электролитами" (2); "Флорой называют видовой состав растений, произрастающих на той или иной территории" (3); "Естественный отбор - процесс выживания наиболее приспособленных особей, который ведет к преимущественному повышению или понижению численности одних особей в популяции по сравнению с другими" (4); "Алгоритм есть конечная последовательность общепонятных предписаний, формальное (не требующее проявления человеческой изобретательности) исполнение которых позволяет получить за конечное время решение некоторой задачи!" ( 5).
    
    Явные и неявные определения
    
    В явном определении понятие, содержание которого надо раскрыть, называется определяемым, а то понятие, посредством которого оно определяется, называется определяющим. Явное определение устанавливает между ними отношение равенства их объемов, т.е. отношение эквивалентности. В неявном определении место определяющего понятия занимают контекст, набор аксиом или описание способа построения определяемого объекта.
    
    Реальные и номинальные определения
    
    Определение будет реальным, если в нем перечисляются существенные признаки предметов, мыслимых в понятии. Если определяется термин, обозначающий предмет, то определение будет номинальным. Из вышеприведенных определений (1), (4) и (5) - это реальные определения, а (2) и (3) - номинальные.
    С помощью номинальных определений вводятся также новые термины, краткие имена взамен более сложных описаний предметов. Например, "Промышленным роботом называется робот, состоящий из манипуляторов, управляемый по программе и выполняющий различные производственные операции и пространственные перемещения объектов", или "Персональной называется ЭВМ индивидуального пользования, исполненная в настольном, портативном или карманном варианте, включающая собранные в едином корпусе микроЭВМ, клавиатуру и экран для ввода и вывода данных, внешнее запоминающее устройство, а также предусматривающая возможность подсоединения малогабаритного печатающего устройства и подключения его к сети ЭВМ".
    Путем номинальных определений вводятся и знаки, заменяющие термины. Например, "Конъюнкция обозначается знаками & или Щ", "С - скорость света", "Тангенс угла a обозначается как tg a" и т.д.
    Наиболее важным среди реальных определений является определение через ближайший род и видовое отличие. Суть этого определения в том, что сначала устанавливается родовой признак, свойственный мыслимому в понятии предмету, а затем указывается его специфический, видовой признак (или несколько таких признаков). ............