Формальная логика

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

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