ТаблицейБлоками.Альтернативная логика: Силлогизмы |
Последняя модификация: 10.08.2014 г
Страница загружена с адреса: http://humanus.site3k.ru/logic/alt/chapter5.html
Условные дедуктивные умозаключения содержат две связанные общими понятиями исходные посылки являющиеся условными суждениями и, имеют структуру:
Где посылки пишутся над чертой, а вывод – под ней.
Им закон транзитивности, лежащий в основе всех непосредственных умозаключений, соответствует в чистом виде. Однако, существуют не имеющие структуры формы чисто условных умозаключений. Одна из них, «Если a, то b, если не-a, то тоже b» содержит предопределенный ответ, эквивалентный утверждению b.
Более значимыми являются бесструктурные модусы гипотетического силлогизма.
Если a, то b Известно что a Тогда b |
Объединение этих модусов дает единый гипотетический силлогизм: Если первое влечет второе, то утверждение первого утверждает второе, а отрицание второго, отрицает первое; при этом, утверждение второго не утверждает первого, а отрицание первого не отрицает второго.
Пример построения гипотетического силлогизма (в данном случае утверждающий и опирающийся на следствия, то есть – вероятностный):
«Если в тексте присутствует буква «и», то он, вероятно, русскоязычный; буква «и» присутствует. Вывод: он действительно может оказаться русскоязычным, и, он русскоязычный, если в других языках нет буквы «и». Но, даже, если он русскоязычный, это не означает обязательного наличия «и», и если в нем ее нет, это еще не означает что, он не русскоязычный».
Условным силлогизмам соответствуют дополнительные правила, облегчающие получение выводов:
Используя логические правила, не следует забывать что логика – наука формальная. Она не учитывает диалектических законов и, опираясь только на нее, нельзя быть уверенным в физической истинности истинных с ее точки зрения выводов. Например: Из посылок «Если суд приходит к выводу о подделке документа, он убирает его из числа доказательств» и «Данный документ не убран из числа доказательств» можно получить достоверное умозаключение, путем отрицающего модуса условного силлогизма:
Если суд приходит к выводу о подделке документа, он убирает его из числа доказательств Данный документ не убран из числа доказательств Суд не пришел к выводу о подделке документа |
Однако отрицающий модус предполагает наличие «фатума» – неизбежности следствия. В данных высказываниях неизбежности нет. Они не сформулированы, например, как «Если суд приходит к выводу о подделке документа, он убирает его из числа доказательств при любых обстоятельствах любого дела». Поэтому отрицающий модус здесь применим лишь с оговоркой на то, что «любые обстоятельства любого дела» подразумеваются. Фактически, документ может быть не убран из числа доказательств именно в силу того что, суд пришел к выводу о его подделке (например, если в суде рассматривается сам факт подделки).
Это означает что, вопреки формальным законам, основываясь только на информации заключенной в данных суждениях достоверное умозаключение получить невозможно.
Разделительные дедуктивные умозаключения (разделительные силлогизмы) состоят из посылок являющихся разделительными (дезинъюнктивными) суждениями.
S есть A или B, или C A есть или A1 или A2 S есть или A1 или A2, или B, или C |
Каждое такое S есть A, S есть B… является альтернативой. Пример:
Предложения бывают простыми и сложными Сложные бывают сложносочиненными и сложноподчиненными Предложения бывают простыми, сложносочиненными и сложноподчиненными |
Разделительно-категорический силлогизм наряду с одной разделительной посылкой содержит одну категорическую. Его утверждающе-отрицающий модус
S бывают или A, или B, или C Это S есть A Это S не B и не C |
Равносилен отрицающе-утверждающему.
S бывают или A, или B, или C Это S не A и не B Это S есть C |
Обязательным условием для разделительно-категорического силлогизма является учет всех возможных альтернатив, иначе заключение будет не достоверным. В случае двух, взаимоисключающих альтернатив, разделительно-категорический силлогизм, опираясь на закон исключения третьего, позволяет выбрать одну из них путем опровержения другой и, наоборот, опровергать ее, выбрав другую, что наглядно представлено схемой:
Если принято одно, другое опровергнуто Одно принято Другое опровергнуто | Если опровергнуто одно, принято другое Одно опровергнуто Другое принято |
Которой легко пользоваться, вставив в нее истинные переменные. Например:
Земля или звезда, или планета Она планета И не звезда |
Более сложный вид имеют условно-разделительные умозаключения (условно-разделительные силлогизмы).
Условно-разделительные силлогизмы состоят из некоторого числа условных и одного разделительного суждения.
Дилеммой называется простое условно-разделительное умозаключение, разделительная посылка которого содержит два члена. При этом, простые дилеммы дают однозначный ответ, сложные, однозначного ответа не дают; конструктивные утверждают основание, а деструктивные отрицают.
Простая конструктивная дилемма в первой (условной) посылке утверждает что, из двух различных оснований вытекает одно и то же следствие, а во второй (разделительной), утверждает что, какое-то (или оба) из оснований истинно, тем самым, предопределяя заключение.
Если A1, то B, если A2, то, так же, B. Возможно только A1 или A2 B предопределено |
Простая деструктивная дилемма в первой посылке утверждает что, из одного основания вытекают два различных следствия, а во второй, указывает неприемлемость одного или обоих следствий тем самым, отрицая приемлемость основания (в схеме разделительная посылка, для удобства, изменена по правилу эквивалентности ab ≡
).
Если A, то B или C. Не желательно ни B ни C (B или C) A недопустимо. |
Пример простой деструктивной дилеммы удобно продемонстрировать на рассуждениях К. Ф. Ушинского:
«У человека без цели есть выбор: неутомимое неудовольствие жизнью, мрачная апатия и скука или добровольное самоуничижение детских прихотей и скотских наслаждений – зреловозрастный маразм». Ни то, ни другое не желательно Что же выбрать человеку, если ему не хватает ума, для наличия цели? |
Более простой пример:
Если я не сбавлю скорость, то, может быть, все обойдется, а может быть и авария. В аварии нет ничего приятного Лучше сбавить скорость. |
Сложная конструктивная дилемма имеет два разных следствия из двух разных оснований, одно из которых утверждается.
Если A1, то B1; если A2, то B2. Возможно только или A1 или A2 Или A1 и B1, и не B2; или A2 и B2, и не B1. |
Исход не ясен – сложная дилемма лишь указывает на наличие жесткой альтернативы. Выбор зависит от человека. При этом, одно основание или следствие может оказаться антиподом другого, как в следующем примере:
Если человек принципиален то, сохраняет целостность характера, а если беспринципен, морально деградирует. В одном человеке возможно только что-то одно Если человек не принципиален, он морально деградирует. |
Сложная деструктивная дилемма имеет два основания с различными следствиями, одно из которых отрицается, не утверждая другого.
Если A1, то B1; если A2, то B2. Или не B1 или не B2 ? |
Ответа нет
Полилеммы, при полной аналогии дилеммам имеют большее число альтернатив.
Простая конструктивная полилемма: Если у всех возможных причин одно и то же следствие, оно предопределено (в примере первая посылка упрощена по правилу эквивалентности):
Если человек болен или подозревает что, болен, или полагает что, может оказаться больным, то ему следует обратиться к врачу. Этот человек болен или только подозревает что, болен, или, не подозревая того, может оказаться больным Ему следует обратиться к врачу |
Простая деструктивная полилемма: Если какие-то следствия нежелательны, то нежелательна и причина, если же нежелательны все следствия, причина недопустима.
Сложная конструктивная полилемма представляет собой несколько условных суждений, по крайней мере, одно из которых утверждается.
Сложная деструктивная полилемма представляет собой несколько условных суждений, по крайней мере, одно из которых отрицается.
< Глава 4 Глава 5 Глава 6. >