содержательная непротиворечивость

содержательная непротиворечивость
мат. intuitive consistency

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужен реферат?

Смотреть что такое "содержательная непротиворечивость" в других словарях:

  • Метатеория — (от Мета...)         теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… …   Большая советская энциклопедия

  • Математическая модель — Математическая модель  это математическое представление реальности[1]. Математическое моделирование  это процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат,… …   Википедия

  • Математическое моделирование — Математическая модель это математическое представление реальности[1]. Математическое моделирование процесс построения и изучения математических моделей. Все естественные и общественные науки, использующие математический аппарат, по сути… …   Википедия

  • интуиционизм — направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление …   Словарь терминов логики

  • ГИПОТЕЗА — (греч. hypothesis основание, предположение) форма организации научного знания, обеспечивающая движение к новому знанию, выводящая за рамки наличного (имеющегося) знания и способствующая (в отдельных случаях) реализации новой идеи (концептуальная… …   Новейший философский словарь

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия

  • конструктивизм —         КОНСТРУКТИВИЗМ (от лат. constructio построение) направление в эпистемологии и философии науки, в основе которого лежит представление об активности познающего субъекта, который использует специальные рефлексивные процедуры при построении… …   Энциклопедия эпистемологии и философии науки

  • формализация —         ФОРМАЛИЗАЦИЯ совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и… …   Энциклопедия эпистемологии и философии науки

  • ГИПОТЕЗА — (греч. hypothesis основание, предположение) форма организации научного знания, обеспечивающая движение к новому знанию, выводящая за рамки наличного (имеющегося) знания и способствующая (в отдельных случаях) реализации новой идеи (концептуальная… …   Социология: Энциклопедия

  • СЕМАНТИКА — (от греч. semantikos обозначающий) раздел языкознания и логики, в котором исследуются проблемы, связанные со смыслам, значением и интерпретацией знаков и знаковых выражений. В широком смысле С, наряду с синтактикой и прагматикой, является частью… …   Современная западная философия. Энциклопедический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»