Столь же отчетливо звучит "физическая тема" и в задаче о двух ведерках из "Истории с узелками" (Узелок IX). Суть ее сводится к следующему. Маленькое ведерко плавает в другом ведерке чуть больших размеров. Воды в большем ведерке - едва на донышке.
Ведерко плавает, подчиняясь, конечно, закону Архимеда, который в старых учебниках сформулирован так: "Тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость". Но откуда взять столько жидкости, если она едва покрывала дно большего ведерка?
И все же сколь ни интересны физические задачи Кэрролла, его произведения обладают неотразимой привлекательностью в глазах физической аудитории прежде всего потому, что "сумасшедшая" логика Кэрролла близка и созвучна логике современной физической теории, долженствующей сочетать в себе "_безумные_" идеи (по Бору) и _математическое изящество_ (по Дираку).
Желая лишить изучающего логику ориентиров, подсказываемых здравым смыслом, Кэрролл придумал логические задачи {"Символическая логика". - В кн. Льюис Кэрролл. История с узелками.}, в которых посылки находились в вопиющем противоречии с повседневным опытом. Но правила вывода, подобно улыбке Чеширского Кота, оставались и после того, как угасала надежда на помощь здравого смысла. Именно эти правила и позволяли найти решение задачи. Физику не приходится измышлять логические задачи с "безумными" посылками: их ставит перед ним сама природа.
В бесплотной игре внешне свободно трансформируемых слов (_имен_), составляющей по мнению некоторых филологов и философов {См., например: Elisabeth Sewell. The Field of Nonsense. L., 1952.} существо кэрролловского нонсенса, физик явственно ощущает отражение сложных отношений между реальными объектами - носителями имен (_денотатами_). Nonsense Кэрролла физик воспринимает не как отсутствие всякого смысла ("senselessness"), а как разрыв с обычным приземленным "здравым смыслом" ("common sense"), лишающим полета фантазию художника и ученого. Отказываясь от логики здравого смысла, Кэрролл приносит ее в жертву логике несравненно более глубокой, во многом напоминающей диалектическую логику современного научного исследования, подчас столь причудливую, что она кажется непостижимой, противоречивой и способной повергнуть в отчаяние не только человека, далекого от науки, но и самого исследователя.
Язык для Кэрролла не был набором пустых символов-слов, лишенных значения. Он видел в языке податливый пластический материал для проверки своих открытий. Предвосхитив своими смелыми экспериментами в области языка появление таких наук, как семантика и семиотика, Кэрролл, быть может, лучше, чем кто-нибудь другой, сознавал, какую опасность для непреложности выводов любой теории (Кэрролла прежде всего интересовала теория логического вывода) таят в себе неоднозначность живого языка, а также неумеренное использование интуитивных соображений, рассуждений по аналогии и отсутствие свода четко сформулированных правил вывода. Кэрролл сумел частично осуществить свои намерения, разработав оригинальный вариант математической логики, позволивший чисто формально, без обращения к содержанию посылок, решать не только силлогизмы, но и более сложные логические задачи - так называемые сориты.
