Sisse loogika, soriidid on kategoorilise ahelaga sülogismid või entüümid milles vaheaine järeldused on ära jäetud. Mitmik: soriidid. Omadussõna: soritiline. Tuntud ka kui ahelaargument, ronimisargument, vähehaaval argumentja polüsüllogism.
Sisse Shakespeare'i keelekunsti kasutamine (1947), tõdeb õde Miriam Joseph, et soriidid "hõlmavad tavaliselt iga lause või lause viimase sõna kordamist järgmise alguses, joonis mis retoorikud kutsus haripunkt või gradatsioon, kuna see tähistab kraadi või kraadi argument."
- Etümoloogia: Kreeka keelest: "hunnik
- Hääldus: suh-RITE-eez
Näited ja tähelepanekud
"Siin on näide [soritidest]:
Kõik verekoerad on koerad.
Kõik koerad on imetajad.
Ükski kala pole imetaja.
Seetõttu pole ükski kala verekoer.
Esimesed kaks eeldust viitavad õigupoolest vahepealsele järeldusele "Kõik verekoerad on imetajad". Kui seda vahetulemust käsitletakse kui a eeldus ning koos kolmanda eeldusega järeldub lõplik järeldus õigustatult. soriidid koosneb seega kahest kehtivast kategoorilisest sülogismist ja on seetõttu kehtiv. Soriitide hindamise reegel põhineb ideel, et kett on ainult nii tugev kui selle nõrgim lüli. Kui mõni soriitide komponendisillogismidest on kehtetu, on kogu soriidid kehtetud. "
(Patrick J Hurley, Loogika lühike sissejuhatus, 11. toim. Wadsworth, 2012)
"Püha Paulus kasutab põhjuslikku seost soriidid kujul a gradatio kui ta tahab näidata Kristuse ülestõusmise võltsimisest tulenevaid omavahel seotud tagajärgi: „Nüüd Kui Kristusele kuulutatakse, et Ta on surnuist üles tõusnud, kuidas saavad mõned teie seast öelda, et surnuist ülestõusmist pole? Aga kui surnuist ülestõusmist ei toimu, siis pole Kristus üles tõusnud. Ja kui Kristus ei ole üles tõusnud, siis on ka meie õpetus asjatu ja [kui meie jutlus on asjatu] on ka teie usk asjatu "(I Kor. 15:12-14).
"Me võiksime lahti seletada need soridid järgmisteks sülogismideks: 1. Kristus oli surnud / surnud ei tõusnud kunagi üles / seepärast ei tõusnud Kristus; 2. See, et Kristus tõusis, pole tõsi / Me kuulutame, et Kristus on üles tõusnud / Seetõttu kuulutame seda, mis pole tõsi. 3. Jutlustamine, mis pole tõsi, on jutlustamine asjata / Me kuulutame seda, mis pole tõsi / Seetõttu kuulutame asjata. 4. Meie jutlus on asjatu / Teie usk pärineb meie jutlustusest / Seetõttu on teie usk asjatu. Püha Paulus muidugi muutis oma ruumid hüpoteetiliseks, et näidata nende hukatuslikke tagajärgi ja seejärel neile kindlalt vastu astuda: "Aga tegelikult on Kristus surnuist üles äratatud" (I Kor. 15:20)."
(Jeanne Fahnestock, Retoorilised arvandmed teaduses. Oxford University Press, 1999)
Sorite paradoks
"Samal ajal kui soriidid nõuannet saab esitada mõistatuslike küsimuste seeriana, mida see võib olla, ja seda esitati ka a paradoksaalne argument loogilise ülesehitusega. Sorite järgmine argument oli tavaline:
1 tera nisu ei tee hunnikut.
Kui 1 nisu tera ei tee hunnikut, siis 2 nisu tera ei tehta.
Kui 2 nisu tera ei tee hunnikut, siis 3 tera ei tee.
.
.
.
_____
∴ 10 000 tera nisu ei tee hunnikut.
Argument näib olevat tõene, kasutades ainult tööd modus ponens ja lõika (võimaldades aheldada kõiki ühte alamargumente modus ponensjäreldused.) Neid järelduse reegleid toetab muu hulgas nii stoiline loogika kui ka moodne klassikaline loogika.
"Pealegi tunduvad tema ruumid tõesed.. . .
"Tundub, et ühe tera erinevus on liiga väike, et predikaadi rakendamisel midagi muuta; see erinevus on nii tühine, et sellel pole eelnevate ja sellest tulenevate tõdede väärtushinnangutes selget vahet. Kuid järeldus tundub vale. "
(Dominic Hyde, "Sorite paradoks". Ebamäärasus: juhend, toim. autor: Giuseppina Ronzitti. Springer, 2011)
"Kurvad soridid", neiu Marion
Soriidid vaatasid eeldust
Pisaraga tema vihases silmas
Ja sosistas pehmelt major term
A Eksikujutelm seistes.
Oo, see oli imelik
Mööda kurba mereliiva
Mõnusalt punastava Prognoosiga
Lase oma kätt kinni!
Oi õnnelikud on Meeleolu ja Pingeline,
Kui sellised tõesti olemas on,
Kes võib siis Accidensi kaudu ringi liikuda
Särava mere kõrval.
Kus kunagi Tähendus tuleb,
Ka mitte Denoteerimine e'en.
Kus Entüümid kas asjad on teadmata,
Dilemmasid pole kunagi nähtud.
Või kus Porfüüri puu
Karud on kõrged,
Kaugel olles näeme hämaralt
A Paradoks mööduma.
Teostama a Sillogism tuleb,
Kiirustades näeme seda lendamas
Kuskil, kus rahulikult puhkab
Samuti ei karda dihhotoomiat.
Ah! kas sellised rõõmud oleksid minu omad! Paraku
Empiirilised nad peavad olema,
Käsitlege nii meeleolu kui ka pinget
Nii on ühendatud armastavalt.
(Shotover Papers Või kajab Oxfordist, 31. oktoober 1874)