hóper ón y hóper hén, expresiones en las que el -per enclítico acentúa el sentido esencialista que tiene en este caso el relativo hó referido a ón y hén; en la edición de Didot se las traduce enfáticamente por «quod est proprie atque essentialiter ens» y «quod est proprie atque essentialiter unum» (dicho de otra forma: «el Ser mismo», «la Unidad misma»). Al parecer son de origen platónico (de hecho en Sofista, 244c se apela a hóper hén para refutar a Parménides de una manera similar a como aquí se lo hace), y platónico es también método de refutación que Aristóteles utiliza, lo que él llama apagōgḗ eis tò adýnaton (reducción a lo imposible, al absurdo) tan usual en las páginas polémicas de la Física. En efecto, Aristóteles procede a mostrar que, si no se admite que «ser» tiene muchos sentidos, tomada en sus propios términos la tesis de Parménides conduce a consecuencias absurdas. Porque si, en tal tesis, «ser» significa que el sujeto de la afirmación es el Ser mismo, y este sujeto tiene atributos, entonces el lenguaje de la tesis carece de sentido, ya que, si el atributo es entitativo, el Ser mismo sería un «no ser», y si no es entitativo entonces es imposible hablar del Ser. Dicho de otra manera: el on parmenídeo, entendido como hóper ón, no puede significar un atributo, porque en tal caso aquello de lo cual es un atributo sería un no-ser; y si no es un atributo pero tiene un atributo, entonces este atributo no sería hóper ón, pues de lo contrario on tendría dos significados. Por lo tanto, si hóper ón es B, y B no es, entonces hóper ón no es. Luego el ón como hóper ón no puede tener ningún atributo y todo lo que se diga de él será falso. (La argumentación nos recuerda la primera hipótesis del Parménides, en el sentido de que si no se puede distinguir entre «Ser» y «lo que es», porque sólo el Ser es, todo lo que se diga sobre el Ser no tiene sentido.)