В логике существуют следующие типы определений:
- Остенсивные. 15 Иллюстративные, демонстрационные, объясняющие значение и смысл понятия на примерах частных случаев. 1
- Вербальные. 1 Логические или словесные, которые подразделяются на уточняющие (устанавливающие однозначные значение и смысл термина), регистрирующие (фиксирующие общепринятые значение и смысл термина) и учреждающие (свободно проектируемое определение, когда волюнтаристски присваивается значение и смысл). 1
- Реальные. 15 Определяют само понятие, фиксируют существенные признаки предмета. 5 Например: «Логика — это наука о формах и законах правильного мышления». 5
- Номинальные. 15 Дают определение термина, который обозначает понятие, или вводят знаки, заменяющие понятие. 1 Например: «Термином „логика“ называется наука о формах и законах правильного мышления». 5
- Генетические. 15 В них содержится указание на способ образования понятия. 5 Например: «Конус — это геометрическое тело, образованное вращением треугольника вокруг одной стороны», «Мул — это гибрид лошади и осла». 5
В математике определение — это введение нового понятия или объекта в математическое рассуждение путём комбинации или уточнения элементарных либо ранее определённых понятий. 1