Другой пример индуктивного определения: определение обоснованности решения суда в системе прецедентного права

Решения a1, a2, … an считаются обоснованными сами по себе (прецеденты).

Если аi – обоснованное решение, и х » аi, то х также является обоснованным решением.

Ничто другое не является обоснованным решением.

Здесь знак «»» обозначает отношение формального подобия. Если некоторое дело подобно другому, уже встречавшемуся ранее, его правовая оценка не должна отличаться от оценки, вынесенной по предыдущему делу. Как видно из данного определения, система прецедентного права допускает пополнение двумя способами: путем использования индуктивного шага (то есть сведения новых случаев к старым) и путем расширения базиса индукции (то есть создания новых прецедентов).

Рекурсивные определения задают функцию f путем указания ее значений для некоторых исходных аргументов (базис рекурсии) и способов определения всех остальных значений f, зная исходные (рекурсия).

Приведем пример рекурсивного определения сложения:

х + 0 = х.

х + у’ = (х + у)’.

Первый пункт определения (базис рекурсии), утверждает, что значение функции х + у равно х, в том случае, если у = 0. Второй пункт (рекурсия) говорит, что если мы хотим вычислить значение х + у’, где у’ – число, следующее за у, то надо вычислить для этого у, чему равно х + у, и взять следующее за х + у число.

Аксиоматические определения разъясняют значение некоторого термина путем указания той совокупности аксиом, в которой он содержится.

Обычно мы идем противоположным путем: зная значение терминов, входящих в высказывание, мы затем решаем вопрос о его истинности или ложности. Но поскольку аксиомы уже заранее считаются истинными утверждениями, каждый входящий в них термин косвенным образом получает определенный смысл и значение. Например, считается, что аксиомы Евклида неявно определяют термины «точка», «прямая», «плоскость», а аксиомы классической логики высказываний неявно определяют понятия отрицания, импликации, конъюнкции, дизъюнкции и т.д.

Упражнение 3. Постройте несколько неявных определений, а именно:

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

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