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

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

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

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

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

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

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

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

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

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

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

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

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

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

деяние (В)

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

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

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

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

p->si

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

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

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

154

155

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

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

Общее! венно опасное деяние (А) наказуемо (В)        ^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, не являются ППФ языка логики высказываний.

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

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

157

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

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

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

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

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

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

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

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

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

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

158

Конъюнкция:

Дизъюнкция:

А,В

'АлВ

А

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

^п

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

159

Затем по правилам вывода получаем следствия из всех имеющихся посылок и допущений до тех пор, пока не получим две противоречащие друг другу формулы'('В и 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А).

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

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