Sorites

soritler, kıyasçı veya geleneksel mantıkta, birbirini izleyen kıyaslar zinciri -veya iki öncülden (bir büyük ve sonra bir küçük) ilk şekildeki bir sonuca (yani, büyük öncülün öznesi ve küçük öncülün yüklemi olarak orta veya tekrarlanan terimle) geçen argüman birimleri- öyle ilişkilidir ki ya her birinin sonucu (sonuncusu hariç) bir sonrakinin küçük öncülüdür ya da her birinin sonucu (sonuncusu hariç) bir sonrakinin büyük öncülüdür. O halde, birbirini takip eden tüm kıyasların sonuçları (sonuncusu hariç) bastırılır ve yalnızca kalan öncüller ve son sonuç belirtilirse, ortaya çıkan argüman belirtilen öncüllerden geçerli bir çıkarımdır. Örneğin:

Genel olarak, n + 1 öncül olabilir ve bu durumda analiz birbirini takip eden n kıyastan oluşan bir zincir ortaya çıkarır.