Aristotelian Logic on the Tech Tree