Sorit (din greaca σωρός - „grămadă”) - un lanț de silogisme succesive în care concluzia este una dintre premisele care o urmează, iar una dintre premise nu este exprimată în mod explicit. Unul dintre tipurile de inferențe indirecte [1] .
De exemplu, în „Logic” de la Whetley este dat următorul sorit [2] :
| Englezii sunt un popor curajos. | |
| Un popor curajos este liber. | |
| Oamenii liberi sunt bogați. | |
| prin urmare | Englezii sunt bogați. |
Într-un sorit, premisele pot fi aranjate în două moduri - soritul aristotelic începe cu o premisă care conține un subiect-concluzie și se termină cu o premisă care conține un predicat concluzie (vezi exemplul de mai sus); dar un sorite poate începe și cu o premisă care conține o concluzie de predicat și se poate termina cu o premisă care conține o concluzie de subiect; acest tip de sorite se numește Goclenius (Goclenius , un scriitor din secolul al XVI-lea, a indicat pentru prima dată la el în eseul „Isagoge in Organon Aristotelis”). Dacă așternutul este descompus în mai multe silogisme separate, atunci încheierea fiecărui silogism separat servește ca o premisă mai mică a celui următor. Într-o sorite poate exista o singură premisă negativă; fiecare sorit necesită o secvență a termenului mijlociu, altfel există o pauză în procesul de inferență ( lat. Saltus in concludendo ) și concluzia va fi lipsită de sens.