aristotle and logical theory