Значение слова НЕПРОТИВОРЕЧИВОСТЬ в Орфографическом словаре

НЕПРОТИВОРЕЧИВОСТЬ: непротивореч`ивость, -и

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

НЕПРОТИВОРЕЧИВОСТЬ в Большом энциклопедическом словаре:
совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность …
НЕПРОТИВОРЕЧИВОСТЬ в Большой советской энциклопедии, БСЭ:
совместимость, свойство дедуктивной теории (или системы аксиом , посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести …
НЕПРОТИВОРЕЧИВОСТЬ в Большом российском энциклопедическом словаре:
НЕПРОТИВОРЕЧ́ИВОСТЬ, совместимость, отсутствие противоречия - логич. критерий корректности (правильности) нек-рого утверждения, рассуждения или их совокупности (теории). Н. исчисления означает логич. …
НЕПРОТИВОРЕЧИВОСТЬ в Тезаурусе русской деловой лексики:
Syn: согласованность, совместимость, соответствие Ant: …
НЕПРОТИВОРЕЧИВОСТЬ в Тезаурусе русского языка:
Syn: согласованность, совместимость, соответствие Ant: …
НЕПРОТИВОРЕЧИВОСТЬ в словаре Синонимов русского языка:
Syn: согласованность, совместимость, соответствие Ant: …
НЕПРОТИВОРЕЧИВОСТЬ в Словаре русского языка Лопатина:
непротивореч`ивость, …
НЕПРОТИВОРЕЧИВОСТЬ* в Полном орфографическом словаре русского языка:
непротиворечивость*, …
НЕПРОТИВОРЕЧИВОСТЬ в Современном толковом словаре, БСЭ:
совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность …
ЦЕННОСТНЫЕ ОРИЕНТАЦИИ в Новейшем философском словаре:
элементы внутренней (диспозиционной) структуры личности, сформированные и закрепленные жизненным опытом индивида в ходе процессов социализации и социальной адаптации, отграничивающие значимое …
УНИВЕРСАЛИИ в Новейшем философском словаре:
(лат. universalis - общий) - общие понятия. Проблема У. в историко-философской традиции связывает в единый семантический узел такие фундаментальные философские …
ТОЛКИН в Новейшем философском словаре:
(Tholkien) Джон Рональд Руэл (1892-1973) - английский писатель, литературовед и медиевист, чьи произведения имеют выраженную мифо-философскую размерность. Родился в Оранжевой …
ПРАКТИКА в Новейшем философском словаре:
категория, которая может быть отнесена ко всей сфере человеческой деятельности и мышления, но обычно ее употребление конкретизируется через категориальные оппозиции: …
НEЙPAT в Новейшем философском словаре:
(Neurath) Отто (1882-1945) - австрийский философ, социолог и экономист. Был одним из организаторов и лидеров Венского кружка. В 1934-1940 жил …
ДИДРО в Новейшем философском словаре:
(Diderot) Дени (1713-1784) - французский философ и идеолог Просвещения, писатель, теоретик искусства, глава энциклопедистов. Основные сочинения: вольный авторский перевод и …
ГИПОТЕЗА в Новейшем философском словаре:
(греч. hypothesis - основание, предположение) - форма организации научного знания, обеспечивающая движение к новому знанию, выводящая за рамки наличного (имеющегося) …
ВОЛЬТЕР в Новейшем философском словаре:
(Voltaire), настоящее имя - Франсуа Мари Аруэ (Arouet) (1694-1778) - французский философ, писатель, историк, представитель французского Просвещения. Историограф Людовика ХУ …
БРЭДЛИ в Новейшем философском словаре:
(Bradly) Фрэнсис Герберт (1846-1924) - британский философ, представитель абсолютного идеализма, теоретик консерватизма. Основные работы: "Принципы логики" (1883); "Видимость и действительность" …
АНТИЧНАЯ ФИЛОСОФИЯ в Новейшем философском словаре.
УНИВЕРСАЛИИ в Словаре постмодернизма:
(лат. universalis - общий) - общие понятия. Проблема У. в историко-философской традиции связывает в единый семантический узел такие фундаментальные философские …
ДОКАЗАТЕЛЬСТВО в Педагогическом энциклопедическом словаре:
в обучении, логическое действие, в процессе которого обосновывается истинность суждения. Д. может выступать в процессе обучения как одно из средств …
ФОРМАЛЬНАЯ АРИФМЕТИКА в Большой советской энциклопедии, БСЭ:
арифметика, формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод ) . Язык Ф. а. содержит константу 0, числовые …
ТОЖДЕСТВО в Большой советской энциклопедии, БСЭ:
основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем. В математике …
ПАРАДОКС в Большой советской энциклопедии, БСЭ:
(от греч. paradoxes - неожиданный, странный), неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным …
МЕТАТЕОРИЯ в Большой советской энциклопедии, БСЭ:
(от мета... ), теория, анализирующая структуру, методы и свойства какой-либо другой теории - т. н. предметной теории, или объектной. Термин …
МЕТАМАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических …
МАТЕМАТИЧЕСКИЙ ФОРМАЛИЗМ в Большой советской энциклопедии, БСЭ:
формализм , одно из основных направлений в основаниях математики, представители которого, следуя Д. Гильберту , считают, что каждый раздел математики …
ГЕОМЕТРИЯ в Большой советской энциклопедии, БСЭ:
(греч. geometria, от ge - Земля и metreo - мерю), раздел математики, изучающий пространственные отношения и формы, а также другие …
АКСИОМАТИЧЕСКИЙ МЕТОД в Большой советской энциклопедии, БСЭ:
метод, способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) - аксиомы , или постулаты …
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ в Большой советской энциклопедии, БСЭ:
теория множеств, формулировка множеств теории в виде формальной (аксиоматической) системы (см. Аксиоматический метод ) . Основным побудительным стимулом для построения …
ГЁДЕЛЬ, КУРТ в Словаре Кольера:
(Gdel, Kurt) (1906-1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. …

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

← НЕПРОТИВЛЕНЧЕСТВО НЕПРОТИВОРЕЧИВЫЙ→