Философский словарь - символическая логика

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

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