Гизма путем выбрасывания заключений предшествующих силлогизмов

и меньших посылок последующих.

Например:

Все растения (А) суть организмы (В)

Все организмы (В) суть тела (С)

Все тела (С) имеют вес (D)

Всякое растение (А) имеет вес (D)

Схема регрессивного сорита:

Все A суть B

Все B суть C

Все C суть D

Все A суть D

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейрема – это сложносокращенный силлогизм, обе посылки которого являются энтимемами.

Например:

Ложь вызывает недоверие, так как она есть утверждение, не соответствующее истине

Лесть есть ложь, так как она есть умышленное извращение истины

Лесть вызывает недоверие

Схема эпихейремы такова:

M есть P, так как оно есть N

S есть M, так как оно есть O

S есть P

Схема первой посылки:

Все M суть P

Все M суть N

Все N суть P

Схема второй посылки:

Все S суть M

Все S суть O

Все O суть M

Правила выводов логики высказываний

Логика высказываний – это логическая система, которая анализирует процессы рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений.

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

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

Правила вывода – это предписания или разрешения, позволяющие из суждений одной логической структуры как посылок вывести суждение некоторой логической структуры как заключение.

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

Схема правил вывода:

В заключение

посылки

А₁

А₂ (посылки)

А₃

……..

Аn

В (заключение)

Читается: из посылок вида А1,А2,А3...Ап можно вывести заключение В.

Правила выводов логики высказываний делят на основные и производные.

Основные правила – более простые и очевидные.

Производные правила – правила, выводящиеся из основных.

Их введение сокращает процесс вывода. Как основные, так и производные делятся на:

· прямые

· непрямые (косвенные).

Прямые правила указывают на непосредственную выводимость некоторых суждений из других суждений.