Al-Farabi was a follower of Aristotle's teachings and formed his own ideas on logic to include some of these elements.