"Любая точная наука строится на аксиомах, не выводимых внутри самой науки, взятых готовыми и, в этом смысле, произвольных" (Елашкина А.В. Некоторые критерии интеллектуальных систем // Философия науки, № 1 (32) – Новосибирск, 2007. – С. 110).Набор аксиом некоторой логической системы и сами эти аксиомы произвольны. Но произвольны они не потому, что мне так захотелось и система никак не связана с объективным положением вещей. Аксиома произвольна потому, что обосновывается извне, а внутри системы она не выводима.
Обоснование не обязательно должно быть внелогическим. Одна независимая логическая система может обосновываться другой внешней независимой системой. Вместе они составят логическую систему второго порядка (металогику). Такие две логики могут быть противоречащими системами, что не устраняет того факта, что взаимодействуя друг с другом, каждая из них опирается на свою противоположность, обосновывается противоположностью (верифицируемость и фальсифицируемость в одном флаконе).
Комментариев нет:
Отправить комментарий