Неявные определения

В науке и в юридической практике иногда используются определения, не имеющие вид равенства А«В, то есть не относящиеся к явным определениям. Такого рода определения называются неявными и задаются лингвистической конструкцией вида:

[А есть то, что удовлетворяет пунктам] В1, В2, …, Вn.

Собственно определение здесь сводится к пунктам В1, В2, …, Вn, а предшествующая фраза в квадратных скобках чаще всего подразумевается неявно. В зависимости от того, что представляют собой сами пункты В1, В2, …, Вn, такие определения делятся на три вида: индуктивные, рекурсивные и аксиоматические.

Индуктивные определения задают класс предметов А путем указания некоторого его подкласса (базис индукции) и тех процедур, при помощи которых порождаются все остальные предметы этого класса (индуктивный шаг).

Приведем пример индуктивного определения – определение натурального числа.

Есть натуральное число. Базис индукции

Если х – натуральное число, Индуктивный шаг

То х’ – натуральное число.

Ничто иное не является Ограничительное условие

Натуральным числом.

Первый пункт определения представляет собой базис индукции: 0 объявляется первым натуральным числом. После этого все остальные натуральные числа порождаются с помощью одной-единственной процедуры – функции «следовать за», обозначенной как штрих. Это индуктивный шаг. Таким образом, в класс натуральных чисел попадают все целые числа, которые больше нуля.

Дата добавления: 2015-06-30; просмотров: 160; Нарушение авторских прав

Мы поможем в написании ваших работ!