Отличие формальной и символической логики заключается в их предмете исследования:

1. Формальная логика — наука о формах мышления, о формальных логических законах и других связях и отношениях между мыслями по их логическим формам. 2 Она изучает мышление, отвлекаясь от его возникновения, изменения и развития. 2
2. Символическая логика исследует закономерности, в которых логическая форма высказываний рассматривается с использованием символов в качестве инструментов. 9 Вместо явных высказываний изучаются логические формулы, которые являются символическим представлением высказываний, в частности, составных. 9

Таким образом, формальная логика фокусируется на изучении форм мышления, а символическая — на изучении формальных свойств символов и их комбинаций. 19