Философская энциклопедия - символическая логика

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

— одно из названий современного этапа в развитии формальной логики.

Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако в современной С.л. был сделан качественно новый шаг: стали использовать языки, содержащие только специальные символы и не включающие слова обычного разговорного языка.

Выражения «современная логика», «математическая логика» и «С.л.» совпадают по своему значению, хотя два последних употребляются реже, чем первое.

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.