# First order logic and first order set theory

(1) I understood that in the language of first order logic quantification cannot be over sets (there are no predicate variables that can be bound by quantifiers), whereas the language of second-order logic extends the language of first-order logic by allowing quantification of predicate symbols and function symbols (where these symbols may be assigned sets as their extensions http://plato.stanford.edu/entries/logic-higher-order/ ).

(2) I understand that in first order set theory (which uses a first order language) the (first order) variables x,y and z range over sets.

Suppose we have some mathematical theory, T, which concerns some kind of entity. Externally to T, these entities might be able to be understood as sets of sets (but lets suppose that they are not defined as such in the formal theory, T). They would then form the domain of the mathematical theory. Could we, in that case, use FO to quantify over such elements of the domain in this mathematical theory? If so, then it would seem the distinction between FO quantification and SO quantification becomes theory relative in a way which is rather strange. Does this not trivialise the distinction somewhat? While Full SO quantification allows quantification over arbitrary subsets of the domain, certain of those subsets might be elements of the domain of our hypothetical mathematical theory, T, and so in T we might quantify over these elements, treating them as substitutable for FO variables.

• In first-order logic the quantifiers are relative to individual variables. i.e. variables ranging over the objects of the domain. Thus, in first-order arithmetic, the variables (and the quantifiers) range over numbers, because the domain (i.e. the universe) contains only numbers; in the same way, in first-order set theory the variables range over sets, i.e. the domain is the "universe" of sets. 1/2 – Mauro ALLEGRANZA Apr 28 '15 at 7:17
• In second-order logic we add variables and quantifiers for predicates; thus, in the corresponding s-o arithmetic we can quantify over properties (i.e. sets) of numbers and in s-o set theory we can quantifiy over properties of sets. 2/2 – Mauro ALLEGRANZA Apr 28 '15 at 7:19
• You can see also : Jouko Vaananen, Second order logic, set theory and foundations of mathematics. – Mauro ALLEGRANZA Apr 28 '15 at 7:22
• Why can we not therefore simply introduce sets of sets as objects of a domain, as we introduce numbers as objects in a domain in FO arithmetic and sets as objects in a domain in FO set theory? Doesn't this make the FO/SO contrast rather unpleasantly (or perhaps advantageously!) theory relative (depending on what is considered an object in a given domain)? – user65526 Apr 28 '15 at 7:22
• You can see also this post. – Mauro ALLEGRANZA Apr 28 '15 at 7:23