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ä.
Sokraattinen menetelmä
Sokraattinen menetelmä (, "elenkhos", 'kumoaminen') on Sokrateen kehittämä dialektinen, dialogia hyödyntävä kysely- ja opetusmenetelmä. Se on eräänlainen kyseenalaistava ristikuulustelu tiedon tai mielipiteiden löytämiseksi tai väitteiden kumoamiseksi. Menetelmän on kuvannut ja formalisoinut Platon varhaisemmissa niin sanotuissa sokraattisissa dialogeissaan, kuten "Euthyfronissa" ja "Theaitetoksessa", esittäen Sokrateen keskustelujen pääkuulustelijana. Sokrates käytti menetelmää erityisesti moraalin avainkäsitteiden selvittämiseen. Menetelmä on yksi merkittävimmistä panoksista, jonka Sokrates on antanut länsimaiseen ajatteluun.