Различают интенсионально-семантические определения, где Dfn представляет собой интенсионал, то есть усиленный, наиболее производительный по форме способ указания на облик предмета. Например, «Слово „пятиугольник“ применяется для обозначения плоского многоугольника с пятью сторонами». Другой вид семантического определения – экстенсионально-семантические, где определяющее представляет собой экстенсионал знакового выражения, то есть перечисление объектов, попадающих под обозначение. Например, «Выражение „домашние животные“ употребляется для обозначения коров, лошадей, свиней, верблюдов и т. д.». Экстенсионально-семантические определения еще называют «таблично-списочными».
4. Синтаксические определения.
Это определения, имеющие структуру Dfd = Dfn, где Dfn – есть совокупность правил, функций, которые специфицируют Dfd. Точнее, в них Dfd = Dfnесть правило взаимозаменимости Dfdи Dfnв различных контекстах. Например, «человек есть воплощение Бога».
5. Операциональные определения.
Это определения, в которых определяющий объект специфицируется через совокупность экспериментально-измерительных процедур. «Сила есть физическая величина, пропорциональная растяжению пружины в пружинных весах».
6. Определения через абстракцию.
Это определения, связанные с выделением в виде «абстрактных предметов» некоторых множеств и соответствующих им свойств в виде аксиом через установление между ними отношений Rтипа равенства (эквивалентности – то есть рефлексивности, симметричности, транзитивности) и введением для них имен. Спецификация предметов происходит здесь за счет разбиения отношением Rнекоторой абстрактной области предметов Dна подмножества, не имеющие общих элементов. Речь идет о так называемой «теореме разбиения области на классы эквивалентности». Эту теорему иногда называют принципом абстрактности. Смысл отношения Rв таких определениях реализуется посредством некоторого эталона и способа отбора объектов, сходных с ним.
7. Лингвистические определения.
Это определения значений слов и словосочетаний незнакомого иностранного языка через словари. Например, «Homo homini lupus est» означает с латыни «Человек человеку волк».
8. Остенсивные определения.
Это определения значений слов путем непосредственного ознакомления обучаемого с предметами, действиями и ситуациями, обозначаемыми этими словами и словосочетаниями. Чаще всего это вербальные определения, то есть определения, опирающиеся на естественный язык, с помощью которого передается информация о значениях слов.
9. Аксиоматические определения.
Это определения систем объектов через предложения, фиксирующие отношения объектов друг к другу с помощью знаковых выражений, входящих в эти предложения. Такие предложения представляют собой аксиомы, а выводимые из них по правилам логики новые предложения называют теоремами. Эти определения не имеют структуры вида Dfd = Dfn, поскольку в них объекты определяются друг через друга. Это своего рода круговые определения. Среди них различают конкретно-содержательные (например, геометрия Евклида), абстрактно-содержательные (например, теория групп в алгебре) и полностью формализованные определения.
10. Контекстуальные определения.
Это определения, в которых значение интересующего нас знакового выражения задается некоторым часто употребительным контекстом.
11. Псевдоконтекстуальные определения.
Это определения, в которых значение интересующего нас знакового выражения задается некоторым контекстом или совокупностью контекстов так, чтобы из их анализа путем элиминирования можно было свести ситуацию к виду Dfd = Dfn. Здесь в результате анализа речевых контекстов, в котором встречается определяемый термин Dfd, выясняется его значение. Какими из этих способов пользуетесь вы, когда желаете передать коллеге что-либо существенное в своем сообщении? Среди свойств этих определений можно выделить явные и неявные, номинальные и реальные, аналитические и синтетические, полные и неполные, интенсиональные и экстенсиональные… Но для нашего предмета достаточно будет определиться с таким отношением между видами определений, как «строгость».
