Games as formal tools versus games as explanations in logic and science · Study