Логические операции с суждениями
(преобразование суждений, отрицание суждений)
Операции превращения и обращения связаны с анализом внутренней структуры суждения и связи между высказываниями.
Непосредственные умозаключения из одной посылки - это категорическое суждение AEJO. Непосредственными умозаключениями являются превращенные и обращенные категорические суждения.
Превращения категорического суждения - это изменение его качества одновременно с заменой предиката на противоречащий ему термин.
Это:
А все S суть Р J некоторые S суть Р
ни одно S не суть не Р некоторые S не суть не Р
Е ни одно S не суть Р О некоторые S не суть Р
все S суть не Р некоторые S суть не Р
Некоторые птицы не водоплавающие
Некоторые птицы живут не в воде
Обращение категорического суждения заключается в перемене местами субъекта и предиката.
А все S суть Р обращается с ограничением
некоторые Р суть S
Все птицы летают
Некоторые летающие – птицы
J некоторые S суть Р Е ни один S не суть Р
некоторые Р суть S ни один Р не суть S
О. Частноотрицательные суждения не обращаются
Некоторые S не суть Рнекоторые студенты не изучают логику
Некоторые Р не суть S
Тема 6. Умозаключение
Общее представление об умозаключении
Формами мышления являются понятия, суждения и умозаключения. Опосредованно, с помощью многообразных видов умозаключений, мы можем получать новые знания. Построить умозаключение можно при наличии одного или нескольких истинных суждений (называемых посылками), поставленных во взаимную связь.
Структура всякого умозаключения подразумевает посылки, заключение и логическую связь между посылками и заключением. Логический переход от ссылок к заключению называется выводом.
Умозаключение - форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.
Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий.
Виды умозаключений
| по количеству посылок | по характеру посылок и связок | по направлению мысли |
| - непосредственные - дедуктивные - индуктивные - традуктивные (по аналогии) | - категорические - разделительные - условные - разделительно-категорические - условно-категорические - условно-разделительные | - дедуктивные - индуктивные - традуктивные |
При получении истинного вывода необходимо строго руководствоваться нормативными требованиями мышления с учетом характера фигур, правил терминов и посылок умозаключения:
Правила терминов:
1. Из двух отрицательных посылок нельзя сделать вывода.
2. Из двух частных посылок нельзя сделать вывода.
3. Если одна из посылок отрицательная, то и заключение отрицательное.
4. Если одна из посылок частная, то заключение частное.
Некоторые истины устанавливаются прямо, без всяких рассуждений, путем простого усмотрения того, что показывает наблюдение, или того, что представляется очевидным для мысли. Таковы суждения: "Сейчас небо пасмурно", "Эта книга стоит на полке", "Целое больше своей части" и т.д. Истинность подобных суждений не приходится доказывать, так как она очевидна. Но очевидные утверждения составляют лишь небольшую часть всех истин. В огромном большинстве случаев истина не есть положение, прямо видное или само собой разумеющееся. Обычно для установления истины приходится произвести в каждом случае особое исследование: отчетливо поставить вопрос, принять во внимание другие, уже ранее установленные истины, собрать все необходимые для решения вопроса факты и наблюдения, поставить опыты, обдумать их результат, проверить на практике справедливость возникшей догадки и т.д.
Логическое мышление осуществляется и тогда, когда высказываются очевидные истины, и тогда, когда истины не очевидны, а добываются более сложным путем. В последнем случае логическое мышление принимает форму рассуждения. Целью умозаключения является выведение новой истины из истин, нам уже ранее известных. Истинное умозаключение ведет нашу мысль дальше того, что мы знаем из посылок, а присоединяет к ранее установленным истинам истину новую.
Умозаключение есть извлечение новой мысли из истин, уже известных. При этом новая истина выводится из посылок таким образом, что ее присоединение к посылкам сознается нами как совершенно необходимое и обязательное для нашей мысли.