Filosofo ateniese del quinto secolo a.C., maestro di Platone, sviluppò la teoria di Eraclito sul divenire come realtà oggettiva.
Gli è intitolato un dialogo di Platone.