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