Новая философская энциклопедия. Том второй Е—М

МОДЕЛЕЙ ТЕОРИЯ- раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости формулы на интер-

594

МОДЕЛЕЙ ТЕОРИЯ претации. В настоящий момент теория моделей делится на следующие разделы: Классическая теория моделей (КМТ), изучающая теоретико- множественные модели классических теорий. Алгебраическая теория моделей (ATM), изучающая прежде всего модели неклассических логик, базирующиеся на обобщенной семантике истинностных значений. Теория моделей Крипке (СВМ), изучающая модели неклассических логик, базирующиеся на возможных миров семантике. Интерпретации реализуемости (ИР), моделирующие логики и теории как исчисления задач.