Проблема множественной общности называет неспособность традиционной логики описать некоторые интуитивно действительные выводы. Например, интуитивно понятно, что если:
, то логически следует, что:
Синтаксис традиционной логики ( TL) допускает ровно четыре типа предложений: «Все как есть B», «Нет, как есть B», «Некоторые As являются B» и «Некоторые As не являются B». Каждый тип представляет собой количественное предложение, содержащее ровно один квантор. Поскольку каждое из приведенных выше предложений содержит два квантификатора («некоторые» и «каждый» в первом предложении и «все» и «хотя бы один» во втором предложении), они не могут быть адекватно представлены в языке TL. Лучшее, что может сделать TL, - это включить второй квантификатор из каждого предложения во второй термин, тем самым сделав искусственно звучащие термины «боится-каждая-мышь» и «боится-хотя бы одной-кошки». По сути, это «хоронит» эти количественные показатели, которые необходимы для достоверности вывода, внутри терминов, поставленных через дефис. Следовательно, предложению «Какая-то кошка боится всякая мышь» имеет ту же логическую форму, что и предложению «Какая-то кошка голодна». Таким образом, логическая форма TL следующая:
, что явно недействительно.
Первым логическим исчислением, способным иметь дело с такими выводами, был Begriffsschrift Готтлоба Фреге (1879 г.), предок современной логики предикатов, который работал с квантификаторами с помощью привязок переменных. Скромно, Фреге не утверждал, что его логика более выразительна, чем существующие логические исчисления, но комментаторы логики Фреге считают это одним из его ключевых достижений.
Используя современное исчисление предикатов, мы быстро обнаруживаем неоднозначность утверждения.
может означать (Некоторого кота боится) каждая мышь (можно перефразировать как Каждая мышь боится какого-нибудь кота), т.е.
в этом случае вывод тривиален.
Но это также может означать, что Некоторая кошка (боится каждой мыши) (можно перефразировать как «Есть кошка, которой боятся все мыши»), т.е.
Этот пример иллюстрирует важность указания области действия таких квантификаторов для все так и есть.
.