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

Одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 — 322 до н. э.), а затем и все последующие ученые-логики. Однако в современной С. л. был сделан качественно новый шаг в использовании символики. Стали использовать языки, содержащие только специальные символы и не включающие слова обычного разговорного языка.

Источник: Философский словарь на Gufo.me


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

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