непротиворечивость
121целостность данных — Свойство, при выполнении которого данные сохраняют заранее определенный вид и качество. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] целостность данных Сервис контроля доступа, гарантирующий, что принятые по сети данные не были… …
122ПРОТИВОРЕЧИЕ — (в логике), наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно отрицание другого; в широком смысле утверждение о тождестве заведомо различных объектов. Противоречие указывает либо на логическую порочность приводящего к… …
123возможность логическая — одна из модальных характеристик высказывания, наряду с необходимостью , невозможностью и случайностью ; высказывание возможно, если его отрицание не является логически необходимым. В. л. обычно выражается оборотом возможно, что A (A какое то… …
124гипотеза — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… …
125Закон Мышления - — термин традиционной логики, аобознанчавший требование к логически совершенному мышлению, имею щее формальный характер, т. е. не зависящее от конкретного сондержания мыслей. 3. м. назывались также законами логики или (формально ) логическими… …
126интуиционизм — направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление …
127логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …
128метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… …
