Theoretical Approaches to Non-Numerical Problem Solving: Proceedings of the IV Systems Symposium at Case Western Reserve University