A Structuralist Theory of Logic