Логика и теория аргументации. Скачков А.С. - 53 стр.

UptoLike

ВУЗ: 

ОмГТУ | Омск

Составители: 

Рубрика: 

53
чии логического следования. Если же, отвлекаясь от субъектно-предикатной
структуры посылок и заключения, мы выразим суждение «существо является
морской птицей» буквой а, суждение «оно — хищник» — b, суждение «существо
является чайкой» — с, «существо — поморник» — d, то правило вывода для дан-
ного полисиллогизма можно записать так:
a ⊃ b, c ⊃ a, c
⊃ b, d ⊃ c |= d ⊃ b.
В приведенной далее парадигме классической логики высказываний рассмот-
ренный прогрессивный полисиллогизм может быть записан в виде формулы
((a⊃b)∧(c⊃a)∧(c⊃b)∧(d⊃c))⊃(d⊃b).
Регрессивным называется такой полисиллогизм, в котором заключение пред-
шествующего простого категорического силлогизма становится меньшей по-
сылкой
последующего простого категорического силлогизма.
Пример
Все города есть населённые пункты.
Все столицы — города.
Все населённые пункты имеют название.
Все столицы — населённые пункты.
______________________________________________________
Все столицы имеют название.
Соответствующая запись правила вывода:
a ⊃ b, c ⊃ a, b ⊃ d, c ⊃ b |= с ⊃ d,
где a — «Предмет есть город»; b — «Предмет есть населённый пункт»; с —
«Предмет есть столица»; d — «Предмет имеет название».
Формула
((a⊃b)∧(c⊃a)∧(b⊃d)∧(c⊃b))⊃
(с⊃d).
Другой используемой в ходе рассуждения модификацией ПКС является его
сокращённая форма — энтимема (от греч. ένθύμημα — в уме). Энтимема может
быть определена двояко:
1. Энтимема — это ПКС, в котором не выражена в явной форме, но подра-
зумевается какая-то его часть: одна из посылок либо заключение.
2. Энтимемой
называется рассуждение, доказательство, в котором неко-
торые посылки либо заключение опущены, но подразумеваются, остаются «в
уме».
В последнем смысле данный термин был введён в логическую проблематику
Аристотелем. В таком случае энтимема — это практика мышления при использо-
чии логического следования. Если же, отвлекаясь от субъектно-предикатной
структуры посылок и заключения, мы выразим суждение «существо является
морской птицей» буквой а, суждение «оно — хищник» — b, суждение «существо
является чайкой» — с, «существо — поморник» — d, то правило вывода для дан-
ного полисиллогизма можно записать так:

                               a ⊃ b, c ⊃ a, c ⊃ b, d ⊃ c |= d ⊃ b.

   В приведенной далее парадигме классической логики высказываний рассмот-
ренный прогрессивный полисиллогизм может быть записан в виде формулы

                             ((a⊃b)∧(c⊃a)∧(c⊃b)∧(d⊃c))⊃(d⊃b).

   Регрессивным называется такой полисиллогизм, в котором заключение пред-
шествующего простого категорического силлогизма становится меньшей по-
сылкой последующего простого категорического силлогизма.

     ™ Пример
   Все города есть населённые пункты.
   Все столицы — города.
   Все населённые пункты имеют название.
   Все столицы — населённые пункты.
   ______________________________________________________

   Все столицы имеют название.

   Соответствующая запись правила вывода:

                               a ⊃ b, c ⊃ a, b ⊃ d, c ⊃ b |= с ⊃ d,

где a — «Предмет есть город»; b — «Предмет есть населённый пункт»; с —
«Предмет есть столица»; d — «Предмет имеет название».
   Формула

                             ((a⊃b)∧(c⊃a)∧(b⊃d)∧(c⊃b))⊃(с⊃d).

   Другой используемой в ходе рассуждения модификацией ПКС является его
сокращённая форма — энтимема (от греч. ένθύμημα — в уме). Энтимема может
быть определена двояко:
   1. Энтимема — это ПКС, в котором не выражена в явной форме, но подра-
зумевается какая-то его часть: одна из посылок либо заключение.
   2. Энтимемой называется рассуждение, доказательство, в котором неко-
торые посылки либо заключение опущены, но подразумеваются, остаются «в
уме».
   В последнем смысле данный термин был введён в логическую проблематику
Аристотелем. В таком случае энтимема — это практика мышления при использо-
                                                   53

Страницы