НЕЗАВИСИМОСТЬ

в логике и м а т е м а т и-к е, невыводимость (недоказуемость) предложения нек-рой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр.

из данной системы аксиом. Доказательство Н. сводится к доказательству непротиворечивости (совместимости) двух систем предложений (формул): данной системы и данного предложения (формулы) — с одной стороны, и данной системы и отрицания данного предложения (формулы) — с другой. Если непротиворечивая система аксиом дедуктивно полна (см. Полнота в логике), то присоединение к ней в качестве аксиомы любого невыводимого из неё предложения приводит к противоречию. Когда речь идёт о содержательно формулируемых предложениях, то выводимость понимается интуитивно (в соответствии с законами логики); в исчислениях в качестве таких законов фиксируются определ. правила вывода, также подразделяемые на независимые (исходные) и производные.

Аналогично определённой выше дедуктивной Н. говорят о Н. функциональной (Н. выразит. средств): понятие (термин) независимо от данной совокупности понятий (терминов), если оно не может быть определено через них (при фиксированных правилах определения, относительно к-рых имеет смысл ставить вопрос о Н.). Совокупность предложений (формул) или понятий (терминов) наз. независимой (или неизбыточной, минимальной), если каждое из них независимо от остальных. Исторически первыми доказательствами Н. были доказательства Н. пятого постулата Евклида о параллельных, установившие относит. непротиворечивость неевклидовой геометрии Лобачевского — Бойаи. Ряд важных результатов о Н. получен для различных систем логики и аксиоматич. теории множеств.

• см. к ст. Аксиоматический метод.

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме НЕЗАВИСИМОСТЬ:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -