Foundations without foundationalism : a case for second-order logic - Shapiro, Stewart, 1951- (Oxford logic guides ;, 1991)