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

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.