НЕПРОТИВОРЕЧИВОСТЬ

НЕПРОТИВОРЕЧИВОСТЬ — совместимость, отсутствие противоречия — логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости.

Значения в других словарях

1. Непротиворечивость — Совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т.  Большая советская энциклопедия
2. Непротиворечивость — Свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз.  Математическая энциклопедия
3. НЕПРОТИВОРЕЧИВОСТЬ — НЕПРОТИВОРЕЧИВОСТЬ — англ. non-contradiction; нем. Widerspruchsfrei. Критерий правильного логического мышления, означающий, что в суж — дении, доказательстве, теории нет противоположных или противоречивых утверждений об одном и том же предмете...  Социологический словарь
4. непротиворечивость — орф. непротиворечивость*, -и  Орфографический словарь Лопатина
5. непротиворечивость — НЕПРОТИВОРЕЧИВОСТЬ — свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений. В логических исчислениях...  Энциклопедия эпистемологии и философии науки