El predicado S es correcto debido a que se ha descubierto la no existencia del éter, sin embargo, desde el punto de vista de la lógica clásica este predicado es falso, ya que implica la existencia del éter.