ВУЗ:
Составители:
Рубрика:
55
Регрессивный сорит получается из регрессивного полисилло-
гизма путем выбрасывания заключений предшествующих силлогизмов
и меньших посылок последующих. Например:
(D) вес имеет (А) растение Всякое
(D) вес имеют (С) телаВсе
(С) теласуть (В) организмы Все
(В) организмы суть (А) растения Все
Схема регрессивного сорита:
D сутьA Все
D суть C Все
C суть B Все
B сутьA Все
К сложносокращенным силлогизмам относится также эпихейре-
ма. Эпихейрема – это сложносокращенный силлогизм, обе посылки
которого являются энтимемами. Например:
PS
OMS
NМРМ
недоверие вызывает Лесть
истины извращение умышленное есть она как так,ложь есть Лесть
истине ующеесоответств не ,еутверждени есть она как такнедоверие, вызывает Ложь
Схема эпихейремы такова:
P есть S
O есть оно как такM, есть S
N есть оно как такP, есть M
Схема первой посылки:
P суть M Все
N суть M Все
P суть N Все
Схема второй посылки:
M суть S Все
O суть S Все
M суть O Все
56
4.5. Правила выводов логики высказываний
Логика высказываний – это логическая система, которая ана-
лизирует процессы рассуждения, опираясь на истинностные характе-
ристики логических связок и отвлекаясь от внутренней структуры су-
ждений.
Логика высказываний может строиться табличным методом или
как исчисление, т. е. как система, позволяющая получать одни выраже-
ния из других на основании известных правил. Последняя называется
системой
натурального вывода. Аппаратом в ней служат правила вы-
вода, каждое из которого является элементарной формой умозаключе-
ния.
Правила вывода – это предписания или разрешения, позво-
ляющие из суждений одной логической структуры как посылок вывес-
ти суждение некоторой логической структуры как заключение. Их
особенность заключается в том, что признание истинности заключения
производится на основании
не содержания посылок, а их структуры.
Правила вывода записываются в виде схемы, которая состоит из
двух частей (верхней и нижней), разделенных горизонтальной линией
– над чертой выписываются логические схемы посылок, под ней – за-
ключение.
Схема правил вывода:
заключение В
посылки
А
А
А
А
п
3
2
1
⎪
⎪
⎪
⎭
⎪
⎪
⎪
⎬
⎫
Читается: из посылок вида
п
А...А,А,А
321
можно вывести заклю-
чение В.
Правила выводов логики высказываний делят на основные и
производные.
Основные правила – более простые и очевидные.
Производные выводятся из основных. Их введение сокращает
процесс вывода.
Как основные, так и производные делятся на прямые и непрямые
(косвенные).
Регрессивный сорит получается из регрессивного полисилло- 4.5. Правила выводов логики высказываний
гизма путем выбрасывания заключений предшествующих силлогизмов
и меньших посылок последующих. Например: Логика высказываний – это логическая система, которая ана-
лизирует процессы рассуждения, опираясь на истинностные характе-
Все растения (А) суть организмы (В)
ристики логических связок и отвлекаясь от внутренней структуры су-
Все организмы (В) суть тела (С) ждений.
Все тела (С) имеют вес (D) Логика высказываний может строиться табличным методом или
Всякое растение (А) имеет вес (D) как исчисление, т. е. как система, позволяющая получать одни выраже-
Схема регрессивного сорита: ния из других на основании известных правил. Последняя называется
системой натурального вывода. Аппаратом в ней служат правила вы-
Все A суть B
вода, каждое из которого является элементарной формой умозаключе-
Все B суть C ния.
Все C суть D Правила вывода – это предписания или разрешения, позво-
Все A суть D ляющие из суждений одной логической структуры как посылок вывес-
К сложносокращенным силлогизмам относится также эпихейре- ти суждение некоторой логической структуры как заключение. Их
ма. Эпихейрема – это сложносокращенный силлогизм, обе посылки особенность заключается в том, что признание истинности заключения
которого являются энтимемами. Например: производится на основании не содержания посылок, а их структуры.
М Р М N
Правила вывода записываются в виде схемы, которая состоит из
Ложь вызывает недоверие, так как она есть утверждени е, не соответств ующее истине двух частей (верхней и нижней), разделенных горизонтальной линией
S M O
Лесть есть ложь , так как она есть умышленное извращение истины
– над чертой выписываются логические схемы посылок, под ней – за-
S P ключение.
Лесть вызывает недоверие
Схема правил вывода:
Схема эпихейремы такова: А1 ⎫
M есть P, так как оно есть N ⎪
А2 ⎪
S есть M, так как оно есть O ⎪
А 3 ⎬ посылки
S есть P ⎪
Схема первой посылки: ⎪
А п ⎪⎭
Все N суть P
В заключение
Все M суть N
Все M суть P
Читается: из посылок вида А1 , А 2 , А 3 ...А п можно вывести заклю-
Схема второй посылки: чение В.
Все O суть M Правила выводов логики высказываний делят на основные и
Все S суть O производные.
Все S суть M Основные правила – более простые и очевидные.
Производные выводятся из основных. Их введение сокращает
процесс вывода.
Как основные, так и производные делятся на прямые и непрямые
(косвенные).
55 56
Страницы
- « первая
- ‹ предыдущая
- …
- 26
- 27
- 28
- 29
- 30
- …
- следующая ›
- последняя »
