- Заглавие: НЕЗАВИСИМОСТЬ ЛОГИЧЕСКАЯ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
НЕЗАВИСИМОСТЬ ЛОГИЧЕСКАЯ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: НЕЗАВИСИМОСТЬ ЛОГИЧЕСКАЯ — утверждение В независимо от утверждения А, если из А нельзя вывести ни В, ни его отрицание. Применительно к аксиомам это означает, что независимую аксиому можно заменить ее отрицанием. Хорошо известно, что осознание независимости пятого постулата геометрии Евклида привело к созданию неевклидовых геометрий. Требование логической независимости позволяет упорядочить формальные языки. Оно также способствует их преумножению.
