The Metaphysics of Logic

An investigation into the metaphysics of logic.

This Element is an investigation into the metaphysics of the logical properties. Textbooks define logical truth and logical consequence in terms of models. The answers take us through questions about the bearers of logical truth, the distinction between logical and non-logical expressions, and to an account of what logic is.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.