интерпретация формальной теории

Интерпретация формальной теории

Интерпретация формальной теории
Автор
Автор: к.п.н., магистр психологии Румянцев Сергей Александрович
(0)
Интерпретация формальной теории (общая теория систем)

Под интерпретацией будем понимать разделение положений некоторой формальной системы на объекты другой формальной системы или реального мира.
Интерпретация позволяет дать смысл формулам и символам формальной системы.
При применении интерпретации истинным утверждениям об объекте ставятся в соответствие теоремы формальной системы.
Желательно при интерпретации делать так, чтобы ложным утверждениям соответствовали нетеорем, но это не всегда возможно.
Формальная система может выступать в качестве модели, различных систем (множеств объектов реального мира).

Автор к.п.н., магистр психологии Румянцев Сергей Александрович
Автор
Автор: к.п.н., магистр психологии Румянцев Сергей Александрович
 

Рейтинг@Mail.ru