Преподаватель: Крикунов Александр Евгеньевич

ЛОГИКА

Вопросы к экзамену

Юридический факультет (ОЗО)

Преподаватель: Крикунов Александр Евгеньевич

Общее понятие о формальной логике.

2. Общая характеристика неклассической логики.

Закон противоречия.

Закон исключенного третьего.

Закон тождества.

Закон достаточного основания.

7. Понятие как форма мышления.

8. Виды понятий.

9. Логические отношения между понятиями.

10. Логические операции с понятиями.

11. Общая характеристика суждения.

12. Логическая структура суждения.

13. Виды простых суждений.

14. Распределеность терминов в суждениях.

15. Сложные суждения и их виды.

16. Отношения между суждениями.

17. Непосредственные дедуктивные умозаключения.

18. Опосредованные дедуктивные умозаключения. Простой категорический силлогизм.

19. Опосредованные дедуктивные умозаключения. Сложный категорический силлогизм.

20. Условные и разделительные умозаключения.

21. Полная и неполная индукция.

22. Умозаключения по аналогии.

23. Сущность и логическая структура гипотезы.

24. Виды гипотез

25. Общая характеристика логического доказательства.

26. Виды доказательства.

 

Тема 1. Логика как философская дисциплина

Общее понятие о формальной логике.

Общая характеристика неклассической логики.

Закон противоречия.

Закон тождества.

Закон тождества.

Закон достаточного основания.

Общее понятие о формальной логике.

Формальная логика – наука о законах и операциях правильного мышления.

Основной задачей логики является отделение правильных способов рассуждения (выводов, умозаключений) от неправильных.

Рассуждение представляет собой определенную, внутренне обусловленную связь утверждений.

Согласившись с одними утверждениями, мы вынуждены принять и те, что из них следуют, независимо от того, нравятся они нам или нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы тем самым автоматически лишаем себя возможности утверждать другое, несовместимое с уже допущенным.

Если мы убеждены, что все жидкости упруги, мы должны признать также, что вещества, не являющиеся упругими, не относятся к жидкостям. Убедив себя, что каждое водоплавающее существо обязательно дышит жабрами, мы исключаем из разряда водоплавающих дышащих лёгкими – китов и дельфинов.

Классический пример правильного рассуждения, использовавшийся ещё в Древней Греции:

Все люди смертны; Сократ – человек; следовательно, Сократ смертен.

Первые два высказывания – это посылки вывода, третье – его заключение.

Принципиально важным является то, что, о чем бы мы ни рассуждали по такой схеме – рассуждение останется правильным.

В логике важна именно форма рассуждения, т.е. способ связи входящих в это рассуждение содержательных частей.

Основной принцип формальной логики предполагает – и это следует специально подчеркнуть, что каждое наше рассуждение, каждая мысль, выраженная в языке, имеет не только определённое содержание, но и определённую форму. Предполагается, что содержание и форма отличаются друг от друга и могут быть разделены.

Отличительная особенность правильного вывода заключается в том, что от истинных посылок он всегда ведёт к истинному заключению.

Другие проблемы логики: смысл и значение выражений языка, различные отношения между понятиями, определение понятий, вероятностные и статистические рассуждения, софизмы и парадоксы и др.

Принято говорить о классической логике (высказывания могут быть истинными или ложными) и неклассической.

 

Пост подходил к построению многозначных логик формально. Пусть 1 означает истину, а 0 – ложь. Естественно допустить тогда, что числа между единицей и нулем обозначают какие-то уменьшающиеся к нулю степени истины.

Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что, собственно, означают высказывания, не относящиеся ни к истинным, ни к ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи. Приходится поэтому не только придавать смысл промежуточным степеням, но и переистолковывать сами понятия истины и лжи.

Было много попыток содержательно обосновать многозначные логические системы. Однако до сих пор остается спорным, являются ли такие системы просто «интеллектуальным упражнением» или они все же говорят что-то о принципах нашего мышления.

Многозначная логика никоим образом не отрицает и не дискредитирует двузначную. Напротив, первая позволяет более ясно понять идеи, лежащие в основе второй, и является в определенном смысле ее обобщением.

Закон противоречия

Из бесконечного множества логических законов самым популярным является закон противоречия. Он был открыт одним из первых и сразу же объявлен наиболее важным принципом не только человеческого мышления, но и самого бытия.

Закон постоянно оспаривается.

Если обозначить буквой А произвольное высказывание, то выражение не-А, будет отрицанием этого высказывания.

Идея, выражаемая законом противоречия: высказывание и его отрицание не могут быть вместе истинными.

Закон противоречия говорит о противоречащих высказываниях – отсюда его название. Но он отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости – отсюда другое распространенное имя – закон непротиворечия.

Иногда закон противоречия формулируют следующим образом: из двух противоречащих друг другу высказываний одно является ложным.

Эта версия подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию ложное высказывание. Тем самым он стирает границу между истиной и ложью, что, конечно же, недопустимо.

 

Закон исключенного третьего

Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным.

Закон исключенного третьего: А или не-А, т.е. истинно высказывание А или истинно его отрицание, высказывание не-А.

Конкретными приложениями этого закона являются, к примеру, высказывания: «Аристотель умер в 322 г. до н.э. или он не умер в этом году», «Личинки мух имеют голову или не имеют ее».

Истинность отрицания равнозначна ложности утверждения. В силу этого закон исключенного третьего можно передать и так: каждое высказывание является истинным или ложным.

Само название закона выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, иди так, как говорит его отрицание, и никакой третьей возможности нет.

 

Закон тождества

Закон тождества: если утверждение истинно, то оно истинно, «если А, то А». Например, если Земля вращается, то она вращается и т.п. Чистое утверждение тождества кажется настолько бессодержательным, что редко кем употребляется.

Из принципа тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать на нетождественные.

 

Тема 2. Понятие.

План

1. Понятие как форма мышления.

2. Виды понятий.

3. Логические отношения между понятиями.

4. Логические операции с понятиями.

Понятие как форма мышления

Любые свойства, черты, состояния, отношения предме­та, которые характеризуют предмет, выделяют его, помогают распознавать среди других пред­метов, составляют его признаки.

Признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются. Признаками могут быть не только свойства, принадлежащие предмету; отсутствующее свойство (черта, состояние, отно­шение) также рассматривается как его признак.

Признаки могут быть существенными (выражают сущность) и несущественными (могут принадлежать, могут – нет).

Виды понятий

В зависимости от специфики объема и содержания все понятия делятся на определенные виды. Дадим характеристику видов понятий по объему.

Единичным называется понятие, в котором мыслится один предмет. На­пример, «Орга­низация Объединенных Наций».

Общим называется понятие, в котором мыслится множество предметов. Общие понятия могут быть регистрирующими и нерегистрирующими. Реги­стрирующими называются общие понятия, в которых множество мыслимых в них предметов поддается учету, регистрации. Например, «народный депу­тат России», «ветеран Великой Отечественной войны, проживающий в горо­де Москве» и другие.

Нерегистрирующим называется общее понятие, относящееся к неопре­деленному числу предметов. Например, «человек», «прокурор», «преступле­ние» и другие. Нерегистрирующие понятия имеют бесконечный объем.

Нулевыми (пустыми) называются понятия, объемы которых представля­ют собой классы реально не существующих предметов и существование ко­торых в принципе невозможно. Например, «преступник, не совершавший преступления», «гражданский военный юрист», «равносторонний прямо­угольный треугольник», «домовой» и другие. От нулевых следует отличать понятия, отражающие предметы, которые реально не существует в настоя­щее время, но существовали в прошлом или существование которых воз­можно в будущем. Например, «Демокрит», «термоядерная электростанция».

Рассмотрим виды понятий по содержанию.

Конкретные - это понятия, в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее. Например, «держа­ва», «реформа», «международный договор», «норма права», «юрист» и другие.

Абстрактные - это понятия, в которых мыслится не предмет, а какой-либо из признаков (свойство, отношение) предмета, взятый отдельно от самого предмета. Абстрактные поня­тия, выраженные на русском языке, не имеют множественного числа.

Положительные - это понятия, содержание которых составляют свойст­ва, присущие предмету.

Отрицательными называются понятия, в содержании которых указывает­ся на отсутствие у предмета определенных свойств. Например, «не живущий по средствам», «не говорящий по-английски», «несправедливость» и другие. В русском языке отрицательные понятия выражаются обычно словами с отри­цательными приставками «не» и «без» («бес») или «а».

Если частица «не» или «без» («бес») слилась со словом и слово без нее не употребляется, то понятия, выраженные такими словами, являются положи­тельными.

Собирательными называются понятия, в которых группа однородных предметов мыслится как единое целое. Например, «лес», «созвездие», «кол­лектив» и другие. Содержание собирательного понятия нельзя отнести к каждому отдельному элементу, входящему в объем этого понятия. Собирательные понятия бывают общими («роща», «хор») и единичными («созвездие Большая Медведица», «военный блок НАТО»).

Несобирательные - это такие понятия, содержание которых можно от­нести к каждому предмету данного класса, который охватывается понятием. Например, «дерево», «звезда», «человек» и другие.

 

Тема 3. Суждение

План

1. Общая характеристика суждения.

2. Логическая структура суждения.

3. Виды простых суждений.

4. Распределенность терминов в суждениях.

5. Сложные суждения и их виды.

6. Отношения между суждениями.

S есть (не есть) Р

Для того, чтобы установить субъект и предикат того или иного суждения (что важно для точного выражения своей мысли или для точного понима­ния чужой), необходимо ясно отдавать себе отчет, что является предметом мысли, а что высказывается об этом предмете.

 

Виды простых суждений

Суждения делятся на простые и сложные.

Простым называется суждение, выражающее связь двух понятий или вы­раженное одним понятием, когда второе подразумевается, лишь мыслится.

Сложным называется суждение, состоящее из нескольких простых суждений.

Простые суждения классифицируются по следующим основаниям.

1. По объему субъекта (по количеству):

Единичные - суждения, включающие утверждение или отрицание об од­ном предмете субъекта рассуждения. Их формула:

Это S есть (не есть) Р

Так, выражение «Московский гуманитарно-экономический институт го­товит квалифицированных юрисконсультов» - единичное суждение, так как объем субъекта - «Московский гуманитарно-экономический институт» -включает конкретное высшее учебное заведение.

Частные - суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть определенной и неопределенной. В зависимости от данного обстоятельства частные сужения подразделяются на определенные и неопределенные.

Определенное частное суждение содержит знание и о той, и о другой ча­сти субъекта суждения. Оно имеет такую логическую схему:

Только некоторые S есть (не есть) Р

Например, «Только некоторые правовые концепции базируются на фи­лософских принципах».

Логическая схема неопределенного суждения такова:

Некоторые S есть (не есть) Р

Квантор «некоторые» придает ему неопределенность. Например: «Неко­торые проблемы юриспруденции носят философский характер».

Общие - суждения, в которых что-либо утверждается или отрицается о каж­дом предмете данного класса. Логические схемы таких суждений имеют вид:

Все S есть Р или Ни одно S не есть Р

Например, «Каждая страна имеет свой гимн» является общим суждени­ем, так как объем субъекта включает весь класс отображаемых предметов.

2. По качеству связки (по качеству) суждение может быть утвердитель­ным или отрицательным.

Утвердительное суждение выражает принадлежность предмету некото­рого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».

Отрицательное суждение выражает отсутствие у предмета некоторого признака. Например, «Некоторые противоправные действия не являются преступлениями».

При этом следует различать отрицательное суждение, (например, «За­хватническая война не имеет законного основания») и негативную форму выражения утвердительного суждения (например, «Захватническая война незаконна»).

3. По содержанию предиката суждение делится на суждение свойства (атрибутивное), суждение отношения (релятивное) и суждение существова­ния (экзистенциальное).

Суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность предмету мысли того или иного свойства, состоя­ния. Например, «Прокурор - это человек, имеющий специальное юридиче­ское образование».

Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. На­пример, «Благополучие государства зависит от законов» (Аристотель).

Суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли. К таким суж­дениям относятся, например, «Нет преступления без указания о том в зако­не» или «Не существует абсолютной повторяемости явлений».

В классической логике различают также категорическое суждение, в ко­тором утверждение или отрицание выражается без формулировки каких-ли­бо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.

Таковы основные виды простых суждений.

Любое суждение имеет коли­чественную и качественную определенность. Поэтому в логике применяется объединенная классификация суждений по количеству и по качеству. В результате получаем четыре вида суждений: общеутвердительные, общеот­рицательные, частноутвердительные и частноотрицательные. Рассмотрим их подробно.

Общеутвердительное суждение - общее по объему субъекта и утвердитель­ное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы».

Общеотрицательное суждение - общее по объему субъекта и отрицатель­ное по качеству связки. Его логическая структура: «Ни одно S не есть Р». Символом общеотрицательных суждений служит буква «Е». Например, «Ни один подложный документ не является доказательством».

Частноутвердительное суждение - частное по объему субъекта и утвер­дительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты — юристы» или «Некоторые писатели - фронтовики».

Частноотрицательное суждение — частное по объему субъекта и отрица­тельное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных яв­ляются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами».

Единичные суждения в объединенной классификации приравниваются к общим суждениям, например, «Московская прокуратура проводит расследо­вание», так как имеется в виду весь объем субъекта.

 

Сложные суждения и их виды

Сложные суждения образуются из нескольких простых суждений.

Так же, как и простые, сложные суждения могут быть истинными или ложными. Но в отличие от простых суждений, истинность или ложность ко­торых определяется их соответствием или несоответствием действительнос­ти, истинность или ложность сложного суждения зависит прежде всегоотистинности или ложности составляющих его суждений.

Основными структурообразующими элементами здесь являются уже не понятия, а простые суждения, составляющие сложное суждение. При этом связь между ними осуществляется не с помощью связок «есть», «не есть» и т. п., а посредством логических союзов «и», «или», «либо», «если [...], то» и др. Юридическая практика особенно богата такого рода суждениями.

В соответствии с функциями логических связок сложные суждения де­лятся на следующие виды.

Соединительные суждения (конъюнктивные) - это такие суждения, ко­торые включают в качестве составных частей другие суждения - конъюнк­ты, объединяемые связкой «и». Например, «Осуществление прав и свобод человека и гражданина не должно нарушать права и свободы других лиц».

Разделительные (дизъюнктивные) суждения - включают в качестве со­ставных частей суждения - дизъюнкты, объединяемые связкой «или». Напри­мер, «Истец вправе увеличить или уменьшить размер исковых требований».

Различают слабую дизъюнкцию, когда союз «или» имеет соединительно-разделительное значение, то есть входящие в сложное суждение составляю­щие не исключают друг друга. Например, «Договор купли-продажи может быть заключен в устной или письменной форме». Сильная дизъюнкция возникает, как правило, тогда, когда логические союзы «или», «либо» употребляют­ся в исключающе-разделяющем смысле, то есть ее составляющие исключают друг друга. Например, «Клевета, соединенная с обвинением лица в соверше­нии тяжкого или особо тяжкого преступления, наказывается ограничением свободы на срок до трех лет, либо арестом на срок от четырех до шести меся­цев, либо лишением свободы на срок до трех лет».

Условные (импликативные) суждения образованы из двух простых суж­дений посредствам логического союза «если [...], то». Например, «Если по истечении срока временной работы с работником не был расторгнут дого­вор, то он считается принятым на постоянную работу». Аргумент, начинаю­щийся в импликативных суждениях словом «если», называется основанием, а составляющая, начинающаяся со слова «то» - следствием.

Отношения между суждениями

Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристи­ках, как смысл и истинность суждений. В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, то есть теми, которые имеют общий смысл.

Сравнимыми среди простых суждений являются такие, которые имеют одинаковые термины и различаются по количеству и по качеству. Несравни­мыми среди простых суждений являются такие, которые имеют различные субъекты и предикаты.

Сравнимые суждения делятся на совместимые и несовместимые. Совме­стимыми являются суждения, которые одновременно могут быть истинны­ми. Различают три вида совместимости.

1. Эквивалентные суждения выражают одну и ту же мысль в различной форме. Например, «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля».

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми».

3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например, «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны оставаться без ответа». В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости:

- при истинности общего суждения частное всегда будет истинным;

- при ложности частного суждения общее суждение также будет ложным;

- при ложности общего суждения частное неопределенно;

- при истинности подчиненного частного суждения общее неопределенно.

Перейдем к рассмотрению отношений между несовместимыми суждени­ями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости.

1. Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одно­временно истинными, но могут быть одновременно ложными. Например, «Все адвокаты юристы», «Ни один адвокат не является юристом».

Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обязаны соблюдать закон» сразу же делает ложным суждение «Ни один гражданин не обязан со­блюдать закон».

При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным.

2. Противоречие как несовместимость характерно для суждений, исклю­чающих друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при лож­ности первого второе будет истинным. Например, «Все судьи являются подкупными» и «Некоторые судьи не являются подкупными».

Тема 6. Умозаключение

План

1. Непосредственные дедуктивные умозаключения.

2. Опосредованные дедуктивные умозаключения. Простой категорический силлогизм.

3. Опосредованные дедуктивные умозаключения. Сложный категорический силлогизм.

4. Условные и разделительные суждения.

5. Полная и неполная индукция.

6. Умозаключения по аналогии.

 

Необходимый характер вывода в простом категорическом силлогизме обеспечивается соблюдением следующих для всех его разновидностей правил, которые разбиваются на две группы: правила терминов и правила посылок.

Правила терминов /П Т /

П Т - 1. В каждом силлогизме должно быть только три термина. При на­рушении этого правила возникает логическая ошибка «учетверение терми­нов», состоящая в том, что один из терминов употреблен в двух значениях. Например:

 

Жизнь - это борьба

________Карате – борьба_____

Жизнь - это карате

 

П Т - 2. Средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни в одной из посылок, то отношение между крайними терминами в заключении остается неопреде­ленным. Например:

Некоторые растения /М/ ядовиты / Р/

_________Белые грибы /S/ - растения /М/______

Белые грибы /S/ - ядовиты /Р/

 

П Т - 3. Термин, не распределенный в посылках, не может быть распре­делен в заключении. При нарушении этого правила возникает логическая ошибка «незаконное расширение термина». Например:

 

Все педагоги /М/ воспитанны /Р/

_________Он /S/ не педагог /M/ ________

Он /S/ невоспитан 1Р1

 

Правила посылок /П П/

П П - 1. Хотя бы одна из посылок должна быть утвердительной; из двух отрицательных посылок заключение не следует. Например:

 

Ни один студент не является преподавателем

Студент Данилов не является преподавателем

?

 

Вывод невозможен, так как обе посылки отрицательные суждения.

П П - 2. Если одна из посылок - отрицательное суждение, то и заклю­чение должно быть отрицательным. Пример правильного вывода:

 

Ни один папоротник никогда не цветет

________Это растение цветет_______

Это растение не папоротник

 

П П - 3. Хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует. Например:

 

Некоторые студентыродились в Москве

Некоторые студентыродились на Урале

?

 

П П — 4. Если одна из посылок — частное суждение, то и заключение должно быть частным. Например:

 

Все депутаты - избранники народа

__________Некоторые юристы – депутаты_____-

Некоторые юристы - избранники народа

 

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I), частноотрицательные (О). На основе их различного сочета­ния выделяют модусы простого категорического силлогизма.

Простой категорический силлогизм называется полным, если он выра­жен развернуто, то есть в нем имеются большая и меньшая посылки, а так­же заключение. В практике мышления нередко простой категорический силлогизм облегается в сокращенную форму и называется энтимемой.

Все А есть В

Все С есть А

Все С есть В

___Все D есть С___

Все D есть В

- прогрессивный полисиллогизм.

 

Может быть и другая схема:

Все А есть В

Все В есть С

Все А есть С

__Все С есть D__

Все А есть О

- регрессивный полисиллогизм.

Разновидностями полисиллогизма являются сорит и эпихейрема.

Сорит - сокращенный полисиллогизм, в котором пропущены заключе­ния предшествующих силлогизмов и одна из посылок последующего силло­гизма. Например:

Всякое общественно опасное деяние наказуемо

Преступление - общественно опасное деяние

_____Склонение к потреблению наркотических средств – преступление_____

Следовательно, склонение к потреблению наркотических средств наказуемо

 

Так же, как и полисиллогизм, сорит имеет две схемы:

Все А есть В

Все С есть А

__Все D есть С__

Все D есть В

- прогрессивный сорит;

 

Все А есть В

Все В есть С

__Все С есть D__

Все А есть D

- регрессивный сорит.

Эпихейрема - сокращенный силлогизм, в котором обе посылки представ­ляют собой энтимемы. Примером эпихейремы является такое рассуждение:

 

___Ложь заслуживает презрения, так как она безнравственна ___

Лесть есть ложь, так как она есть умышленное искажение истины

Лесть заслуживает презрения

 

 

Если а, то в

__Если в, то с__

Если а, то с

В приведенном примере обе посылки - условные суждения, причем ос­нование второй посылки является следствием первой, из которого, в свою очередь, вытекает другое следствие. Общая часть двух посылок позволяет связать основание первой и следствие второй. Поэтому заключение также выражается в форме условного суждения. Вывод в чисто условном умоза­ключении основывается на правиле: следствие следствия есть следствие ос­нования.

Условно-категорическим называется такое умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категориче­ские суждения. Его логическая структура такова:

Если а, то в

___ а ___

в

Данный вид умозаключения имеет два модуса - утверждающий и отри­цающий. Каждый из них встречается в двух формах: правильной и непра­вильной. В правильных формах выводы имеют достоверный характер, а в неправильных - вероятностный.

Правильная форма утверждающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения основания условной посылки к утверждению следствия ус­ловной посылки.

Например:

 

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу

__________ Решение суда обжаловано в кассационном порядке________

Следовательно, оно еще не вступило в законную силу

 

Неправильной формой утверждающегося модуса является разновидность условно-категорического умозаключения, в которой ход умозаключения на­правлен от утверждения следствия к утверждению основания. Например:

 

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу ________ Решение суда еще не вступило в законную силу________

Следовательно, решение суда обжаловано в кассационном порядке

 

Правильная форма отрицательного модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания следствия к отрицанию основания. Например:

 

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу _____________ Решение суда вступило в законную силу_________

Значит, оно не может быть обжаловано в кассационном порядке

 

Неправильная форма отрицающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания основания к отрицанию следствия. Например:

 

Если решение суда обжаловано в кассационном порядке, тооноеще не вступило в законную силу _____________ Решение суда не обжаловано в кассационном порядке________

Следовательно, оно уже вступило в законную силу

 

Разделительным называется умозаключение, в котором одна или не­сколько посылок - разделительные суждения. Выделяют разделительно-ка­тегорические и условно-разделительные умозаключения.

Разделительно-категорическим называется умозаключение, в котором одна из посылок - разделительное, а другая посылка и заключение - кате­горические суждения. Разделительно-категорическое умозаключение имеет два модуса: утверждающе-отрицающий и отрицающе-утверждающий.

Утверждающе-отрицающий модус - это разновидность разделительно-категорического умозаключения, в котором путем утверждения одного из членов разделительного суждения производится отрицание всех остальных. Его логическая структура такова:

а или в, или с

____а____

Не-в и не-с

Например:

 

Власть может быть законодательной, или исполнительной, или судебной

Данная власть - законодательная

Следовательно, данная власть не исполнительная и не судебная

 

В умозаключении по этому модусу необходимо соблюдать следующее правило: разделительная посылка должна представлять собой строгую дизъ­юнкцию.

Отрицающе-утверждающий модус - это разновидность разделительно-категорического умозаключения, в которой путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение остав­шегося члена. Его логическая структура такова:

А или в, или с

__не-а и не-в__

с

Например:

Власть может быть или законодательной, или исполнительной, или судебной

Данная власть не законодательная и не исполнительная

Следовательно, власть – судебная

 

В умозаключении по этому модусу необходимо соблюдать следующее правило: в большей посылке должны быть перечислены все возможные альтернативы, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным суждением.

Условно-разделительным или лемматическим (от лат. lemme - «предположение») называется умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая - разделительное суждение. По количеству следствий условной посылки (альтернатив) различают дилеммы, трилеммы и полилеммы.

Дилемма - это условно-разделительное умозаключение с двумя альтер­нативами. В практике рассуждений встречаются два вида дилемм - конст­руктивная и деструктивная.

В условной посылке конструктивной дилеммы устанавливается возмож­ность двух условий и вытекающих из них двух следствий. Разделительная посылка ограничивает выбор только этими двумя условиями, а в заключе­нии утверждается возможность только одного следствия. Например:

 

Если политические теории прогрессивны, то они способствуют развитию общества

Если же политические теории реакционны, то они препятствуют развитию общества

Но политические теории могут быть либо прогрессивными, либо реакционными

Политические теории либо способствуют развитию общества, либо препятствуютему

 

В условной посылке деструктивной дилеммы устанавливается, что из двух оснований могут вытекать два следствия. В разделительной посылке от­рицается одно из возможных следствий, а в заключении отрицается одно из возможных оснований. Например:

 

Если философ признает первичность материи по отношению к сознанию, то он является материалистом

Если же философ признает первичность сознания по отношению к материи, то он является идеалистом

Но философ либо не является материалистом, либо не является идеалистом

Философ не признает либо первичность материи по отношению к сознанию, либо первичность сознания по отношению к материи

 

В целом же, при правомерности выводов лемматических умозаключений нужно руководствоваться следующим: вывод правомерен, если ход рассуж­дений направлен от утверждения оснований к утверждению следствий или от отрицания следствий к отрицанию оснований, и неправомерен, если ход рассуждений направлен обратно указанному.