Platão, ao tratar da negação no diálogo Sofista, afirma que sempre que enunciamos o que não é, não enunciamos algo contrário ao que é, mas algo diferente. A negação significa cada parte da natureza da diferença em antítese ao que é. Tal tratamento da negação resulta da necessidade de resolver alguns problemas colocados pelo eleatismo. Propõe-se indicar esses problemas e examinar o tratamento que Platão dá ao nãoser como diferença.