В логике и логической семантике традиционно реализуется установка на анализ экстенсивных (референциальных) отношений между совокупностями сущностей, образующих предметную область рассуждения. Так, несовместимость, тождество, пересечение, включение (рода и вида) есть отношения между объемами понятий как отношения между соответствующими множествами. При этом принципиальным является предположение о непустоте предметной области. Такая установка сообразна общей установке европейского рационализма на позитивное знание, подпитываемой катафатичностью смысловой картины мира. Расширение логического анализа на модальные, интенсиональные и эпистемические контексты потребовало уточнить содержания подобных онтологических допущений, результатом чего стали разработка широкого спектра семантики «возможных миров», аппарата логики, свободной от экзистенциальных (онтологических) допущений. В данной работе рассматривается возможность «апофатического» расширения логического анализа на суждения с отрицательными предикатами, восходящего к логике Льюиса Кэрролла, что позволяет получить ряд нетривиальных обобщений.