Формальная логика (Подопригора, 2013)

ФОРМАЛЬНАЯ ЛОГИКА — наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы (формы логической) и в отвлечении от их конкретного содержания. Формальная логика является базисной наукой — ее идеи и методы используются как в повседневной практике, так и в особенности в теории для логического анализа научного знания и для дедуктивного построения на базе логических исчислений любых «нелогических» научных дисциплин.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 488.