Aristotle and logic philosophy