Which one for the first thinkers to form Free will in antiquity was also well-known for formulation of an atomic theory of the universe?
Free will in antiquity Free will in antiquity was not discussed in the same terms as used in the modern free will debates, but historians of the problem have speculated who exactly was first to take positions as determinist, libertarian, and compatibilist in antiquity. There is wide agreement that these views were essentially fully formed over 2000 years ago. Candidates for the first thinkers to form these views, as well as the idea of a non-physical "agent-causal" libertarianism, include Democritus (460–370), Aristotle (384–322), Epicurus (341–270), Chrysippus (280–207), and Carneades (214–129).
Proclus Proclus Lycaeus ( ; 8 February 412 – 17 April 485 AD), called the Successor (Greek Πρόκλος ὁ Διάδοχος , "Próklos ho Diádokhos"), was a Greek Neoplatonist philosopher, one of the last major Classical philosophers (see Damascius). He set forth one of the most elaborate and fully developed systems of Neoplatonism. He stands near the end of the classical development of philosophy, and was very influential on Western medieval philosophy (Greek and Latin).