Initiatives in Logic