Objects, Properties and Contingent Existence* (to appear as 'Barcan Formulas in Second-Order Modal Logic' in M. Frauchiger and W.K. Essler, eds., Themes from Barcan Marcus (Lauener Library of Analytical Philosophy, vol. 3), Frankfurt, Pa... Second-order logic and modal logic are both,...