Sorites-paradoksi
Kun Sorites-paradoksi esitetään joukkona ehtolauseita, joku lauseista on aina epätosi, ja muiden joukossa voi olla lauseita, jotka eivät ole enempää tosia kuin epätosiakaan. Keefen mukaan Sorites-paradoksin tapauksessa supervaluationismi välttää paradoksin, koska sen ei tarvitse hyväksyä kaikkia premissejä.
Sorites-paradoksi
Toinen lähestymistapa on käyttää moniarvoista logiikkaa. Kahden loogisen tilan, ”kasa” ja ”ei-kasa”, sijasta voidaan käyttää kolmiarvoista järjestelmää, esimerkiksi ”kasa”, ”epävarma” ja ”ei-kasa”. Kolmiarvoinen järjestelmä ei kuitenkaan ratkaise varsinaista ongelmaa täysin, koska tällöin seuraa kysymys, mihin vedetään raja toisaalta ”kasan” ja ”epävarman” välille, ja toisaalta ”epävarman” ja ”ei-kasan” välille. Kolmas totuusarvo voidaan ymmärtää esimerkiksi ”totuusaukkona” ("truth gap").