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

UptoLike

ВУЗ: 

ОмГТУ | Омск

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

Рубрика: 

55
Сорит (от греч. σωρός — куча) — это вид сложносокращённого силлогизма,
представляющий собой полисиллогизм с пропущенными посылками. В зависимо-
сти от того, какие именно посылки оказались пропущенными, различают регрес-
сивный сорит и прогрессивный сорит.
Прогрессивный (гоклениевский) сорит получается из прогрессивного полисил-
логизма путём выбрасывания заключений предшествующих ПКС и больших по-
сылок последующих
ПКС. В таком случае умозаключение идёт от подчиняющего
понятия к подчинённому.
Пример
Все морские птицы — хищники.
Все чайки — морские птицы.
Поморник — чайка.
___________________________________________
Поморник — хищник.
Здесь наиболее общее, подчиняющее понятие — «хищник» (предикат заклю-
чения), ему подчинено менее общее понятие «морская птица», которому в свою
очередь подчинено понятие «чайка», являющееся подчиняющим по отношению к
наименее общему понятию в данном сорите: «поморник» (субъект заключения).
Таким образом, прогрессивный сорит начинается с посылки, содержащей пре-
дикат заключения («
хищник»), и заканчивается посылкой, содержащей субъект
заключения («поморник»). Запись правила вывода рассмотренного примера гок-
лениевского сорита:
a ⊃ b, c ⊃ a, d ⊃ c |= d ⊃ b,
где a — «Существо является морской птицей», b — «Существо является хищни-
ком», с — «Существо является чайкой», d — «Существо является поморником».
Формула данного сорита
((a
⊃b)∧(c⊃a)∧(d⊃c))⊃(d⊃b)
является в рассматриваемой далее классической логике высказываний формулой
чисто условного умозаключения (см. законы транзитивности импликации).
Регрессивный (аристотелевский) сорит получается из регрессивного поли-
силлогизма путём выбрасывания заключений предшествующих ПКС и меньших
посылок последующих ПКС. Здесь умозаключение идёт от подчинённого понятия
к подчиняющему.
Пример
Поменяв местами посылки первого ПКС в рассмотренном выше регрессивном
полисиллогизме, получим: 
   Сорит (от греч. σωρός — куча) — это вид сложносокращённого силлогизма,
представляющий собой полисиллогизм с пропущенными посылками. В зависимо-
сти от того, какие именно посылки оказались пропущенными, различают регрес-
сивный сорит и прогрессивный сорит.
   Прогрессивный (гоклениевский) сорит получается из прогрессивного полисил-
логизма путём выбрасывания заключений предшествующих ПКС и больших по-
сылок последующих ПКС. В таком случае умозаключение идёт от подчиняющего
понятия к подчинённому.

     ™ Пример
   Все морские птицы — хищники.
   Все чайки — морские птицы.
   Поморник — чайка.
   ___________________________________________

   Поморник — хищник.

   Здесь наиболее общее, подчиняющее понятие — «хищник» (предикат заклю-
чения), ему подчинено менее общее понятие «морская птица», которому в свою
очередь подчинено понятие «чайка», являющееся подчиняющим по отношению к
наименее общему понятию в данном сорите: «поморник» (субъект заключения).

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

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

где a — «Существо является морской птицей», b — «Существо является хищни-
ком», с — «Существо является чайкой», d — «Существо является поморником».
   Формула данного сорита

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

является в рассматриваемой далее классической логике высказываний формулой
чисто условного умозаключения (см. законы транзитивности импликации).
   Регрессивный (аристотелевский) сорит получается из регрессивного поли-
силлогизма путём выбрасывания заключений предшествующих ПКС и меньших
посылок последующих ПКС. Здесь умозаключение идёт от подчинённого понятия
к подчиняющему.

     ™ Пример
   Поменяв местами посылки первого ПКС в рассмотренном выше регрессивном
полисиллогизме, получим:

                                                 55

Страницы