Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Философский словарь
"ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ "

Главная - Философский словарь - буква И - ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ
Философский словарь
Искать!

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



Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ


будет выглядеть так: Что такое ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь
2010-2013. Толковый словарь DicDic. Словарь - ИНТЕРПРЕТАЦИЯ И МОДЕЛЬ - Философский словарь - Толковый словарь DICDIC