2.в зависимости от того, каким образом в определяющей части дефинции охарактеризованы предметы, задаваемый определением:
a) генетические определения. Когда в определяющей части В указывается на способ порождения (образования) предметов.
b) целевые опр. Когда в В указывается на то, как используется прдмет, какие функции он выполняет, для достижения каких целей он применяется.
c) квалифицирующие опр. Когда в В просто перечисляются те предметы, которые подпадают под определяемый термин.
d) операциональные опр. В таких определениях равенство между A[t] и В осуществляется только в том случае, когда выполнена некоторая проверочная процедура, осуществляя которую можно узнать, попадает ли произвольный предмет из рода U под данный термин или нет.
e) определения по частям. Т.е. A[t] = B1, если выполнено усл C1; A[t] = B2, если усл C2; и т.д.
f) определения через гипостазирование. С их помощью раскрывается содержание собственных имен для свойств, отношений и функций, например таких, как «теплопроводность», «краснота», «белизна».
g) определение через абстракцию. Определения, в которых определяющая часть фиксирует еще одну важную интеллектуальную процедуру.

Явные определения обладают свойством – определяемый и определяющие части могут в любом контексте замещаться друг на друга, т.е. верно правило замены по дефинции:
CD, K©
K(C:D)

Неявные определения – это определения, задаваемые лингвистической конструкцией вида:
t есть по дефинции то, что удовлетворяет условиям: B1,B2,…,Bn, где
B1,B2,…,Bn – это предложения,
определяемый термин t – минимальное выражение, которое входит в каждое определяющее условие B1,B2,…,Bn.

Для неявных определений НЕ действует правило замены по дефункции.

Неявные определения делятся на 3 вида:
1.индуктивные (для задания классов предметов). «Натуральное число по дефинции есть то, что удовлетворяет условиям:
1. 0 есть натуральное число.
2. Если n-натуральное число, то n’-натуральное число.
3. Ничто иное не есть натуральное число.»
т.е. 0,0’,0’’,0’’’,0’’’’… 0,1,2,3,4…
2.рекурсивные (для задания функций). «Операция сложение («+») по определение есть то, что удовлетворяет условиям:
1. x+0=x
2. x+y’=(x+y)’».
3.аксиоматические. Некоторый термин определяется путем указания той совокупности аксиом, в которой он содержится.

Другие виды определений:
1. Определение некоторого термина считается контекстуальным, если и только если определяемая часть А, в которую входит этот термин, представляет собой все контексты его нармативного употребления. В противном случае определение считается неконтекстуальным.
Пример: (АВ)Df (АВ)
2. Определения через контекст – определения, в которых определяющая часть В представляет собой совокупность каких-то контекстов, в которых встречается определяемый термин. В противном случае определение не относится к числу определений через контекст.
3. Номинальное определение: A[t]B
4. Определение является реальным, если оно введено посредством предложения, играющего роль определения: A[t] есть В.

Определение. Основные виды определений. (стр. 242-260)

Определение (дефиниция) – это логическая процедура, состоящая в придании строго фиксированного смысла языковым выражениям (терминам языка).

Определения можно разделить на несколько видов. Наиболее существенно их подразделение на явные и неявные.
Явными определениями называются определения, задаваемые лингвистической конструкцией вида: A[t]  B, где
A[t] – определяемая часть,
t – определяемый термин,
В – определяющая часть,
знак  указывает, что выражение A[t] по конвенции означает то же самое, что и выражение В.

В случае конкретных явных определений вместо знака «» пишется либо «=Df», (когда A[t] является именной конструкцией), либо знак «Df» (когда A[t] – высказывательная конструкция).

Явные определения делятся по разным основаниям:
1.в зависимости от синтаксической конструкции A[t]:
b) дефиниция называется определением имени, если A[t] –это собственное имя k некоторого предмета. Вид дефтинции:
k=Df aB(a), где знак «» - особый оператор, который позволяет по понятию аВ(а) в том случае, когда это единичное понятие с объемом {}, построить имя этого единственного предмета .
c) Если A[t] – универсальный вид аП(а), где П – n-местный предикатор, то дифинция называется определением универсалии и записывается в форме:
аП(а)=Df aB(a), где
аП(а)-языковое выражение простого понятия
аВ(а)-языковое выражение сложного понятия
Предикатор П – термин t.
d) Если A[t] – простая высказывательная форма вида П(а), то мы имеем дело с определением высказывательной формы. Вид определения:
П(а)Df В(а)
e) Если A[t] – выражение вида Ф(а), где Ф – n-местный предметный функтор, то дефинция называется определением функционального выражения. Вид дефинции:
Ф(а) =Df (a), где
Ф(а) – простое функциональное выражение,
(а) – сложное функциональное выражение.