Только в рамках гносиологии
Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а путем применения законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику[неизвестный термин], а её следующей ступенью — математическую логику, использующей формализацию, подобную математической, символический аппарат и логические исчисления.