Logic and Systems Thinking