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.