Глава III логические операции с понятиями

Значение логики

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

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

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

 

В-2.

Познание как процесс отражения объективного мира сознанием человека представляет собой единство чувственного и рационально­го познания.

• Чувственное познание протекает в трех основных формах: ощу­щение, восприятие, представление.

Ощущение — это отражение отдельных чувственно воспринима­емых свойств предметов' — их цвета, формы, запаха, вкуса.

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

Представление — это сохранившийся в сознании чувственный образ предмета, который воспринимался раньше.

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

Рассмотрим основные особенности мышления.

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

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

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

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

ВЗАИМОСВЯЗЬ: В реальном познавательном процессе они находятся в неразрывном единстве, составляют стороны, момен­ты единого процесса познания. Чувственное познание содержит в себе элементы обобщения, которые свойственны не только пред­ставлениям, но в определенной степени восприятиям и ощущениям и составляют предпосылку для перехода к логическому познанию. Как ни велико значение мышления, оно основывается на данных, полученных с помощью органов чувств. С помощью мышления че­ловек познает такие недоступные чувственному познанию явления, как движение элементарных частиц, законы природы и общества, но источником всех наших знаний о действительности являются в ко­нечном счете ощущения, восприятия, представления.

В-3

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (348—322 гг. до н.э.). Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — ло­гики предикатов.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков — основа другого направления математической ло­гики — логики высказываний.

име­нем Галена названа 4-я фигура категорического силлогизма;

сочинения Боэция которого длительное время служили ос­новными логическими пособиями.

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

Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф.Бэконом (1561—1626) Бэкон подверг критике извращенную средневековой схоластикой дедуктивную ло­гику Аристотеля

Разработка ин­дуктивного метода — огромная заслуга Бэкона, однако он неправо­мерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разрабо­тал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806—1873).

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

Дальнейшее развитие логики связано с именами таких выдаю­щихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.

Французский философ Р. Декарт (1569—1650) выступил с крити­кой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении «Правила для руководства ума».

Г. Лейбниц (1646—1716), сформулировал закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX—XX вв.; немецкий философ И. Кант (1724—1804) и многие другие западно-европей­ские философы и ученые.

Ряд оригинальных идей выдвинули М.В. Ломоносов (1711— 1765), А.Н.Радищев (1749—1802), Н.Г.Чернышевский (1828— 1889). Известны своими новаторскими идеями в теории умозаключе­ний русские логики М.И. Карийский (1804—1917) и Л.В. Рутков-ский (1859—1920). Одним из первых начал развивать логику отно­шений философ и логик С.И. Поварнин (1807—1952).

Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Теоретический анализ дедуктивных рассуждений метода­ми исчисления с использованием формализованных языков получил название математической, или символической, логики.

 

 

В-4

 

В-5

§ 1. Понятие как форма мышления Общая характеристика понятия

Понятие — это форма мышления, отражающая предметы в их существенных признаках.

 

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

Понятие — одна из основных форм научного познания. Форми­руя понятия, наука отражает в них изучаемые ею предметы, явления, процессы.

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

Множество предметов, которое мыслится в понятии, называ­ется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные при­знаки.

Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество») и «элемент класса».

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

Отношение элемента к классу выражается при помощи знака е:

 

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

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

 

В-6

 

§ 3. Виды понятий

Понятия принято делить на следующие виды: 1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и аб­страктные, 4) положительные и отрицательные, 5) безотноситель­ные и соотносительные.

1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов.

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

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

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

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

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

Если высказывание относится к каждому элементу класса, то такое употребление понятия будет разделительным; если же вы­сказывание относится ко всем элементам, взятым в единстве, и неприложимо к каждому элементу в отдельности, то такое упот­ребление понятия называется собирательным.

3. Понятия делятся на конкретные и абстрактные.

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

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

эти признаки мыслятся как самостоятельные объекты мысли.

Не следует смешивать конкретные понятия с единичными, а аб­страктные с общими. Общие понятия могут быть и конкретными, и абстрактными.

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

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

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

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

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

 

В-7

 

§ 4. Отношения между понятиями

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

Сравнимыми называются понятия, имеющие некоторые призна­ки, позволяющие эти понятия сравнивать друг с другом.

Несравнимыми называются понятия, не имеющие общих при­знаков, поэтому и сравнивать эти понятия невозможно.

Сравнимые понятия делятся на совместимые и несовместимые.

Совместимые понятия

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

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

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

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

3. В отношении подчинения (субординации) находятся понятия, объем одного из которых полностью входит в объем другого, состав­ляя его часть.

 

Несовместимые понятия

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

Существуют три вида отношений несовместимости: 1) соподчине­ние (координация), 2) противоположность (контрарность), 3) про­тиворечие (контрадикторность).

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

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

3. В отношении противоречия (контрадикторности) находятся понятия, одно из которых содержит некоторые признаки, а другое эти же признаки исключает.

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

 

В-8

В-10

Правила деления

1. Деление должно быть соразмерным.

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

В – 12

Простые суждения

ВИДЫ

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

Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъек­та, предиката и связки; его логическая схема S— Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.

Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.

Субъект и предикат называются терминами суждения.

Субъект и предикат образуют суждение посредством связки. Ус­танавливая принадлежность или не принадлежность признака пред­мету, связка объединяет термины суждения в единое целое. Благо­даря этой функции связка является необходимым элементом суж­дения.

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

2. Суждением с отношением называется суждение об отноше­нии между предметами. Это могут быть отношения равенства, не­равенства, родства, пространственные, временные, причинно-след­ственные и другие отношения.

Принята следующая запись суждения с отношениями: хRу, где х и у — члены отношения, они обозначают понятия о предметах, R — отношение между ними. Запись читается: х находится в отношении R к у. Суждение с отношениями имеют структуру, отличающуюся от структуры атрибутивных суждений. Тем не менее они могут быть преобразованы в атрибутивные.

3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.

 

В – 13

 

В – 15

В-17

Простые суждения

Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть

женщины».

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

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

Противоположность (контрарность) Частичная совместимость (субконтрарность)

Противоречие (контрадикторность)

Среди сравнимых различают совместимые и несовместимые суждения.

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эк­вивалентность (полная совместимость), 2) частичная совмести­мость (субконтрарность) и 3) подчинение.

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

2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истин­ным

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

Отношение несовместимости.

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

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

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

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

 

В – 18

 

§3. Сложные суждения

В-20

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

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

Несравнимые — это суждения, которые не имеют общих пропо­зициональных переменных. Например, р ^ q и m ^ n.

Сравнимые — это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логически­ми связками, включая отрицание.

Сложные сравнимые суждения могут быть совместимыми и не­совместимыми.

Отношение совместимости.

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

эквивалентность, частичная совместимость и подчинение.

Отношение несовместимости.

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

Противоположность — отношение между суждениями, кото­рые одновременно не могут быть истинными, но могут быть одно­временно ложными.

В – 22

Превращение.

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

Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.

Общеутвердительное суждение (А) превращается в общеотри­цательное (Е).

Схема превращения суждения А:

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

Общеотрицательное суждение (Е) превращается в общеутвер­дительное (А).

Схема превращения суждения Е:

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

Частноутвердительное суждение (I) превращается в частно-отрицательное (О).

Схема превращения суждения I:

Некоторые S суть Р Некоторые S не суть не-Р

Частноотрицательное суждение (О) превращается в частно-утвердительное (I).

Схема превращения суждения О:

Некоторые S не суть Р Некоторые S суть не-Р

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

Обращение.

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

В – 23

В – 25

Правила терминов.

1-е правило: в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нем не может быть ни меньше, ни больше трех терминов.

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

3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении.

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

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

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

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

3-е и 4-е правила являются производными, вытекающими из рас­смотренных.

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

Если обе посылки — частноутвердительные суждения (II), то вывод сделать нельзя согласно 2-му правилу терминов: в частно-утвердительном суждении ни субъект, ни предикат не распределе­ны, поэтому и средний термин не распределен ни в одной из посы­лок.

Если обе посылки — частноотрицательные суждения (OO), то вывод сделать нельзя согласно 1-му правилу посылок.

Если одна посылка — частноутвердительная, а другая — частнотрицательная (IO или OI), то в таком силлогизме распределенным будет только один термин — предикат частноотрицательного суж­дения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отри­цательным. Но в этом случае предикат заключения должен быть распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов.

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

Если одна посылка общеутвердительная, а другая — частноу-твердительная (AI, IA), то в них распределен только один термин — субъект общеутвердительного суждения.

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

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

 

В-28

§ 5. Сложные и сложносокращенные силлогизмы

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

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

Различают прогрессивный и регрессивный полисиллогизмы.

В прогрессивном полисиллогизме заключение просиллогизма становится боль­шей посылкой эписиллогизма.

В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма.

Сложными могут быть чисто условные силлогизмы, которые имеют схему:

(p-»q)A(q->r)A(r-»s)^...^(r1-»S1)

p->s1

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

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

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремоч называется сложносокращенный силлогизм, обе посылки которого являются знти-мемалш.

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

В – 29

Сокращенный силлогизм (энтимема)

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

Силлогизм с пропущенной посылкой или заключением называет­ся сокращенным силлогизмом, или энтимемой.

Энтимема в переводе с греческого буквально означает «в уме»/

Широко используются энтимемы простого категорического сил­логизма, особенно выводы по первой фигуре. Например: «Н. совер­шил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступ­ление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необяза­тельно.

Полный силлогизм строится по 1-й фигуре:

Лицо, совершившее преступление (М), подлежит уголовной

ответственности (р)

Н. (s) совершил преступление (М)

Н. (s) подлежит уголовной ответственности (р)

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

Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко.

Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.

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

Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевается.

Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдатель­ный приговор, он должен быть обвинительным».

Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.

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

Заключение, отрицающее все другие альтернативы, обычно не формулируется.

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

 

В – 30

Чисто условное умозаключение

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

Схема чисто условного умозаключения:

(р -» q) ^ ( q -> г) р->г

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

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

В – 31

Условно-категорическое умозаключение

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

Это умозаключение имеет два правильных модуса: 1) утверждаю­щий и 2) отрицающий.

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

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

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

Из четырех модусов условно-категорического умозаключе­ния, исчерпывающих все возможные комбинации посылок, досто­верные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умо­заключения. Эти модусы подчиняются правилу: утверждение осно­вания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходи­мостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

 

В – 32

§ 2. Разделительно-категорическое умозаключение

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

Простые суждения, из которых состоит разделительное (ди­зъюнктивное) суждение, называются членами дизъюнкции, или ди­зъюнктами.

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

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

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