Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)