Шпаргалки к экзаменам и зачётам

студентам и школьникам

  • Increase font size
  • Default font size
  • Decrease font size

Логика управления - Разделительное умозаключение

Cмотрите так же...
Логика управления
Понятие
Суждение
Мышление
Логические приемы образования понятий
Понятие и слово
Виды понятий
Типы совместимости: равнозначность (тождество), перекрещивание, подчинение (отношение рода и вида)
Типы несовместимости: соподчинение,противоположность, противоречие
Логические операции с понятиями
Виды простых ассерторических суждений
Категорические суждения и их виды (деление по количеству и качеству)
Объединенная классификация простых категорических суждений по количеству и качеству
Распределенность терминов в категорических суждениях
Традиционная теория логического квадрата
Категорические суждения и их виды (деление do количеству и качеству)
Модальность
Сложное суждение и его виды. Исчисление высказываний
Способы отрицания суждений
Исчисление высказываний
Виды умозаключений
Дедукция
Понятие правила вывода
Силлогизм
Особые правила фигур
Правила категорического силлогизма
Энтимема
Полисиллогизм
Сорит (с общими посылками)
Формализация эпихейрем с общими посылками
Чисто условное умозаключение
Первый вероятностный модус
Второй вероятностный модус
Разделительное умозаключение
Дилемма
Трилемма
Логическая природа индукции
Виды неполной индукции
Понятие вероятности
Научная индукция
Доказательность
Закон исключенного третьего
Закон непротиворечия (закон противоречия)
Закон тождества
Понятие об аргументации
Доказательство и его структура
Виды доказательства
Критика аргументации
Опровержение. Виды опровержения
Паралогизмы
Понятие о логических парадоксах
Искусство ведения дискуссии
Спор
All Pages

 

Разделительное умозаключение

 

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

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

S есть А, или В, или С.

А есть или 1А ,или А2..

S eсть или А1 , или А2, илиB, или С.

В первом разделительном суждении каждое из трех простых cуждений “S есть A”, ”S есть В”, “Sесть С” называется аль­тернативой. Из суждения “S есть А” образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.

Например:

Предложения бывают простыми или сложными.

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

Предложения бывают простыми, или сложносочиненными, или сложнопод­чиненными.

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

Первый модус - утверждающе-отрицающий (ponendotollens). Пример его:

Внимание бывает произвольным или непроизвольным.

Это внимание является непроизвольным.

Это внимание не является произвольным.

clip_image041
Заменив конкретные высказывания в посылках и заключении переменными, получим запись этого модуса в терминах символи­ческой логики (с двумя членами дизъюнкции) в виде правила вы­вода:

В этом модусе союз “или” употребляется как строгая дизъюнк­ция. Формулы, соответствующие этому модусу, имеют вид:

((aúb)^a)clip_image040[1] (1)

((avb)^b)clip_image042 (2)

Обе эти формулы выражают законы логики. Если в этом мо­дусе союз “или” взят как нестрогая дизъюнкция, то соответст­вующие формулы не будут выражать закон логики.

Формулы:

((aclip_image034[5]b)^а)clip_image040[2] (3)

и

((aclip_image034[6]b)^b)clip_image039[1] (4)

не являются законами логики. Доказательство формул (1) и (3) дано в таблице 2.

Таблица 2

а

b

clip_image024[10]

аclip_image034[7]b

(аclip_image034[8]b)^ a

((аclip_image034[9]b)^a)clip_image040[3]

(a ú b)

(a ú b) ^ а

((a ú b) ^a) clip_image040[4]

И

И

Л

И

И

Л

Л

Л

И

И

Л

И

И

И

И

И

Л

И

Л

И

Л

И

Л

И

И

Л

И

Л

Л

И

Л

Л

И

Л

Л

И

Ошибки происходят из-за смешения соединительно-раздели­тельного и строго разделительного смыслов союза “или” в модусе ponendotollens. Нельзя рассуждать, например, таким образом:

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

Учащийся Сидоров допустил в контрольной работе вычислительные ошибки.

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

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

Второй модус - отрицающе-утверждающий (tollendoponens).

Приведем пример:

Минеральные удобрения бывают или азотными, или фосфорными, или ка­лийными.

Данное минеральное удобрение не принадлежит ни к азотному, ни к фос­форному.

Данное минеральное удобрение является калийным.

Другой пример возьмем из рассказа А. Конан Дойла “Пестрая лента”, в котором он описал раскрытие страшного преступления -убийство девушки с помощью ядовитой змеи. Ш. Холмс рассказал Уотсону: “Вначале я пришел к совершенно неправильным выво­дам, мой дорогой Уотсон, - и это доказывает, как опасно опираться на неточные данные. Присутствие цыган, слово “банда”1, ска­занное несчастной девушкой, - всего этого было достаточно, что­бы навести меня на ложный след. Но когда мне стало ясно, что в комнату невозможно проникнуть ни через дверь, ни через окно, не оттуда грозит опасность обитателю этой комнаты, я сразу понял свою ошибку, и это может послужить мне оправданием. с я уже говорил Вам, внимание мое сразу привлекли вентилятор и шнур от звонка, висящий над кроватью. Когда обнаружилось, что звонок фальшивый, а кровать прикреплена к полу, у меня сразу зародилось подозрение, что шнур служит лишь мостом, со­единяющим вентилятор с кроватью. Мне сразу пришла мысль о змее, а зная, как доктор любит окружать себя всевозможными индийскими тварями, я понял, что, пожалуй, напал на верный след. Именно такому хитрому, жестокому злодею, прожившему много на Востоке, могло прийти в голову употребить яд, который нельзя обнаружить химическим путем”.

Разделительно-категорическое умозаключение было построено Ш. Холмсом таким образом:

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

дверь, или через окно, или через вентилятор.

“В комнату невозможно проникнуть ни через дверь, ни через окно”.

В комнату можно проникнуть через вентилятор.

clip_image043
Отрицающе-утверждающий модус (для случая двучленной разделительной посылки) в виде правила вывода в алгебре логики может быть записан следующим образом:

Логический союз “или” здесь можно употреблять в двух смы­слах: как строгую дизъюнкцию (у) инестрогую дизъюнкцию (v),T. e. характер дизъюнкции на необходимость заключения по этому модусу не влияет.

Этому модусу соответствуют четыре формулы, которые яв­ляются законами логики:

(1) ((a vb)clip_image044clip_image023[4])→ b.

(2) ((a vb) clip_image044[1]clip_image024[11])→ a.

(3) ((a?b) clip_image044[2]clip_image023[5])→ b.

(4) ((a?b) clip_image044[3]b) →a.

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

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

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

Данный пожар произошел в результате поджога.

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

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