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