независимость

независимость
(в логике и математике) невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому можно вывести из остальных, ее можно исключить из списка аксиом, при этом исходная теория не изменится, класс доказуемых в ней предложений останется тем же.
Зависимая система аксиом содержит лишние аксиомы и в этом смысле является менее совершенной, чем независимая.
Требование Н. распространяется и на правила вывода аксиоматической теории. Исходное правило вывода независимо, если оно не может быть получено в качестве производного правила в системе, из которой оно исключено. Можно также сказать, что аксиома или правило вывода независимы, если существует теорема, которая не может быть доказана без этой аксиомы или этого правила вывода.
Н. имеет по преимуществу эстетическую и дидактическую ценность. Исследование Н. способствует, как правило, лучшему пониманию строения изучаемой теории и ее возможностей.
Исторически первым доказательством Н. было доказательство невыводимости пятого постулата Евклида о параллельных из остальных его постулатов.
Требование Н. может быть распространено не только на аксиомы и правила вывода аксиоматических теорий, но и на исходные их термины (понятия). Термин независим, если он неопределим через остальные исходные термины. Теория с неизбыточным исходным словарем не содержит лишних понятий и является в этом отношении более совершенной, чем теория с зависимыми понятиями.
Зависимость некоторой аксиомы от остальных показывается путем вывода ее из них. Н. аксиомы можно доказать, найдя свойство, присущее всем другим аксиомам и не присущее рассматриваемой.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.

Синонимы:

автономия, автономность, автотелия, безотносительность, вольность, волюшка, воля, изотропность, инвариантность, незалежность, необусловленность, неподверженность, неподвластность, неподконтрольность, обособленность, объективность, самобытность, самосильность, самостийность, самостоятельность, самоуправление, свобода, случайность, суверенитет, суверенность, чертнамнебратство

Антонимы:

взаимозависимость
зависимость
кабала
несамостоятельность
повиновение
подвластность
подневольность
подчинение
подчиненность
покорность
послушание

Просмотров: 1200
Категория: Словари и энциклопедии » Философия » Словарь логики

Другие новости по теме:

“МУЖЕСТВО БЫТЬ”

Зависимость От Поля - Независимость От

ИМЕТЬ ИЛИ БЫТЬ?

ИНАЧЕ, ЧЕМ БЫТЬ, ИЛИ ПО ТУ СТОРОНУ СУЩНОСТИ

КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ

Класс, Множество (В Логике И Математике)

ПРОМИТТОР Планета, к которой может быть определена дирекция сигнификатора, в результате чего образуется аспект между прогрессивным положением сигнификатора и положением при рождении промиттора, обещающий определенные события или условия, соответствую

СМИРЕНИЕ, покорность-добродетель, которая может возникнуть от сознания, что совершенство

СХЕМА АКСИОМ

Системы и теории (systems and theories)

ТЕОРИЯ В ЛОГИКЕ

ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част

Фоновая зависимость/независимость

Фрейм как если бы

Что значит быть летучей мышью?

Этические правила речевой деятельности

Этнические правила речевой деятельности

аксиомы религиозного опыта

быть

правила тестирования

правило вывода

стать буддой в этом теле

церемонии образцовые и правила благопристойности

независимость
---

Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

Код для вставки на сайт или в блог:
Код для вставки в форум (BBCode):
Прямая ссылка на эту публикацию: