СИМВОЛИЧЕСКАЯ ЛОГИКА

СИМВОЛИЧЕСКАЯ ЛОГИКА — то же, что математическая логика.

Источник: Большой энциклопедический словарь на Gufo.me

Значения в других словарях

  1. символическая логика — Современная разновидность формальной логики (см. логика 1), заменяющая логические понятия и их отношения, выраженные словами, условными (символическими) обозначениями, наподобие алгебраических знаков. Большой словарь иностранных слов
  2. Символическая логика — То же, что математическая Логика, т. с. «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (Л. Чёрч). Термин «С. Большая советская энциклопедия