Изучает формальные системы логического исчисления, используя символы для представления логических утверждений и операций. Применяется в математике, компьютерных науках, лингвистике и философии.