Symmetric Propositions and Logical Quantifiers |
| |
Authors: | R. Gregory Taylor |
| |
Affiliation: | (1) Department of Mathematics and Computer Science, Manhattan College, Riverdale, NY 10471, USA |
| |
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 Σ 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. |
| |
Keywords: | generalized quantifier logical notion symmetric proposition |
本文献已被 SpringerLink 等数据库收录! |