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

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

Источник: Большой энциклопедический словарь на Gufo.me


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

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