- внутренняя непротиворечивость
- мат. internal consistency
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Непротиворечивость — совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие либо два предложения А и ¬ А, каждое из которых… … Большая советская энциклопедия
АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… … Математическая энциклопедия
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
ГЕДЕЛЬ Курт — (Godel, Kurt) (1906 1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. В 1924 поступил в Венский университет, в 1930 защитил докторскую… … Энциклопедия Кольера
возможность логическая — одна из модальных характеристик высказывания, наряду с необходимостью , невозможностью и случайностью ; высказывание возможно, если его отрицание не является логически необходимым. В. л. обычно выражается оборотом возможно, что A (A какое то… … Словарь терминов логики
ПАТНЭМ — (Putnam) Хилари (р. в 1926) американский философ и логик. После защиты докторской диссертации (Лос Анжелес, 1951) П. преподаватель в Принстоне, профессор кафедры философии науки Массачусетского технологического института (1961 1965) и профессор… … История Философии: Энциклопедия
АТОМ — (от греч. atomos неделимый), наименьшая возможная частица любого из простейших химических веществ, называемых элементами. Понятие атома, как и само слово, древнегреческого происхождения, но только в 20 в. истинность атомной гипотезы была твердо… … Энциклопедия Кольера
Консистентность данных — (англ. data consistency или data validity) это согласованность данных друг с другом, целостность данных, а также внутренняя непротиворечивость. Множество всех условий, налагаемых на данные определяется моделью (структурой) данных.… … Википедия
Хранилище данных (значения) — Это слово имеет следующие значения: Content repository программная система, сочетающая в себе СУБД, систему контроля версий и поисковую машину; Data Warehouse предметно ориентированная корпоративная база данных. … Википедия
Согласованность данных — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… … Википедия
Логика научного исследования — Позитивизм Основные понятия Верификация, Опыт, Факт Индукция … Википедия