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