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ä.
Paradoksi
Paradoksi (kreikan sanoista παρά 'vastaan' ja δοξα 'oppi' tai 'näkemys') on väite, joka on vain näennäisesti looginen tai epälooginen. Näennäisesti looginen väite voi johtaa loogiseen ristiriitaan tai järjenvastaiseen tilanteeseen. Näennäisesti epälooginen väite puolestaan voi olla loogisesti selitettävissä.