Непротиворечивость

совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. Е. Какие-либо два предложения А и ¬ А, каждое из которых является отрицанием другого. Для широкого класса формальных теорий, включающих аксиому А & ¬ А ⊃ В («из противоречия следует любое утверждение»), Н. Равносильна существованию в данной теории хотя бы одного недоказуемого предложения. Н., необходимая для того чтобы си..

См. Движение неприсоединения.. ..

НЕПРОИЗВОДСТВЕННАЯ СФЕРА - условное наименование отраслей, результаты деятельности которых принимают преимущественно форму услуг. Социальная инфраструктура общества. Обычно к непроизводственной сфере относят. Жилищно-коммунальное и бытовое обслуживание населения. Пассажирский транспорт. Связь (по обслуживанию организаций и непроизводственной деятельности населения). Здравоохранение, физическую культуру и социальное обеспечение. Просвещение. Культуру. Искусство. Науку и научное обслуживание. Упра..

НЕПРОХОДИМОСТЬ КИШЕЧНИКА - нарушение или полное прекращение продвижения содержимого кишечника при закрытии просвета кишки опухолью, рубцовым сужением, при завороте кишок (перекручивание части кишки вместе с брыжейкой вокруг оси, с нарушением кровотока), их инвагинации (внедрение одного отрезка кишки в просвет другого), ущемление кишки в грыже и др., а также при нарушении двигательной функции кишечника в связи с расстройством деятельности нервной системы. Признаки. Прекращение выделения кала и га..

НЕПТУН (астрологический знак Y) - планета, среднее расстояние от Солнца 30,06 а. Е. (4500 млн. Км), период обращения 164,8 года, период вращения 17,8 ч, экваториальный диаметр 49 500 км, масса 1,03.1026 кг, состав атмосферы. CH4, H2, Нe. Нептун имеет 6 спутников. Открыт в 1846 И. Галле по теоретическим предсказаниям У. Ж. Леверье и Дж. К. Адамса. Удаленность Нептуна от Земли существенно ограничивает возможности его исследования.. ..

..

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

- свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. Непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз. Противоречивой, или несовместной. Для широкого класса формальных систем, язык к-рых содержит знак отрицания эквивалентна свойству. "не существует такой формулы , что и обе доказуемы". Класс формул данной формальной системы наз. Непротиворечивым, если..

Отсутствие в системе идей логического противоречия, т.е. Некоторого утверждения и его отрицания. Н. Постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. Рациональность). Согласно т.н. Классической логике, нарушение постулата Н. Делает возможным доказательство в системе идей, в частности в научной теории, любого утверждения. Это если и не лишает такую систему всякой ценности, то заставляет локализовать противоречие и пре..

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

- свойство предложений некоторой теории (в случае аксиоматической теории — системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отри­цание какого-то предложения может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Не­противоречивость теории означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование Н. Является обязательным требованием к научной и, в частности, логической теории. Противореч..