Символи́ческая ло́гика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (А. Чёрч). Термин «символическая логика» акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков, служащих «математическим методом» изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в каких-либо специальных значениях), а некоторые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким «традиционным» употреблением, пониманием и функциями таких же символов в других контекстах.
Это система применения принципов математики к логическим рассуждениям. Замысел символической логики заключается в том, чтобы упростить мышление за счёт использования математических символов и действий вместо словесных формулировок или аргументов, которые приняты в обычной логике и могут неточно выражать идею в силу самой природы языка.