Логика Символическая (математическая, Современная)
Разновидность формальной логики, появившаяся в XIX в. и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика — это раздел высшей математики.
Философский словарь