Мегаобучалка Главная | О нас | Обратная связь

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




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

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

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

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

Общественно опасное деяние (А) наказуемо (В) Преступление (С) — общественно опасное деяние (А)

Преступление (С) наказуемо (В) Дача взятки (D) — преступление (С)

Дача взятки (D) наказуема (В)

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

Преступления в сфере экономики (А) — общественно опасные деяния (В)

Незаконное предпринимательство (С) — преступление в сфере экономики (А)

Незаконное предпринимательство (С) — общественно опасное деяние(В)

Общественно опасные деяния (В) наказуемы (D)

Незаконное предпринимательство (С) — общественно опасное

деяние (В)

Незаконное предпринимательство (С) наказуемо (D)

Оба приведенных примера представляют собой соединение двух простых катего­рических силло! измов, построенных по модусу ААА 1-й фигуры Однако полисилло­гизм может быть соединением больше! о числа простых силлогизмов, построенныхпоразным модусам разных фигур Цепь силлогизмов может включить в себя как прогрес­сивную, так и регрессивную связь

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

(p->q)A(q->r)A(r->s)A...A(ri-»Si)

p->si

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

В процессе рассуждения полисиллогизм принимает обычно сокращенную форму;



некоторыеиз его посылок опускаютсяПолисиллогизм, в котором пропущены неко-


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

Приведем пример прогрессивного полисиллогизма: ^

Общее! венно опасное деяние (А) наказуемо (В) ^1 Преступление (С) — общественно опасное деяние (А) ^1 Дача взятки (D) — преступление (О,

Дача взятки (D) наказуема (В) -в

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

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

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

3) Действия обвиняемого уголовно наказуемы

Развернем посылки эпихейремы в полные силлогизмы. Для этого восстановим в полный силлогизм сначала 1-ю энтимему

Клевета (М) уголовно наказуема (Р)

Распространение заведомо ложных сведений, порочащих честь

и достоинство другого лица (S), является клеветой (М)

Распространение заведомо ложных сведений, порочащих честь и дй стоинство другого лица (S), уголовно наказуемо (Р)

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

Теперь восстановим 2-ю энтимему. '

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

Действия обвиняемого (S) представляют собой распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (Р)

От греческого «куча» (куча посылок). 156

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

Заключение эпихейремы получено из заключений 1-го и 2-го силлогизмов:

Распространение заведомо ложных сведений, порочащих честь и достоинство другого лица (М) уголовно наказуемо (Р) Действия обвиняемого (S) представляют собой распространен' заведомо ложных сведений, порочащих честь и достоинство другого лица (М)

Действия обвиняемого (S)урбловно наказуемы (Р)

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

§ 6. Понятие о логике высказываний

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

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

Язык логики высказываний включает: алфавит, определение правильно выстро­енных выражении, интерпретацию.

Алфавит idi ики Bbn-k.i зываний состоитиз следующих символов.

1) Символы ,пя |!ыск<1)|,|»аний.р, q, r ... (пропозициональные переменные).

2) СИМВОЛЫ ДЛЯ .101 ИЧССМ1Х СВЯЗОК:

л — конъюнкция (союз ««»);

v — дизъюнкция (союз «или»);

—> — импликация (союз «если—, то...»);

= — эквивалентность (союз «еслии только если..., то...»);

1 — отрицание («неверно, что...»). 3) Технические знаки (,) — скобки.

Допустимые в логике высказываний выражения, называемые правильно пс енными формулами, или сокращенноППФ, вводятся следующим определением:

1. Всякая пропозициональная переменная —р, q, г ... — являетсяППФ.

2. ЕслиА и ВППФ (А и В — символы метаязыка для любых формул), то" выражения — А лВ, А v В, А —> В, А = В, 1А— также являютсяППФ.

3. Все другие выражения, помимо предусмотренных п. 1 и 2, не являютсяППФязыка логики высказываний.

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

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


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

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

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

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

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

Табличное построение предполагает определение логических отношений между формулами. Существенное значение для анализа рассуждений имеет отношение логического следования (символ |—). которое определяется следующим образом. Из Ai,..., An как посылок логически следует В как заключение, если при истинности каждого Ai, ..., An истинным является и В. В языке-объекте отношение следования адекватно выражается импликацией. Значит, если Ai,..., Ап г-В> то формула, пред­ставляющая собой импликацию вида (Ai л ai л ... л An) —>В, должна быть тождест­венной истинной.

Табличное носгроение логики высказываний позволяет определять логические отношения между высказываниями (см. гл. V § 4) и проверять правильность умозак­лючений, используя приведенный выше критерий. В качестве примера предлагаем провести табличным способом проверку правильности рассуждения формулы (р —> q) )- (1q —> 1p). Заменив знак логическою следования между посылкой и заклю­чением па импликацию и построив таблицу для полученной формулы, видим, что она является тождественно истинной. Значит, рассуждение является правильным.

Если в рассуждении содержится более трех переменных, то строить полную таблицу для проверки его правильности затруднительно и тогда используют сокра­щенный метод проверки, рассуждая от противного. Поскольку при правильном рас­суждении формула вида (Ai л ... л An) —> В должна быть тождественно истинной, посмотрим, не может ли она при каком-то наборе значений неременных оказаться ложной. Допустим, что может. Если из этого допущения получим какое-нибудь про­тиворечие, то такое допущение будет неверным, а проверяемое рассуждение — пра­вильным. Если же из допущения не получаем противоречия, то обнаружим набор значений переменных, при котором формула ложна, т.е. тот набор, который опровер­гает проверяемое рассуждение.

Логика высказываний как исчисление это прежде всего так называемаясисте­ма натурального вывода (СНВ). Аппаратом в ней служат правила вывода, каждое из которых является какой-нибудь элементарной формой умозаключения. Переходя по этим правилам от посылок или некоторых допущений к новым формулам, постепенно доходят до заключения. Вывод из посылок осуществлен, если удалось элиминировать все сделанные допущения. Таким образом, поавыводомформулыВ (заключения) из формул Ai,..., А„ (посылок)имеется в виду последовательность формул, каждая из которых является либо посылкой, либо допущением, либо получается по правилам вывода из предыдущих, и последняя формула этой последовательности есть форму­ла В, а вседопущения при этом элиминированы.

Правила СНВ позволяют оперировагь со всеми связками, имеющимися в алфа­вите языка. Они делятся направила введения (в) иправила исключения (и) связок.

Конъюнкция:

Дизъюнкция:

А,В

'АлВ

А

AvB

Импликация:

Отрицание:

Эквиваленция:

AvB

А

В-»А

НА ' А •

А=В

(А->В)л(В-»А) '

Кроме этих прямых правил получения новых строк вывода, вСНВ приняты непрямые правила, определяющие стратегию построения вывода. Например, если нужно вывести из посылок формулу вида импликации (xi —> (xz —> ...(xn-i -> Хп))), то после выписывания посылок выписываются в качестве допущений все антецеденты заключения, начиная с антецедента главного знака импликации, т.е. xi, •m, хз,..., Xn-i. Г,А->В

Если при этом удастся вывести Хп, то по непрямому правилу -> в ,

^собираем

Г-»А->В

последовательно формулы: (xn-i-^Xn) (при этом исключается допущение Xn-i), (хп-2 —> (Xn-i —> Xn)(xn-r исключается из числа допущений) и т.д., пока не получим требуемое заключение xi -»(хп-2 —>... (Xn-i —> Хп). Это правило построения прямого вы­вода.

Приведем пример вывода с применением этого правила:

((pAq)->r) |_ (p-> (q ->r)

1. (р л q) —> г — посылка

2. р — допущение

3. q — допущение

4. р л q (2, 3. л в)

5.г(1,4,^„)

6. q -> г(3,5, ^в)(-3)

7.p^(q^r)(2,6, -^.)(-2)

Другое непрямое правило используется для построения косвенного вывода, при котором допущением является отрицание В или отрицание последнего консеквен-

_ Г,А->(Вл1В)

та Хп. Это правило имеет вид —————-———— и говорит о том, что если из каких-то Г—>

формул (Г) и допущения (А) получено противоречие (В л ТВ), то из этих формул следует ча. Таким образом, если строится косвенный вывод формулы вида (xi —> (х2 —> ...(xn-i —> Хп)...), то после посылок выписываются формулы:

X] 1

допущения

Х2

Xn-i

^п

допущение косвенного доказательства [ДКД]


Затем по правилам вывода получаем следствия из всех имеющихся посылок и допущений до тех пор, пока не получим две противоречащие друг другу формулы'('В и 1В), что свидетельствуе! о несовместимости допущения косвенного доказательства с другими допущениями и посылками. Отсюда делается вывод о его ложности. Тогда в вывод вписывается строка 11 Хп, и тем самым допущение косвенного доказательства исключается. Например, осуществим косвенный вывод: (р —> q) ("-(1q —> 1p) (

l.p—>q—посылка

2.1q — допущение

з. Ирдкд

4/Р(3,1и)

5.q(l,4,->„)

6. а л 1я(5,2,лв)

7. 1 Up (6,3, 1в)(-3)

8. 1p (7, 1и)

9. 1q -> 1p (2,8, ->и)(-2)

Косвенный вывод считается законченным, если в ходе вывода получена какая-то формула и ее отрицание, т е. противоречие. Таким образом, если строится косвенный вывод формулы вида xi —> (x-i —>..—> Хп), то построчно выписывают все антецеденты от xi до Xn-i в качестве допущений; в последней строчке выписывают отрицание последнего консеквента — 1хп как допущение косвенного вывода По правилам вывода получаем различные следствия из всех имеющихся посылок и допущений. Получение двух противоречащих следствий говорит о ложности допущения косвен­ного вывода. Па этом основании ДКД отрицается, т.е. получаем двойное отрицание. Снятие двойного отрицания дает формулу Хп.

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

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

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ

1. На какие виды делятся выводы из сложных суждений?

2. Как строятся чисто условные умозаключения?

3. Что такое условно-категорическое умозаключение? Назовите его правильные модусы, выразите их в символической записи.

4. Какое умозаключение называется разделительно-категорическим?Назовитеего модусы, выразите их в символической записи.

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

6. Какое умозаключение называется условно-разделительным (леммантичес-ким)? Какие модусы имеет дилемма?

7. Что такое энтимема?

8. Каковы принципы построения логики высказываний?

9. Покажите значение различных видов условных и разделительных умозаключе­ний в работе юриста.

Глава VIII ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

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

умозаключения, илииндукции (от латинского inductio — «наведе­ние»).

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

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

Посылками индуктивного умозаключения выступают суждения, в которых фиксируется полученная опытным путем информация о повторяемости признака Р у ряда явлений — Si, 82,.... S„, принадле­жащих одному и тому же классу К. Схема умозаключения имеет следующий вид:

Посылки:

1) Si имеет признак Р S2 имеет признак Р

Sn имеет признак Р 2) Si, 82,..., Sn — элементы (части) класса К

11 - 1У02

Заключение:

Всем предметам класса К присущ признак Р


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

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

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

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

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

§ 1. Полная индукция

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

целом.

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

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

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

Схема умозаключения полной индукции имеет следующийвид:

Посылки:

1) Si имеет признак Р §2 имеет признак Р

Sn имеет признак Р 2) Si, 82,..., Sn — составляют класс К

Заключение:

Всем предметам класса К присущпризнак Р

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

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

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


Так, при выявлении характера кривой, по которой движутся пла­неты вокруг Солнца, в астрономии первоначально было установле­но, что Марс, Венера, Юпитер, Сатурн, Земля обращаются по эллип-сообразным орбитам. С открытием новых планет было установлено, что Уран, Нептун, Плутон и Меркурий обращаются по таким же орбитам. В итоге в форме полной индукции было сделано обобще­ние, что все планеты Солнечной системы обращаются по эллипсооб-разным орбитам. Это новое знание имеет принципиально иное зна­чение, нежели констатация факта эллипсообразного движения каж­дой из планет. Во-первых, обобщающий вывод оказывает влияние на развитие понятия «планета Солнечной системы», поскольку в его содержание может быть включен новый признак — обращение во­круг Солнца эллипсообразное. Во-вторых, этот признак может слу­жить основой для выявления других существенных характеристик всего класса явлений, например, для решения вопроса о механизме возникновения планет Солнечной системы.

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

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

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





Читайте также:





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

©2015 megaobuchalka.ru Все права защищены авторами материалов.

Почему 3458 студентов выбрали МегаОбучалку...

Система поиска информации

Мобильная версия сайта

Удобная навигация

Нет шокирующей рекламы



(0.055 сек.)