Comment by zozbot234

The standard semantics for second-order logic are not very practical and arguably not even all that meaningful or logical (as argued e.g. by Willard Quine); you can use Henkin semantics (i.e. essentially a many-sorted first-order theory) to recover the model-theoretic properties of first-order logic, including Löwenheim-Skolem.