СОВМЕСТИМОСТЬ

СОВМЕСТИМОСТЬ
СОВМЕСТИМОСТЬ
свойство дедуктивных (в частности, формальных) теорий и отд. их предложений (соответственно формул) или множеств предложений (формул). Предложение дедуктивной теории наз. совместимым с постулатами (аксиомами и правилами вывода) этой теории, если с присоединением этого предложения к постулатам данной теории сохраняется ее непротиворечивость. (Строго говоря, в этом определении молчаливо подразумевается непротиворечивость исходной системы постулатов; условие это, впрочем, нужно лишь для удобства и естественности дальнейших определений; вопрос о том, считать ли любое предложение совместимым или, наоборот, несовместимым с противоречивой системой постулатов, принципиального значения не имеет). С. системы предложений – это попросту С. их конъюнкции; С. всей теории в целом – это, в соответствии с данным выше определением С. предложения, непротиворечивость конъюнкции всех аксиом (при фиксированных правилах вывода), т.е. С. относительно пустой совокупности аксиом. (Именно здесь нужна сделанная выше оговорка о понимании термина "С." по отношению к непротиворечивой системе постулатов.) Т.о., если пренебречь нек-рым психологич. и формально-грамматич. (в рус. яз.) различием, термины "непротиворечивость" и "С." являются синонимами. В англ. языке для обоих этих понятий вообще используется один и тот же термин "consistency".
Обычно говорят просто о С. аксиом, что не совсем точно, поскольку решение вопроса о С. того или иного предложения зависит, вообще говоря, от используемых в рассматриваемой системе правил вывода. Так, предложение ∀nР(n), совместимое в непротиворечивой, но ω-противоречивой (см. Непротиворечивость) системе, правилами вывода к-рой являются modus ponens и правила подстановки, с предложениями Р(0), Ρ(1), Ρ(2), ..., Р(n) (для любого n), оказывается несовместимым с ними, если расширить эту систему за счет присоединения правила бесконечной индукции.
Лит. см. при ст. Непротиворечивость.
Ю. Гастев. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


.

Игры ⚽ Поможем сделать НИР
Синонимы:
, , ,


Полезное


Смотреть что такое "СОВМЕСТИМОСТЬ" в других словарях:

  • Совместимость — (в стандартизации) свойство объекта (процесса, системы) вступать во взаимодействие с другими объектами (процессами, системами), при котором участвующие в указанном взаимодействии объекты (процессы, системы) не в полной мере исключают проявление… …   Википедия

  • совместимость — совместность, сочетаемость; непротиворечивость; соединимость, коммуникабельность. Ant. несовместимость; противоречие, противоречивость Словарь русских синонимов. совместимость сущ., кол во синонимов: 7 • гистосовместимость …   Словарь синонимов

  • СОВМЕСТИМОСТЬ — (compatibility) Способность двух или более различных типов компьютеров работать с одними и теми же программами и данными. Компьютеры называют совместимыми, если один и тот же машинный код (machine code) без внесения каких либо изменений читается… …   Словарь бизнес-терминов

  • Совместимость — [англ. compati bility способность] взаимное соответствие, сочетаемость, сосуществование в гармонии: совместимость «цемент – добавка» способность добавки обеспечивать и поддерживать заданные функциональные свойства бетонной смеси и бетона в… …   Энциклопедия терминов, определений и пояснений строительных материалов

  • СОВМЕСТИМОСТЬ — СОВМЕСТИМОСТЬ, совместимости, мн. нет, жен. (книжн.). отвлеч. сущ. к совместимый; возможность совместить(ся), совмещать(ся). Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

  • совместимость — СОВМЕСТИМЫЙ, ая, ое; им (книжн.). Такой, к рый можно совместить с чем н. Совместимые понятия. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • совместимость — возможность взаимного сочетания; допустимость находиться вместе …   Идеографический словарь русского языка

  • совместимость — человеческая способность работать совместно, успешно решать задачи, требующие согласованности действий и хорошего взаимопонимания. Словарь практического психолога. М.: АСТ, Харвест. С. Ю. Головин. 1998 …   Большая психологическая энциклопедия

  • СОВМЕСТИМОСТЬ — (1) способность устройств или систем, отличающихся конструктивными особенностями, выполнять идентичные функции; (2) возможность совместной работы различных устройств при заданных условиях без использования специальной аппаратуры сопряжения и без… …   Большая политехническая энциклопедия

  • совместимость — 06.01.127 совместимость [ compatibility]: Пригодность продукции, процессов или служб для совместного использования при условии удовлетворения заданным требованиям без возникновения недопустимых последствий от их совместного применения. Пример… …   Словарь-справочник терминов нормативно-технической документации


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»