Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Достоверные модусы
|
|
Модус поненс (лат. modus ponens) - утверждающий модус (его заключение утвердительное суждение)
Модус толленс (лат. modus tollens) отрицающий(его заключение отрицательное суждение).
Модус поненс (рассуждение идет от утверждения основания к утверждению следствия):
| p→ q | Если в империях начинает рушиться семья, то они обращаются в прах. |
| p | В Римской империи начала рушиться семья. |
| q | Она обратилась в прах. |
Модус толленс (рассуждение идет от отрицания следствия к отрицанию основания):
| p→ q | Если подготовлюсь, то сдам экзамен. |
| q | Экзамен я не сдал |
| p | Я не подготовился. |
Правдоподобные (неправильные модусы):
- От отрицания основания к отрицанию следствия
| p→ q | Если это - булочка, то это - съедобно |
| p | Это - не булочка |
| q | (вероятно) это - несъедобно |
- От утверждения следствия к утверждению основания
| p→ q | Если это - булочка, то это - съедобно |
| q | Это - съедобно |
| p | (вероятно) это - булочка |
Данные модусы не позволяют установить главную причину следствия и поэтому дают лишь правдоподобные заключения.
2. Разделительный (альтернативный) силлогизм - силлогизм, в котором есть исключающе-разделительное суждение(строгая дизъюнкция).
Виды:
а) чисто разделительный силлогизм - в нем обе посылки и заключение - разделительные суждения. Основан на делении понятий.
| S есть Р или Р1 | Составляющая атома - либо заряженная, либо нейтральная. |
| Р есть Р2 или РЗ | Заряженная составляющая атома - либо электрон, либо протон. |
| S есть Р1 или Р2 или РЗ | Составляющая атома - либо электрон, либо протон, либо нейтральна. |
б) в разделительно-категорическом силлогизме большая посылка - строго разделительное суждение, а меньшая - категорическое.
Имеет два модуса:
(1) утверждающе-отрицающий (modus ponendo tollens)
| p v q | Либо пан, либо пропал. |
| p | Пан. |
| q | Не пропал. |
(2) отрицающе-утверждающий (modus tollendo ponens)
| p v q | Либо пан, либо пропал. |
| p | Не пан |
| q | Пропал. |
Правила:
1) в дизъюнктивных посылках должны быть перечислены все члены дизъюнкции (деления);
2) члены деления должны исключать друг друга (строгая дизъюнкция).
Все эти формы непосредственно следуют из определения импликации и строгой дизъюнкции через таблицы истинности, а правильные формы выражают логические законы.
Кроме того, часто встречаются и условно-разделительные силлогизмы, в которых большая посылка - конъюнкция условных суждений, а меньшая - разделительное суждение. В зависимости от числа членов дизъюнкции (альтернатив) выделяют дилеммы (2 члена), трилеммы (3 члена), полилеммы (более трех членов). Например, логическая структура известной сказочной ситуации " витязя на распутье" (прямо поедешь - голову сложишь, направо поедешь - коня потеряешь, налево поедешь - жену найдешь) имеет форму трилеммы:
| (p1→ q1)& (p2→ q2)& (p3→ q3) |
| p1 v p2 v p3 |
| q1 v q2 v q3. |