- содержательная непротиворечивость
- мат. intuitive consistency
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
Математическая модель — Математическая модель это математическое представление реальности[1]. Математическое моделирование это процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат,… … Википедия
Математическое моделирование — Математическая модель это математическое представление реальности[1]. Математическое моделирование процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат, по сути… … Википедия
интуиционизм — направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление … Словарь терминов логики
ГИПОТЕЗА — (греч. hypothesis основание, предположение) форма организации научного знания, обеспечивающая движение к новому знанию, выводящая за рамки наличного (имеющегося) знания и способствующая (в отдельных случаях) реализации новой идеи (концептуальная… … Новейший философский словарь
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
конструктивизм — КОНСТРУКТИВИЗМ (от лат. constructio построение) направление в эпистемологии и философии науки, в основе которого лежит представление об активности познающего субъекта, который использует специальные рефлексивные процедуры при построении… … Энциклопедия эпистемологии и философии науки
формализация — ФОРМАЛИЗАЦИЯ совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и… … Энциклопедия эпистемологии и философии науки
ГИПОТЕЗА — (греч. hypothesis основание, предположение) форма организации научного знания, обеспечивающая движение к новому знанию, выводящая за рамки наличного (имеющегося) знания и способствующая (в отдельных случаях) реализации новой идеи (концептуальная… … Социология: Энциклопедия
СЕМАНТИКА — (от греч. semantikos обозначающий) раздел языкознания и логики, в котором исследуются проблемы, связанные со смыслам, значением и интерпретацией знаков и знаковых выражений. В широком смысле С, наряду с синтактикой и прагматикой, является частью… … Современная западная философия. Энциклопедический словарь