Sorit (del griego σωρός - "montón") - una cadena de silogismos sucesivos en los que la conclusión es una de las premisas que la siguen, y una de las premisas no se expresa explícitamente. Uno de los tipos de inferencias indirectas [1] .
Por ejemplo, en "Logic" de Whetley se da el siguiente orden [2] :
| Los ingleses son un pueblo valiente. | |
| Un pueblo valiente es libre. | |
| La gente libre es rica. | |
| Como consecuencia | Los ingleses son ricos. |
En un sorite, las premisas se pueden organizar de dos maneras: el sorite aristotélico comienza con una premisa que contiene una conclusión-sujeto y termina con una premisa que contiene una conclusión - predicado (ver el ejemplo anterior); pero un sorite también puede comenzar con una premisa que contiene una conclusión de predicado y terminar con una premisa que contiene una conclusión de sujeto; este tipo de sorite se llama Goclenius (Goclenius , un escritor del siglo XVI, lo señaló por primera vez en el ensayo "Isagoge in Organon Aristotelis"). Si la camada se descompone en varios silogismos separados, entonces la conclusión de cada silogismo separado sirve como premisa menor del siguiente. Solo puede haber una premisa negativa en un sorite; cada sorito requiere una secuencia del término medio, de lo contrario hay una interrupción en el proceso de inferencia (lat. Saltus in conclusionndo ) y la conclusión resultará sin sentido.