Формализация эпихейрем с общими посылками

Эпихейремой в традиционной логике называется такой слож­носокращенный силлогизм, обе посылки которого представляют со­бой сокращенные простые категорические силлогизмы (энтимемы).

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

Все А суть С, так как А суть В.

Все D суть А, так как D суть Е.

Все D суть С.

Пример эпихейремы:

Благородный труд (А} заслуживает уважения (С), так как благородный

труд (А) способствует прогрессу общества (В).

Труд учителя (D) есть благородный труд (А), так как труд учителя (D)

заключается в обучении и воспитании подрастающего поколения (Е).

Труд учителя (D) заслуживает уважения (С).

Приведем еще пример эпихейремы:

Все ластоногие суть водные млекопитающие, так как ластоногие вскармли­вают детенышей молоком

Все моржисуть ластоногие, так как моржи имеют конечности, превращен­ные в ласты

Все моржи суть водные млекопитающие.

Так же, как и энтимемы, сложносокращенные силлогизмы зна­чительно упрощают наши рассуждения.

Выводы, основанные на логических связях между суждениями (выводы логики высказываний)

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

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

 

Условные умозаключения

Чисто условным умозаключением называется такое опосредст­вованное умозаключение, в котором обе посылки являются услов­ными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b ”.Структура чисто условного умозаклю­чения такая:

Если а, то b Схема:

Если b, то с.

Если а, то с а→b, b→c

a→c

Согласно определению логического следствия, сформулирован­ному в рамках исчисления высказываний, если формула а → с есть логическое следствие из данных посылок, то, соединив по­сылки знаком конъюнкции и присоединив к ним посредством зна­ка импликации заключение, мы должны получить формулу, кото­рая является законом логики, т.е. тождественно-истинной форму­лой. В данном случае формула будет такова:

((а→c)^ (b→с))→(а→с).

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

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

Если правильно внести удобрения, то урожай повысится

Если урожай повысится, то себестоимость продукции станет ниже.

Если правильно внести удобрения, то себестоимость продукции станет ниже.

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

 

Если а, то b Схема:

Если не-а, то b а→b

b а→b

b

Формула: ((а →b )U (a →b))→b.

Эта формула является законом логики. В умозаключении су­ждение b истинно и независимо от того, утверждается или отри­цается а.

Примером такого умозаключения является следующее рассуж­дение:

Если бензин не подорожает, уберем урожай.

Если бензин подорожает; уберем урожай.

Уберем урожай.

Приведем пример из художественной литературы. Один из героев Агаты Кристи, оказавшийся на острове, рассуждает:

“Генерал Макартур пребывал в мрачной задумчивости. Черт побери, до чего все странно! Совсем не то, на что он рассчиты­вал... Будь хоть малейшая возможность, он бы под любым пред­логом уехал... Ни минуты здесь не остался бы. Но моторка ушла. Так что хочешь не хочешь, а придется остаться”.

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