теория кванторов и формальная логика. Хомский, Монтегю, теория множеств.

квантор заделывает пробелы в ряду истинностных значений не сам, а лишь в сочетании с изначальной суммативностью предикации. "все дети чисты" в отличии от " эти дети чисты" имеет определенное истинностное значение, но только потому что "чисты" - предикат суммативный, предполагающий гомогенность аргумента. В случае интегративных предикатов, как например "весить пуд", кванторы наоборот приводят к многозначности (амбигвитету) высказывания. "Эти яблоки весят пуд" истинно если "эти яблоки весят не пуд" ложно, независимо от того, сколько весит каждое отдельное яблоко. Но если мы говорим "все яблоки весят пуд", то выражение становится двусмысленным, допускающим как дистрибутивное прочтение, так и коллективное. впрочем, истинностные значения эта многозначность кажется не затрагивает. то есть они как были однозначными при чисто интегративном-коллективном прочтении, так и остались при двусмысленном, потому что кванторы в любом случае не выполняют условия булевой алгебры.
но, с другой стороны, и в сочетании с изначально суммативными предикациями квантор может создавать многозначность, амбигуировать выражение. такие случаи возникают, когда мы имеем дело с "двойной" суммативностью, то есть с наложением суммативности синтаксически обусловленной и суммативности лексикологической. (сочетание плюрального терма с суммативным предикатом).
возьмем например фразу "книги по большей части написаны по-немецки".
здесь возможны два прочтения. первое - интергативное:
"Большинство книг написаны по-немецки".
Здесь квантор модифицирует предикат как бы уже ПОСЛЕ того, как он применен. Здесь все высказывание целиком лежит внутри скопуса квантора.
второе прочтение :
"каждая из книг побольшей части написана по-немецки"
В Этом прочтении квантор модифицирует предикат как бы еще до его применения к терму, он становится как бы лексикологически интегративным. в скопусе квантора лежит лишь предикат но не высказывание в целом, поэтому высказывание в целом остается предикацией суммативной. Но с другой стороны, она может быть модифицирована новой квантификацией, как мы уже можем заметить из слова "каждая", тоже являющегося квантором, но здесь лишь подтверждающего суммативность предикации. Но вместо "каждый" может стоять и "некоторые", огда мы получаем новую модификацию предикации, на этот раз "интегративирующую".
интерпретация выражения зависит лишь от того, что находится внутри скопуса (зоны влияния) квантора - все выражения или один лишь предикат.

Это видимо какая-то функция, состоящая из двух нулей, причем большой нуль предицирует малый нуль. Здесь нехватает лишь логического ингдивидуума или денотата, специфицирующего аргумент. каков же может быть денотат, специфицирующий нуль малый для нуля большого? Тоже нуль.
так что Оо = о

и разделим все это на... НОЛЬ! :)