The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem(The International Research Library of Philosophy) Hardcover – 31 Oct. 1996 by Stewart Shapiro (Editor)

’Almost every significant paper on second-order logic and the philosophical importance of the Löwenheim-Skolem theorems is here in this collection...a useful addition to the library of anyone interested in the nature of logic in general and in the function of second-order methods in particular.’ Studia Logica

The articles in this volume represent a part of the philosophical literature on higher-order logic and the Skolem paradox. They ask the question "what is second-order logic?" and examine various interpretations of the Lowenheim-Skolem theorem.