Это теоретическое направление в современной логике, в рамках которого изучается строение логических теорий, присущие им свойства и возможности, а также их отношения с описываемой их средствами реальностью.