А) Выводы посредством преобразования суждений 4 страница
Суждение, в котором утверждается, что наличие одной ситуации обуславливает наличие другой, - называется условным («если…, то). Условие называется необходимым для данного события, если при его отсутствии это событие не происходит. («Наличие атмосферы является условием для возникновения на Земле существующих видов высокообразованных животных»).
Условие называется достаточным, если всякий раз, когда имеется это условие, событие происходит. («Выпадение дождя – достаточное условие для того, чтобы крыши домов были мокрыми»).
Условия могут быть: «достаточными, но не необходимыми; «необходимыми, но не достаточными» и т. д.
В условном суждении выделяют основание («антецедент») и следствие («консеквент»). Основание – та часть условного суждения, которая располагается между «если» и «то»; следствие – после «то».
Условным называется суждение, в котором ситуация, описываемая основанием, является достаточным условием для ситуации, описываемой следствием.
Союз «если…то» обозначается: ® (знаком импликации).
В построениях современной логики находит распространение «союз», если…то». Он обозначается: «É» - знаком материальной импликации, а суждение с этим союзом называется импликативным. Знак É - используется вместо слова «следовательно» в рассуждениях. Логический союз É передает общий смысл этих союзов, заключенных в определенной зависимости истинности сложного суждения от истинности составляющих.
Суждения эквивалентности и материальной эквивалентности
Суждения эквивалентности - это суждение, в котором утверждается взаимная обусловленность 2-х ситуаций. Союзы – «если и только если…, то…» («тогда и только тогда…, когда…»).
Основание в этих суждениях выражает достаточное и необходимое условие для ситуации, описываемой следствием. Следствие – также является достаточным и необходимым условием для события, описываемого основанием.
А | В | А º В |
И | И | И |
И | Л | Л |
Л | И | Л |
Л | Л | И |
Суждение с союзом «если и только если…, то…» - суждение материальной эквивалентности.
Суждение с внешним отрицанием
– суждение, в котором утверждается отсутствие некоторой ситуации.
Словосочетание: «неверно, что», обозначается «ù» - знаком отрицания.
А | ù А |
И | Л |
Л | И |
Особенно важно различать союзы Ù, T, Ú, Ú и т.д. в документах, имеющих юридическое значение.[13]
5. УМОЗАКЛЮЧЕНИЕ
Умозаключение – это процесс получения знания или правдоподобного утверждения, выраженного в суждении, из одного, двух, или более суждений, принимаемых за истинные или правдоподобные.
Исходные суждения называются посылками умозаключения, а получаемое суждение – заключением.
В логике исследуются умозаключения, осуществляемые на основе или с использованием особенностей логических форм посылок и заключений. Эти умозаключения делятся на дедуктивные и индуктивные.
Дедуктивное умозаключение
В дедуктивном умозаключении (от лат. «deductio» - выведение) связи между посылками и заключением представляют собой формально-логические законы, в силу чего при истинных посылках заключение всегда оказывается истинным.
Выделение способов рассуждения, соответствующих правильным дедуктивным умозаключениям, - одна из центральных проблем логики с момента ее возникновения.
Различают два вида дедуктивных умозаключений в зависимости от того, учитывается ли в них при осуществлении вывода внутренняя структура простых суждений, входящих в посылки и заключения, или нет.
Умозаключения, в которых при осуществлении вывода внутренняя структура простых суждений не учитывается, называются выводами логики высказываний.
Типы дедуктивных умозаключений (выводов):
1.выводы, зависящие от субъектно-предикатной структуры суждений;
2.выводы, основанные на логических связях между суждениями.
Формы дедуктивных умозаключений:
- выводы посредством преобразования суждений;
- категорический силлогизм.
А) Выводы посредством преобразования суждений
Непосредственные – умозаключения из одной посылки, являющейся категорическим суждением (общеутвердительным, общеотрицательным, частноутвердительным или частноотрицательным атрибутивным суждением). Непосредственными умозаключениями являются превращение и обращение категорических суждений[14].
Превращение категорического суждения – это изменение его качества одновременно с заменой предиката на противоречащий ему термин.
Превращение осуществляется в соответствии со следующими схемами:
А: все S суть P А ® E
ни одно S не суть не - P
Е: ни одно S не суть P E ® А
все S суть не - P
I: некоторые S суть P I®О
некоторые S суть не - P
O : Некоторые S не суть P О I
некоторые S суть не – P
Превращению подлежат все четыре вида суждения А, Е, I, О.
1.Суждение А ® E
2. Суждение Е ®А
3. I®О
4.О ® I.
Обращением называется такое непосредственное умозаключение, в котором в заключении (в новом суждении) субъект является предикат, а предикатом – субъект исходного суждения, то есть происходит перемена мест субъекта и предиката, при сохранении качества суждения.
Замечание: не обращаются суждения, предикатами которых являются мнимые имена. Если это ограничение игнорировать, то из истинного суждения можно получить ложное.
К непосредственным умозаключениям относятся выводы, заключающиеся в превращении «категорического суждения и обращении результата превращения, а также в обобщении категорического суждения и превращении результата обращения (противопоставленного субъекту).
Противопоставление предикату – это умозаключение, в котором, во-первых, субъектом заключения является термин, противоречащий предикату посылки, во-вторых, предикатом – субъект посылки, а, в-третьих, заключение и посылка различны по качеству.
Общие схемы противопоставления предикату:
S суть P ; … S не суть P___
Не – P не суть S … не - P суть S
Общие схемы противопоставления субъекту:
… S суть P ; … S не суть P___
… P не суть не – S … Р суть не – S
Замечание. Нельзя делать выводы, называемые противопоставлением предикату и противопоставлением субъекту, из суждений с предикатами, являющимися, соответственно универсальными и мнимыми именами.
Метод, который применен для исследования непосредственных умозаключений, заключается в выполнении следующих действий:
первое – выявить все возможные отношения между терминами посылки, при котором она является истинной;
второе – проверить, истинно ли заключение при каждом из выявленных отношений. Если да, то умозаключение правильное.
Если заключение ложно хотя бы при одном из этих отношений – умозаключение неправильное.
Упражнения
А: Все проступки являются преднамеренными (Ал)_______
Ни один проступок не является непреднамеренным (Ел)
Е: Ни один юрист не является военнослужащим (Ел)
Все юристы являются не военнослужащими (Ал)
I: Некоторые республики являются парламентскими (I н)
Некоторые республики не являются парламентскими
О: Некоторые свидетельские показания не являются достоверными (Он)
Некоторые свидетельские показания недостоверны (Iн)
Обращение
А: Все экономические законы – объективны (Ан).______
Некоторые объективные законы – экономические (I н) (не является правильным)
I: Некоторые ученые – авторы научной фантастики
Некоторые авторы научной фантастики – ученые
Е: Ни один виновный не должен быть осужден___
Ни один осужденный не должен быть невиновен
Не обращаются: О, т.к.
пример,
О: Некоторые студенты юридического факультета не сдали зачет по логике
Некоторые не сдавшие зачет по логике - студенты юридического факультета (не является правильным).
III.
О: Некоторые S не суть P_
I: Некоторые не – Р суть S
О: Некоторые правонарушения не являются преступными деяниями
I: Некоторые не преступные деяния – являются правонарушениями
Некоторые врачи – невропатологи
I – не образуются
Всякий закон является нормативно-правовым актом____
Ни один не нормативно-правовой акт не является законом
Лица, занимающиеся контрабандой, подлежат привлечению к уголовной ответственности
Ни одно лицо, не подлежит привлечению к уголовной ответственности, не занимающееся контрабандой
Противопоставление предикату.
1) Ни один невиновный не должен быть наказан___
Некоторые не наказанные являются невиновными.
2) Все квадраты – равносторонние прямоугольники_______________
Ни один не равносторонний прямоугольник не является квадратом
3) Все лжецы являются безнравственными людьми
превр. Ни один лжец не является нравственным человеком
обращ. Ни один нравственный человек не является лжецом
4) Некоторые свидетели не являются совершеннолетними
превр. Некоторые свидетели являются несовершеннолетними
обращ. Некоторые несовершеннолетние являются свидетелями
5) Некоторые люди не гневаются ___
Некоторые не гневающиеся – люди.
Противопоставление предикату.
А: Всякое государство S является политической организацией Р
Е: Ни одна неполитическая организация не является государством
(не – Р не есть S)
Е: Ни один человек не являются страусом
I : Некоторые не страусы являются людьми