Доклад: Общие сведения об умозаключении
III. Некоторые законы мышления впервые сформулированы Аристотелем.
В данном умозаключении I и II - посылки, а III -выводное значение.
Следует видеть, что новизна выводного знания имеет различный характер.
В одних случаях, новизна выводного знания выражается в том, что от предметов, охарактеризованных в одной из посылок только общими выводами, переходим в выводе к предметам, охарактеризованным особенными, или индивидуальными признаками.
В других случаях новизна выводного знания заключается в том, что от предметов, охарактеризованных в посылках индивидуальными, или особенными, признаками, мы переходим в выводе к предметам, охарактеризованным общими признаками.
В третьих умозаключениях новизна выводного знания выражается в том, что известным из посылок предметам или классам предметов мы приписываем в выводе новые признаки.
При наличии содержательной связи между посылками новое истинное знание можно получить при соблюдении двух условий:
1) должны быть истинными исходные суждения - посылки умозаключения;
2) в процессе рассуждения следует соблюдать правила вывода, которые обусловливают формальную правильность умозаключения.
Следует остановиться на классификации умозаключений. Можно выделить их виды в зависимости от различных оснований. В настоящее время придерживаются следующих видов умозаключений.
1) В зависимости от строгости правил вывода различают:
- демонстративные (необходимые) умозаключения;
- недемонстративные (правдоподобные) умозаключения.
Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в них (т.е. в выводах) представляет собой логический закон.
В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятность следования заключения из посылок.
2) В зависимости от направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении различают три вида умозаключений:
- дедуктивные (от общего знания к частному);
- индуктивные (от частного знания к общему);
- умозаключения по аналогии (от частного к частному).
В настоящее время говорят о классификации умозаключений в зависимости от выбора основной структурной единицы анализа (выводы логики суждений и логики понятий).
В одном случае правомерность вывода оценивается посредством анализа отношений между суждениями.
В другом случае для проверки умозаключений необходим анализ на уровне отношений между понятиями.
Отсюда и различаются выводные схемы:
= логики суждений (логики высказываний);
= логики понятий (логики предикатов).
Эти два вида породили в современной логике два новых раздела - логика высказываний и логика предикатов.
Анализ на уровне отношений между понятиями используется в теории силлогизма, при преобразовании субъектно-предикатной структуры суждений, в некоторых видах индукции.
Исследование выводов на уровне логики суждений применяется при описании условных, условно-категорических и многих других видов умозаключений
Выводы: