Logic and Foundations: Where are we and where are we headed?