символическая логика

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

Источник: Большой словарь иностранных слов русского языка на Gufo.me


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

  1. Символическая логика — То же, что математическая Логика, т. с. «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (Л. Чёрч). Термин «С. Большая советская энциклопедия
  2. СИМВОЛИЧЕСКАЯ ЛОГИКА — СИМВОЛИЧЕСКАЯ ЛОГИКА — то же, что математическая логика. Большой энциклопедический словарь