I was reading the Wikipedia article on logic, and in the section of semantics, it says:
The introduction of quantification, needed to solve the problem of multiple generality, rendered impossible the kind of subject-predicate analysis that underlies medieval semantics. The main modern approach is model-theoretic semantics, based on Alfred Tarski's semantic theory of truth.
And then it says what Model-Theoretic Semantics is about:
The approach assumes that the meaning of the various parts of the propositions are given by the possible ways we can give a recursively specified group of interpretation functions from them to some predefined domain of discourse: an interpretation of first-order predicate logic is given by a mapping from terms to a universe of individuals, and a mapping from propositions to the truth values "true" and "false".
Also, I read an article on model theory
As well as the article on the problem of multiple generality in wikipedia
I'm still confused as to what does Model-Theoretic Semantics have anything to do with the Problem of Multiple Generality.