Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил.
Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры[1]. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами[2]. Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а путем применения законов и правил мышления. В качестве начальной ступени формальной логики принято рассматривать традиционную логику[3][4], а в качестве её развития — математическую логику, использующую степень формализации, подобную математической, символический аппарат и логические исчисления[5].
Автором первой системы формальной логики считается Аристотель, который ввёл понятие силлогизма и переменных, которыми он обозначал термины силлогизма[6].
По И. Канту, формальная логика (в «Критике чистого разума» она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой:
Границы же логики совершенно точно определяются тем, что она есть наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления (безразлично, априорное оно или эмпирическое, безразлично, каково его происхождение и предмет …)[7].
Сам Кант противопоставлял формальной логике (к которой относил прежде всего силлогистику, основывающуюся на «Аналитиках» Аристотеля) содержательную, трансцендентальную логику, разработка которой и составляет основной предмет «Критики чистого разума»: