ФОРМАЛЬНАЯ ЛОГИКА |
Большая советская энциклопедия (БЭС) |
наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. л. – базисная наука; её идеи и методы используются как в повседневной практике, например в качестве средства предотвращения логических ошибок, так и в особенности в теории для логического анализа научного знания. См. Логика.
|
Философский словарь |
наука. изучающая формы мысли — понятия, суждения, умозаключения, доказательства — со стороны их логической структуры, т. е. отвлекаясь от конкретного содержания мыслей и вычленяя лишь общий способ связи частей этого содержания. Осн. задача Ф. л. — сформулировать законы и принципы, соблюдение к-рых является необходимым условием достижения истинных заключений в процессе получения выводного знания. Начало Ф. л. было положено трудами Аристотеля, разработавшего силлогистику. Дальнейший вклад в развитие Ф. л. внесли ранние стойки, в средние века — схоласты (Петр Испанский, Дум Скот, Очкам, Луллий и др.); в новое время — прежде всего Лейбниц. Отход от многовековой традиции изучения проблем дедуктивной логики связан с исследованием индукции и попыткой сформулировать правила индуктивных умозаключений (Ф. Бэкон, позднее Милль и др.). Новый этап в развитии Ф. л. наступил с конца 19 — начала 20 в., когда стала интенсивно развиваться математическая (символическая) логика. Последняя, разрабатывая логические теории математических рассуждений и доказательств, обогатила Ф. л. новыми методами и средствами логического исследования. |
Философский энциклопедический словарь 2 |
см. Логика. |
|
|