Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ:



ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ - (лат. interpretatio — истолкование, разъяснение и фр. modele — образец, прообраз) — семантические понятия, играющие важную роль как в метаматематике и металогике, так и в науке в целом. Под И. в широком смысле понимают приписывание значений исходным выражениям исчисления, в силу чего получают смысл все правильно построенные выражения данного исчисления (Значение и смысл, Имя, Логическая семантика). Интерпретированное исчисление является, т. обр., формализованным языком, в к-ром формулируются и доказываются различные высказывания, имеющие смысл. Формальное определение И. можно дать, используя понятие М. Пусть дан нек-рый класс высказываний к.-л. исчисления; если заменить все константы, входящие в эти высказывания, на переменные соответствующих типов (Типов теория), то получим класс пропозициональных функций (Предикат). Любое множество предметов, к-рое будет выполнять каждую пропозициональную функцию из этого класса, называют М. рассматриваемого класса высказываний и соответствующего исчисления. С помощью понятия М. исчисления вводится понятие И.; И. исчисления называют выделенную или намеренно построенную М. Посредством понятия И., в свою очередь, определяются логическая и фактическая истинность, аналитические и синтетические суждения. Теория моделей логических систем получила свое развитие в работах Тарского, Карнапа, Дж. Кемени, советского математика А. И. Мальцева и др. В естественных науках термин “М.” используется в ином смысле, основанном обычно на понятиях изоморфизма и гомоморфизма “моделируемых” и “моделирующих” систем (Моделирование).
Похожие на ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ слова / понятия:

ИНТУИТИВИЗМ
ИРРАДИАЦИИ ТЕОРИЯ
ИСКУССТВА ФИЛОСОФИЯ
ИСЛАМСКИЙ СОЦИАЛИЗМ
ИСПАНСКАЯ ФИЛОСОФИЯ
“ИСТИННЫЙ СОЦИАЛИЗМ”
ИСТОРИЧЕСКАЯ ШКОЛА
ИСТОРИЧЕСКИЙ ПУТЬ
ИСТОРИЧЕСКИХ ЦИКЛОВ ТЕОРИЯ
ИСТОРИЧЕСКОГО КРУГОВОРОТА ТЕОРИЯ