Řadit

Sorit (z řeckého σωρός  - "hromada") - řetězec po sobě jdoucích sylogismů , ve kterém je závěr jednou z premis, která za ním následuje, a jedna z premis není výslovně vyjádřena. Jeden z typů nepřímých inferencí [1] .

Například v "Logic" od Whetley je uveden následující sorit [2] :

Angličané jsou odvážný národ.
Odvážný lid je svobodný.
Svobodní lidé jsou bohatí.
tudíž Angličané jsou bohatí.

V soritu mohou být premisy uspořádány dvěma způsoby - aristotelský sorit začíná premisou obsahující závěr-subjekt a končí premisou obsahující závěr- predikát (viz výše uvedený příklad); ale sorit může také začínat premisou obsahující predikátový závěr a končit premisou obsahující podmětový závěr; tento typ soritu se nazývá Goclenius (Goclenius , spisovatel 16. století, na něj poprvé poukázal v eseji „Isagoge in Organon Aristotelis“). Pokud je vrh rozložen na několik samostatných sylogismů, pak závěr každého samostatného sylogismu slouží jako menší předpoklad následujícího. V soritu může být pouze jeden negativní předpoklad; každý sorit vyžaduje posloupnost prostředního členu, jinak dojde k přerušení procesu vyvozování ( lat.  Saltus in closedndo ) a závěr postrádá smysl.

Poznámky

  1. Bocharov V. A. Syllogistika . Nová filozofická encyklopedie (2000-2001). Získáno 4. června 2020. Archivováno z originálu dne 25. března 2022.
  2. Richard Whately. Prvky logiky . - 1827. - 372 s.

Zdroje