Что такое формальная логика: определение термина
Формальная логика — это раздел логики, который исследует структуру рассуждений независимо от их содержания. Она помогает понять, почему одни выводы верны, а другие ошибочны. Например, если все кошки — животные, а Мурка — кошка, то Мурка точно животное. Формальная логика объясняет, почему такое рассуждение работает, анализируя саму схему мышления. Главная задача — научить человека мыслить последовательно и избегать противоречий.
Основные направления формальной логики
Формальная логика развивается в нескольких направлениях, каждое из которых решает свои задачи и помогает лучше понимать процесс мышления.
Концептуальный анализ изучает, как правильно определять понятия и устанавливать связи между ними. Это направление помогает разобраться, что означает каждое слово и как разные понятия соотносятся друг с другом. Например, понятие «треугольник» связано с понятием «фигура», потому что треугольник — это вид геометрической фигуры.
Теория вывода исследует, как из одних утверждений получать новые с помощью рассуждений. Она формулирует правила, по которым из исходных утверждений (посылок) можно сделать правильное заключение. Например, если известно, что «все металлы проводят ток» и «медь — металл», то можно сделать вывод: «медь проводит ток».
