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.
