В современной математике символическая логика используется, например, для решения проблем, для которых были непригодны средства традиционной логики. 1 С помощью метода формализации доказательств символическая логика помогла математике решить проблемы доказуемости и непротиворечивости в аксиоматических теориях. 3

Некоторые области применения символической логики в математике:

• Теория рекурсии. 1 Исследования в этой области привели к теориям вычислимости и созданию компьютерных программ автоматического поиска доказательств. 1
• Теория моделей. 1 Она изучает фундаментальные связи между синтаксическими свойствами множеств предложений формального языка и семантическими свойствами их моделей. 1

В информатике символическая логика, в частности алгебра логики, является основой для работы цифровых компьютеров. 5 На ней основан принцип функционирования большинства компьютеров. 5

Некоторые области применения алгебры логики в информатике:

• упрощение сложных логических формул и доказательств тождеств; 5
• решение логических задач; 5
• проектирование контактных схем; 5
• доказательства теорем; 5
• составление запросов в базах данных. 5

С точки зрения информатики, символы, рассматриваемые по правилам символической логики, являются элементами вычислительного процесса обработки данных. 4