Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

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