importance of the concept of form to logic was already recognized in ancient times. Aristotle, in the Prior Analytics, was one of the first people to employ variable letters to represent valid inferences. Therefore, Jan Lukasiewicz claims that the introduction of variables was "one of Aristotle's greatest inventions."

According to the followers of Aristotle like Ammonius, only the