@article{Taylor2008-TAYSPA-2,title = {Symmetric Propositions and Logical Quantifiers},pages = {575--591},author = {R. Gregory Taylor},volume = {37},number = {6},journal = {Journal of Philosophical Logic},abstract = {Symmetric propositions over domain and signature are characterized following Zermelo, and a correlation of such propositions with logical type- quantifiers over is described. Boolean algebras of symmetric propositions over and \ensuremath{\Sigma} are shown to be isomorphic to algebras of logical type- quantifiers over . This last result may provide empirical support for Tarski's claim that logical terms over fixed domain are all and only those invariant under domain permutations.},year = {2008}}@