Aristotle and object-oriented programming: why modern students need traditional logic