Символическая логика — область логики, которая отодвигает на второй план математику, и изучает чисто формальные свойства символов, представленных в виде строк.[1] С точки зрения философской логики, символы рассматриваются как обозначения слов. А с точки зрения информатики, символы, рассматриваемые по правилам символической логики, являются элементами вычислительного процесса обработки данных.
Состоит из двух разделов, логики высказываний и логики первого порядка. К другим формам относятся темпоральная, модальная и нечёткая логика.
Символическая логика исследует закономерности, в которых логическая форма высказываний рассматривается с использованием символов в качестве инструментов. Вместо явных высказываний изучаются логические формулы, которые являются символическим представлением высказываний, в частности, составных. Правила рассуждений и логики изучаются с помощью формальных систем, которые образуют хорошую основу для символьных преобразований, выполняемых в этой области.
Дисциплина символической логики была придумана задолго до своего появления Готфридом Вильгельмом фон Лейбницем, первые попытки которого не принесли значительных результатов.
Если бы возникли разногласия, то в споре двух философов было бы не больше необходимости, чем в споре двух бухгалтеров. Достаточно взять в руки карандаши, сесть за один стол и сказать друг другу: разберёмся в этом вместе?
Вопрос о создании символической логики как универсального научного языка рассматривал Лейбниц в 1666 году в работе «Искусство комбинаторики» (De arte combinatoria). Он думал о записи высказываний на специальном языке, чтобы затем по логическим законам вычислять истинность других. В середине XIX века появились первые работы по алгебраизации аристотелевой логики, сформировавшие первооснову исчисления высказываний (Буль, де Морган, Шрёдер).