Во времена Льюиса Кэрролла в формальной логике велись оживленные споры, касавшиеся содержания четырех основных суждений Аристотеля. Следует ли считать, что общие суждения "Всякое А есть В" и "Никакое А не есть В" подразумевают, что А является множеством, которое фактически содержит некоторый элемент? Подразумевается ли это в частных суждениях "Некоторые А являются В" и "Некоторые А не являются В"?