Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

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

Читайте также:
  1. РАЗДЕЛИТЕЛЬНЫЕ УМОЗАКЛЮЧЕНИЯ
  2. Сокращенные условные, разделительные и условно-разделительные умозаключения
  3. Условно-категорические умозаключения
  4. УСЛОВНЫЕ УМОЗАКЛЮЧЕНИЯ

 

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

 

Формализация дилеммы

Дилеммы бывают двух видов: конструктивные и деструктив­ные; обе формы дилеммы в свою очередь могут быть простыми и сложными.

 

Простая конструктивная дилемма

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

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

 

Если А есть В, то С есть D; если Е есть F, то С есть D.

А есть В или Е есть F.

___________________________________________________

С есть D.

 

Приведем пример простой конструктивной дилеммы.

В романе В. Шукшина «Я пришел дать вам волю» написано так: «Давай думать, как быть. Две дороги домой: Кумой или Волгой. Обои закрыты. Там и тут надо пробиваться силой. Добром нас никакой дурак не пропустит. А раз такое дело, давай решим: где легче».

Простая конструктивная дилемма представлена в такой форме:

 

Если плыть Кумой (а), то надо пробиваться силой (Ь);

если плыть Волгой (с), то надо пробиваться силой (b).

Можно плыть Кумой (а) или Волгой (с).

______________________________

Надо пробиваться силой (b).

 

Выразим суждение «А есть В» переменной а, суждение «С есть — переменной b, суждение «Е есть — переменной с. Тогда схема простой конструктивной дилеммы выразится в виде следу­ющего правила вывода:

В данном случае формула указанного вида будет такова:

Доказательство тождественной истинности этой формулы мо­жно провести табличным методом. Приведем еще один пример простой конструктивной ди­леммы:

 

Если я пойду через речку по мосту, меня могут заметить враги;

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

Я могу идти через речку по мосту или вброд.

___________________________________

Меня могут заметить враги.

 


Дата добавления: 2015-10-30; просмотров: 102 | Нарушение авторских прав


Читайте в этой же книге: Закон исключенного третьего | ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНО-ЛОГИЧЕСКИХ ЗАКОНОВ В ОБУЧЕНИИ | Понятие логического следования | Понятие правила вывода | ВЫВОДЫ ИЗ КАТЕГОРИЧЕСКИХ СУЖДЕНИЙ ПОСРЕДСТВОМ ИХ ПРЕОБРАЗОВАНИЯ | Противопоставление предикату | СЛОЖНЫЕ И СЛОЖНОСОКРАЩЕННЫЕ СИЛЛОГИЗМЫ (ПОЛИСИЛЛОГИЗМЫ, СОРИТЫ, ЭПИХЕЙРЕМА) | Формализация эсихейрем с общими посылками | УСЛОВНЫЕ УМОЗАКЛЮЧЕНИЯ | Условно-категорические умозаключения |
<== предыдущая страница | следующая страница ==>
РАЗДЕЛИТЕЛЬНЫЕ УМОЗАКЛЮЧЕНИЯ| Сложная конструктивная дилемма

mybiblioteka.su - 2015-2024 год. (0.006 сек.)