Логика Символическая (математическая, Современная)

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