Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Философский словарь
"ФОРМАЛЬНАЯ ЛОГИКА —"

Главная - Философский словарь - буква Ф - ФОРМАЛЬНАЯ ЛОГИКА —
Философский словарь
Искать!

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



Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: ФОРМАЛЬНАЯ ЛОГИКА —


будет выглядеть так: Что такое ФОРМАЛЬНАЯ ЛОГИКА —

Реклама:
Толковые словари и Энциклопедии. Словарь - ФОРМАЛЬНАЯ ЛОГИКА — - Философский словарь - Толковые Словари и Энциклопедии