В своей логике Аристотель вводит буквенные символы для обозначения различных понятий, как бы пытаясь представить логические отношения в виде формул. «Если А присуще всем Б и Б присуще всем В, то А должно быть присуще всем В». Независимо от того, что мы там можем подразумевать под этими буквами, — человека ли, животное, предмет или какое-нибудь свойство. Задача ставится сразу в общем виде. Гениальная попытка на заре наук ввести принцип символического обобщения, который так расцветет впоследствии, откроет новые средства выражения мыслей и… вызовет к жизни в конце концов ту самую науку, которую назовут математической логикой и с которой столкнется вдруг Мартьянов, попав на скамью амфитеатра в слабо освещенной университетской аудитории.
А пока что в течение времен после Аристотеля будут все больше и больше забываться первородные связи философии с математикой, с науками и все больше и больше сама философия будет превращаться в голое, пустое фразерство — темная пора схоластики. И когда во мраке средневековья блеснет вдруг малая искра и францисканский монах Роджер Бэкон осмелится сказать, что математика — «азбука всей философии», его сочинения предадут анафеме.
Ни о чем этом, конечно, Мартьянов не думал, когда забрел сюда в университет послушать довольно странный семинар. Время и специализация уже прочно разделили то, что было когда-то единым. И в представлении Мартьянова, как и обычно для всех, философия с логикой стояли где-то далеко, на другом краю от наук точных, математических. Словно два полюса, к которым разбегаются противоположные заряды. И кто же он сам, Мартьянов, как не представитель именно точных, технических наук, столь необходимых и процветающих в наше время, — чем он изрядно и гордился.
Только в немногих умах прошлого и вот сейчас в таких малочисленных группках, как эта, собиравшаяся в притихшем по-вечернему университете, созревала мысль соединить вновь друг с другом, казалось бы, совсем далекие теперь области — математику с логикой. Соединить, чтобы представить формы и схемы логического мышления в более обобщенном виде. Чтобы осветить логикой глубокие дебри современной математики. А может быть, и с помощью математического аппарата толкнуть процесс наших рассуждений и выводов по более точным рельсам. Смелые, дерзкие попытки, воспринимавшиеся по-разному: от насмешливых улыбок до грозно сдвинутых бровей.
Философы, увидев формулы, отворачивались: «Это математика, не по нашей части». Математики, увидев построения логики; «предложение», «умозаключение», — отшатывались: «Это философия, лучше подальше». Недаром было сказано, что современные математики не любят вступать «на скользкий путь философии». Того и гляди… И математической логике приходилось пробираться меж двух огней — ничейная полоса!
Бывало, против ее идей раздавались такие обвинения, с упоминанием таких имен в подкрепление, что редкие слушатели, забредавшие на семинар, не знали — уж не сложить ли лучше свои тетрадки и убраться пока что подобру-поздорову. Но и защитники математической логики приводили в ее подкрепление такие цитаты и такие имена, что, воспрянув духом, слушатели опять были готовы раскрыть свои тетрадки для откровений новой области.
Мартьянову, конечно, было еще мало заботы до всего этого. Он забрел сюда как случайный гость и, вслушиваясь с трудом в незнакомый язык далекой от него науки, пытался хотя бы уловить, о чем же здесь, собственно, идет речь.
2
Конъюнкция… Дизъюнкция… Одноместный предикат… Логическая равносильность… Операция инверсии… Бог ты мой, как же пробиться ему сквозь строй чуждых терминов и выражений! Докладчики писали на доске непонятные строчки из букв и каких-то знаков, то похожих на галочки и стрелки, а то и вовсе на причудливые нотные ключи. Но из-за одного какого-нибудь значка мог вдруг разгореться долгий спор среди участников семинара, люди вскакивали с места и горячились и писали на доске по-своему другие галочки и крючочки, потому что, оказывается, за таким значком стояла всегда какая-нибудь цепочка рассуждений, которую не так-то просто было выразить словесно.
Мартьянов мало понимал из того, что здесь говорилось и доказывалось. Уловил только, что ряды этих значков, похожие на формулы, помогают спорящим экономнее изъяснять свои доводы, помогают доказывать что-то друг другу без того, чтобы каждый раз пускаться в длинные разглагольствования. Просто какая-нибудь буква алфавита с какой-нибудь закорючкой принимается за определенное понятие. И с ними, с этими буковками, оперируют и так и сяк. Кажется, именно это собравшихся больше всего и интересовало: как разные буквы соединять в группы, переставлять, заменять.