Значение слова ЛОГИЧЕСКАЯ в Большом российском энциклопедическом словаре
- ЛОГИЧЕСКАЯ
-
ЛОЃИЧЕСКАЯ СЕМАНТИКА, теория, изучающая вопросы интерпретации логич. исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практич. применимости и др. В более спец. смысле - дедуктивная теория, описывающая свойства понятия истинности в формализов. языках логики и математики.
Большой российский энциклопедический словарь. 2012