The Metaphysics of Logic

An investigation into the metaphysics of the logical properties. Textbooks define logical truth and logical consequence in terms of models. But what are models, and why is invoking them a good way to define these properties? The answers take us through questions about the bearers of logical truth, the distinction between logical and non-logical expressions, and, ultimately, to an account of what logic is.