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