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

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

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

Синонимы:

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

Антонимы:

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

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

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

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

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

быть

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

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

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

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

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

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

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

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

СХЕМА АКСИОМ

Такие подростки, как правило, зависимы от своих родителей и для них характерны социальная и психологическая незрелость и социальная изоляция.

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

ТЕОРИЯ ДВУХ СОСТОЯНИЙ (или пороговая теория Люса)

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

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

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

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

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

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

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

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

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

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