Concluding Remarks in the Panel Discussion

Publisher Summary There is a strong tendency in logicians to visualize connections of logic with the traditional fields of pure mathematics. Over the years, model theory and set theory have developed dramatically, to the point where the mathematical sophistication of the arguments rivals that of any research area of pure mathematics. With advances, there can be development of logic into a broad and mature discipline, with pure and applied parts, strong interconnections with other sciences, and an increasing body of deep results about the central foundational problems of language, proof, and the nature of mathematical objects from where it started.