Таким образом, в формальной логике вплоть до самого последнего времени не было таких характеристик предметности. На них всегда обращали внимание другие теоретико-познавательные направления, в частности – в теории так называемых категорий. Но теперь стало уже ясно, что вера во всеобщую применимость логических схем была лишь иллюзией.
Те схемы изображений и правила, которые мы хотим получить для сравнения рассуждений и процессов мыслей ученых, не могут быть всеобщими – и это ясно с самого начала. Они могут вырабатываться только для определенных областей действительности. Следовательно – должны содержать характеристики видов объективности, т.е. своего рода систему категорий.
Для многих формальных логиков указание на эти дополнительные содержательные моменты было бы достаточным основанием для того, чтобы выбросить соответствующий анализ за границы науки логики. Но теперь, когда выяснилось, что и традиционные логические схемы должны иметь подобные же системы характеристик, этот аргумент уже не может приниматься всерьез.
Таким образом, я объяснил, почему тезис о том, что решение поставленной выше задачи уже не будет логической работой, так как логическая работа касается формы, а здесь требуется анализ содержания, кажется мне неосновательным.
— Обоснование формально-логического тезиса заключается в указании на то, что приведенные вами рассуждения нельзя проанализировать с помощью уже имеющихся понятий формальной логики. Значит аргументация идет от наличных средств.
Вы совершенно правы. Но здесь есть оттенок, на который я хотел бы обратить ваше внимание. Ведь то, о чем вы говорите, можно понимать двояко: мы сегодня не умеем описать это "заглядывание" в плоскость смысла формальным образом и вообще никогда нельзя описать это.
В каком-то смысле это, действительно, вопрос о возможности познания. Мы имеем реально свершившийся случай – два рассуждения: одно правильное, другое неправильное. И я спрашиваю: можно ли описать их и указать то различие в свойствах рассуждения, которое сделало одно из них правильным, а другое – неправильным? Можем ли мы ретроспективно проанализировать эти два случая? Если вы скажете, что нет, то мне будет казаться, что это отрицание возможности познания. На мой вопрос можно ответить, что понятия формальной логики сейчас не дают такой возможности. Можно ответить несколько иначе – что понятия формальной логики вообще не дают такой возможности. Можно ответить, что сейчас вообще никакие из существующих понятий не дают возможности ответить на этот вопрос. И, наконец, можно сказать, что на этот вопрос вообще никогда нельзя будет ответить.
Насколько я понимаю, вы отвечаете, что в принципе такая задача может быть поставлена и может быть решена. В дальнейшем будем исходить из этого. Мне хочется различить два случая, которые в силу определенных причин – я буду говорить о них дальше – сейчас постоянно смешиваются или отождествляются друг с другом. Один – утверждение, что с помощью понятий современной формальной логики на этот вопрос вообще нельзя ответить. И другой – утверждение, что логика вообще не может ответить на этот вопрос. Иначе это можно выразить так: из тезиса, что с помощью понятий формальной логики на эти вопросы вообще нельзя ответить, делают вывод, что ответ на эти вопросы вообще не есть задача логики. Обсудим это более подробно.
Представьте себе физику на рубеже, когда уже сложилась механика и только-только начинает складываться теория теплоты. Или аналогичную ситуацию, когда сложились механика и теория световых явлений – оптика – и начинает складываться теория электрических явлений. Ни тепловые явления, ни электрические явления нельзя прямо и непосредственно описать с помощью уже существующих физических понятий. Чтобы получить описание этих явлений, нужно существенным образом перестроить, изменить весь аппарат понятий. Собственно, так и делали, как вы знаете, в истории физики.
Представьте себе теперь физика, который, рассматривая всю эту ситуацию, говорит, что поскольку механика с помощью своих понятий не может описать ни тепловых, ни электрических явлений, то описание их вообще не является делом физики. Это было бы, конечно, смешно. Но в истории логики произошла именно такая смешная вещь. И подавляющее большинство логиков XVIII и XIX столетий твердо придерживались принципа, что если что-то не может быть описано с помощью уже существующих формально-логических понятий, то это вообще не логические явления.
И хотя этот принцип кажется вам несколько смешным, но в нем есть свои основания и свой резон. Все то, что нельзя описать с помощью логических понятий (а это значит обязательно – уже существующих понятий), не является логическим явлением. Да и какая собственно другая позиции может быть? Попробуйте сформулировать ее.
Даже такой великий мыслитель, как Кант, частично отдал дань этому способу рассуждения. У него, правда, были и другие основания, более важные и справедливые. Я скажу о них дальше. Но он сформулировал тезис не в узком смысле, как это вытекало из указанных дополнительных оснований, а в совершенно общем виде: формальная логика есть наука совершенно законченная, за 2000 лет она не отступила ни на шаг назад и не сделала ни одного шага вперед. Таким образом, он дал дополнительное идеологическое основание для оценки природы "формально-логического", а тем самым косвенно и для определения природы "логического" вообще.
Но если логическое может быть определено таким образом, исходя из системы уже выработанных понятий, то тогда вывод, что любой новый вопрос, требующий разработки новых средств, не будет уже входить в сферу логического, является совершенно закономерным и единственно возможным.
Надо сказать, что уже в XX веке, сравнительно недавно, Гокиели повторил этот неправильный способ рассуждения, выпустив специальную книжку "О природе логического". Так что эта точка зрения жива и живуча. И я должен сказать, что выработка другой точки зрения очень сложна. Ведь здесь придется признать, что не существует каких-то естественных или природных границ предметов науки и научного исследования. Придется признать, что мы сами создаем эти предметы и вольны менять их в зависимости от характера решаемых нами задач. Вольны менять и постоянно меняем на протяжении истории. Такой подход будет принципиально противоречить широко распространенному и широко пропагандируемому взгляду на предмет науки как на формы движения материи.
В своих предшествующих лекциях я уже говорил о широко распространенном взгляде на мир как на мешок, в который запихнуты физические, химические, биологические, логические, кибернетические и всякие другие объекты или области действительности. Именно эта общефилософская точка зрения стимулировала работы, подобные работе Гокиели, и подкрепляла их своим философским авторитетом. Если же вы будете рассматривать предметы науки как исторически формируемые, изменяемые в зависимости от наших задач, следовательно – преходящие и конструируемые, то вам придется столкнуться с этой концепцией мира как мешка с объектами. Вместе с тем вам придется решить очень сложную задачу, отвечая на вопрос, что же собственно задает единство и целостность предметов таких наук, как физика, биология, логика и кибернетика. А сделать все это очень непросто.
Но как бы там ни было, в какой-то момент логики произвели свою науку – совершенно замкнутую и законченную, – тем самым совершенно закрыв путь к ее дальнейшему развитию. И сейчас гигантской борьбы стоит постановка таких проблем, какие мы сейчас обсуждаем, и формулировка требований на выработку новых понятий, существенно отличающихся от уже существующих понятий, но являющихся несмотря на это логическими.
Чтобы быть точным, здесь, конечно, нужно заметить, что у физиков были исторически закрепленные основания для того, чтобы непрерывно менять содержание предмета своей науки, оставаясь в рамках физики, а у логиков, напротив, такие же исторически закрепленные основания не выходить за рамки уже раз сформированных понятий. Эти основания лежали в определениях физики и метафизики, выработанных еще Аристотелем, а затем получивших свое развитие и уточнение в период схоластов. Экспансия физиков в новые области природного мира была в каком-то смысле уже освящена тем определением физики, которое сформулировал Аристотель. Но это только одна сторона дела. Другую составляет то, что физики всегда были достаточно гибкими, не боялись осуществлять экспансию в новые области и вместе с тем не боялись существенно, даже кардинально менять уже имеющиеся у них системы понятий, представлений и методов.
Но чтобы теперь объяснить все это и дать высшее теоретико-познавательное оправдание и обоснование непрерывным расширениям предмета физики, надо показать, каким образом строится и на что опирается непрерывная преемственность в развитии предмета науки, какую роль здесь играет движение практики, связь и зависимость проблем, переносы средств в новые области и обусловленное этим изменение их, каким образом все это организуется в одну систему движения науки.
Было бы здорово, если бы решение этих проблем дал кто-то из вас. Важно одно: чем будет в дальнейшем логика – зависит от экспансии самых логиков, от того, насколько они будут гибкими в постановке новых проблем и задач и насколько они будут продуктивными в развертывании уже имеющихся у них методов и в разработке новых методов.
Для того чтобы еще более основательно обсудить и критически разобрать противопоставление тех вопросов, которые я сейчас поставил – как содержательных, тем вопросам, которые традиционно обсуждались логикой и характеризовались как формальные, нужно разобраться еще с самими понятиями формы и содержания, показать как они возникли, что собственно они фиксировали и почему они получили такое распространение и поддержку в логике. Я не буду здесь обсуждать этот вопрос и отсылаю всех интересующихся к тому анализу, который был проведен у меня в диссертации. В дальнейшем я буду лишь брать и формулировать здесь некоторые из результатов этого анализа – все те, которые мне понадобятся для аргументации. Но это все будет указано специально в дальнейшем.