Значения слова Непротиворечивый. Что такое Непротиворечивый?

Слово состоит из 16 букв: первая н, вторая е, третья п, четвёртая р, пятая о, шестая т, седьмая и, восьмая в, девятая о, десятая р, одиннадцатая е, двенадцатая ч, тринадцатая и, четырнадцатая в, пятнадцатая ы, последняя й,

Слово непротиворечивый английскими буквами (транслитом) - neprotivorechivyi

Правильное написание и ударение в слове НЕПРОТИВОРЕЧИВЫЙ

Непротиворечи́вый*.

Орфографический словарь. — 2004

Метатеория

МЕТАТЕО́РИЯ (от греч. μετά – за, после) – теория, анализирующая структуру и методы к.-л. другой теории. Термин "М." имеет смысл и употребляется лишь по отношению к нек-рой данной, конкретной теории…Если система непротиворечива (и, следовательно, все доказуемые в ней формулы истинны), то Аp(р) не может быть доказуемой, потому что тогда она была бы, в соответствии со своим собственным...

Философская энциклопедия

МЕТАТЕОРИЯ (от греч. meta — после, за, позади) — теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией.Если система непротиворечива (и, следовательно, все доказуемые в ней формулы истинны), то Аp(р) не может быть доказуемой, потому что тогда она была бы, в соответствии со своим собственным...

Философская энциклопедия

МЕТАТЕОРИЯ (от греч. μετά — после и теория; букв. теория о некоторой другой теории) — одно из важнейших понятий современной логики, математики, философии и методологии науки; теория, анализирующая структуру…Вторая теорема Гёделя утверждает: если арифметическая формальная система непротиворечива, то невозможно построить доказательство ее непротиворечивости, проведенное средствами...

Философская энциклопедия

Мировоззрение

МИРОВОЗЗРЕНИЕ — систематическое единство многообразия обобщенных, непосредственно связанных с осознаваемыми интересами людей убеждений относительно сущности природных или социальных явлений, или же их совокупности.Так, индивидуальное М. может быть связным, хорошо структурированным и интегрированным, непротиворечивым; или же фрагментарным, неструктурированным, плохо осознанным и в силу этого несущим...

Прохоров Б.Б. Экология человека. - 2005

МИРОВОЗЗРЕНИЕ (\\feltanschauung,W)ridouUook, vision du monde) —система человеческих знаний о мире и о месте человека в мире, выраженная в аксиологических установках личности и социальной группы…Согласно Г. Гомперцу, мировоззрение — это “космотеория”, призванная представить непротиворечивое понимание идей, развитых в отдельных науках, и фактов практической жизни.

Философская энциклопедия

Мировоззрение форма самосознания, существующая как непротиворечивая система взглядов человека или общества в целом на мир во всех его проявлениях, на сущность и место человека в нем (в миру), и определяющая понимание…

Безрукова В.С. Основы духовной культуры. - 2000

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

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

ru.wikipedia.org

НЕПРОТИВОРЕЧИВОСТЬ - свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и.

Математическая энциклопедия. - 1977-1985

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

Прохоров Б.Б. Экология человека. - 2005

ПАРА НЕПРОТИВОРЕЧИВАЯ

ПАРА НЕПРОТИВОРЕЧИВАЯ ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора—возле, вне) — класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места.

Философская энциклопедия

Примеры употребления слова непротиворечивый

Работая с абстрактными формами, вкладывая в каждую из них определенный духовный смысл, Солянов, по его словам, "увидел, что они складываются в непротиворечивый ряд", наиболее полно выражающий его поиски.