Логическая игра   ::   Кэрролл Льюис

Мы считаем, что связка «суть» означает « являются в действительности , на самом деле , фактически ». Отсюда, разумеется, следует, что некоторые x-предметы существуют . Они же (авторы упоминавшихся книг по логике) считают, что связка «суть» означает « может быть ». Из такого понимания связки никакого существования уже не следует. Таким образом, их интепретация связки `уже, чем наша: наша интерпретация включает в себя их интерпретацию (из того, что «Некоторые x суть y», следует, что «Некоторые x могут быть y»), но не наоборот. Например, согласно этим авторам, суждение «Некоторые уэлльские гиппопотамы неуклюжие» истинно (поскольку признаки «уэлльский» и «неуклюжий» совместимы в гиппопотаме), но в нашей игре оно ложно (ибо уэлльские гиппопотамы, которые должны быть неуклюжими, не существуют в природе).

Рассмотрим, далее, суждение «Ни один x не есть y». В этом случае мы понимаем связку «есть» лишь как «является в действительности », из чего вовсе не следует, что ни один x не может быть y. Они же понимают это суждение в том смысле, что ни один x не только не есть y, но и не может быть y. В данном случае они понимают суждение шире, чем мы: их интерпретация включает в себя нашу (из того, что ни один x не может быть y, следует, что ни один x не есть y), но не наоборот. Например, суждение «ни один полисмен не имеет восьми футов росту» было бы истинно в нашей игре (поскольку столь великолепные образчики полисменов покуда еще не найдены), но ложно в смысле упомянутых мною авторов.