- свойство непротиворечивости
- мат. consistensy property
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
ПРОТИВОРЕЧИЕ ЛОГИЧЕСКОЕ — ПРОТИВОРЕЧИЕ ЛОГИЧЕСКОЕ утверждение одновременного наличия некоторой ситуации А и отсутствия этой ситуации. В языке выражается утверждением А и не А: (Α& Α), которое является тождественно ложным. Методологическое значение логических… … Философская энциклопедия
ОМЕГА-НЕПРОТИВОРЕЧИВОСТЬ — свойство формальных арифметич. систем, означающее невозможность получения омега противоречия. Омега противоречием наз. такая ситуация, когда для некрой формулы (х).доказуема каждая формула из бесконечной последовательности формул … Математическая энциклопедия
Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… … Большая советская энциклопедия
НЕСОВМЕСТИМОСТЬ — свойство формальной системы, противоположное свойству непротиворечивости:формальная система наз. несовместимой, или несовместной, если она не является непротиворечивой. Если нек рый класс формул в языке данной формальной системы не является… … Математическая энциклопедия
СОВМЕСТНОСТЬ МЕТОДОВ СУММИРОВАНИЯ — свойство методов суммирования, состоящее в непротиворечивости результатов применения этих методов. Методы Аи В совместны, если они не могут суммировать одну и ту же последовательность или ряд к различным пределам, в противном случае они наз.… … Математическая энциклопедия
МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… … Энциклопедия Кольера
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
АРИФМЕТИКА — область знаний о числах и операциях в числовых множествах. Говоря об А., имеют в виду рассмотрение вопросов о происхождении и развитии понятия числа, приемы и средства вычислений, исследование операций с числами различной природы, анализ… … Математическая энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия