Умозаключение – это форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение.
Структура всякого умозаключения подразумевает посылки (исходные суждения), заключения (выводы из этих посылок) и логическую связь между посылками и заключением. Из этого можно сделать следующий вывод, что в посылках и умозаключении речь должна идти об одной и той же предметной области. Логический переход от посылок к заключению называется выводом.
Умозаключение:
- есть извлечение новой истины из ранее признанных и известных истин.
-не просто присоединяет новую истину к известным, а выводит новую истину из посылок
- раскрывает необходимость связи между посылками и выводом
Связь между понятиями, раскрываемая умозаключением, необходима. Если посылки истинны, а в ходе умозаключения не сделано никакой логической ошибки, то вывод всегда будет истинным.
Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одних посылок.
Превращение – вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки. Схема превращения: S есть Р; S не есть не-Р.
Противопоставление предикату – это непосредственное умозаключение, при котором предикатом является субъект, субъектом – понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Его схема: S есть Р; не-Р не есть S.
Умозаключение по «логическому квадрату» – это определение истинности или ложности одного суждения из истинности или ложности другого.