В институте сложилась парадоксальная ситуация, — начал свою речь МНС. Все отделы и секторы осознали важность современной логики как в разработке нашей марксистско-ленинской философии, так и в борьбе с нашими идеологическими противниками. Все, кроме одного, причем — самого боевого и работоспособного. И пожалуй, самого квалифицированного. Я имею в виду наш отдел борьбы с антикоммунизмом. Судите сами. Отдел научной критики зарубежной буржуазной философии выпустил две коллективные монографии по критике семантической и аналитической философии и, естественно, современных тенденций неопозитивизма. В них принимали участие многие наши ведущие логики. Достаточно сказать, что целый параграф дал в него профессор Зайцев. Отдел поддержки прогрессивных течений в зарубежной философии дал специальную главу в своем коллективном труде, удостоенном первой институтской премии, в которой убедительно показал, каким мощным оружием становится логика в руках наших зарубежных друзей — марксистских философов — в их борьбе с апологетикой империализма. Я уж не говорю об отделе диалектического материализма. Я не могу назвать ни одной их работы последних лет, в которой так или иначе не использовались результаты логики для разработки нашей философии. Даже сектор логики в этом отношении на высоте. Недавно вышел в свет секторский сборник, в котором наши крупнейшие логики Смирнящев, Ворошилло, Бурдюков, Субботич и другие убедительнейшим образом показали, что хотя формальная логика даже в качестве современной математической логики остается низшей логикой, пригодной (по словам Энгельса) лишь в сфере домашнего обихода... Хотя что, например, делать в домашнем обиходе с импликацией, хотя ее по недоразумению и назвали материальной? Вот в идеологической борьбе на современном этапе без нее...
В зале начался опять смешок. Тваржинская призвала к порядку, пригрозив в противном случае очистить зал от тех, кто. Кажется, начинается, сказал Учитель Добронравову. Мне его жаль, но остановить его невозможно. Оживление в зале, однако, не утихало. И Тваржинская, сочтя это за здоровую реакцию на живую и образную речь докладчика, начала сама лучезарно улыбаться.
Возьмем, например, такое утверждение злобных врагов коммунизма: «При коммунизме будет иметь место общность жен». Обозначим его через X. Вот так можно формально записать определение общности, так — отношения жены и мужа. Надеюсь, я правильно записал?
Параноик Смирнящев подался вперед и позеленел от Умственного напряжения, надеясь подловить МНС на «элементарной ошибке». Пока правильно, сказал он ехидно.
Посмотрим, что дальше будет. Между прочим, это определение...
Да, да, сказал МНС. Это определение взято из монографии нашего уважаемого ученого с мировым именем профессора Смирнящева. Но продолжим. Так, это — консеквент, это — антецедент... По правилу субституции получим... По правилу модус поненс... Здесь применим контрапозицию... Правильно? Я прошу логиков поправить меня, если ошибусь.
Зал замер, следя за столбиками непонятных формул, которые стремительно появлялись на доске и исчезали столь же быстро. После последних слов МНС все с неудовольствием взглянули на Смирнящева и его окружение. И с надеждой: может быть, этот кретин с мировым именем уличит этого бородатого пижона?! Но Смирнящев кивал в знак согласия и даже подсказывал МНС некоторые более простые способы преобразования формул.
Наконец, на доске осталась одна-единственная формула. А теперь, сказал МНС торжественно, позвольте мне напомнить уважаемым слушателям принятые обозначения. Вот они записаны слева. Теперь любой среднеграмотный человек, даже такой, как доктор Барабанов (в зале раздался хохот, Барабанов расплылся в улыбке), может расшифровать полученную формулу. Прошу!
Барабанов, однако, выходить к доске отказался. Смирнящев не выдержал, вскочил, подтянув сваливающиеся мятые штаны, схватил мел, сказал, что это же тривиально, и тут же записал результат в обычном языке: «При коммунизме будет иметь место общность мужей». В зале начало твориться нечто невообразимое. Крики восторга по поводу мощи современной логики. Насмешки по поводу очевидности вывода и без логики и т.д.
Это теперь вам кажется, что вывод был очевиден, сказал МНС, когда Тваржинская навела тишину. Назовите мне хотя бы одну работу как антикоммунистического, так и прокоммунистического толка, в которой оно фигурировало бы! Вы это не сможете сделать, ибо этого не было. То доказательство, которое я вам здесь изложил, получено впервые мною. Конечно, я опирался на замечательные труды пара... прошу прощения, профессора Смирнящева. Теперь, надеюсь, если даже действительно произойдет обобщение жен, женщины могут быть спокойны: мужей обобществят тоже.