Словарь по логике

Символическая логика: Логика, использующая условные значки для записи анализируемых выражений и строящая логический вывод как процесс манипулирования такими знаковыми выражениями по некоторым заранее заданным правилам, т.е. представляющая логические теории в виде некоторых "математических" исчислений. Иногда в этом смысле употребляется выражение "математическая логика" (см.). В настоящее время чаще употребляется как родовой термин, объединяющий такие дисциплинарные разновидности символической логики как математическая (во втором значении), философская и компьютерная логика.
Термин “символическая логика” введен Дж. Венном (см.).