Формы и содержание мышления

1. Проблема содержательной логики

В применении к Гегелю проблема построения «содержательной логики» имеет двоякий смысл.

Во-первых, это абстракция объекта, определенных его сторон в качестве стороны мышления, обобщение различного типа объектов (прежде всего диалектики объективных связей, развития и т. п.) в понятиях о содержании мышления — и в этом плане включение предметного содержания, рассматривавшегося до сих пор безотносительно к решению логических проблем, в логику. Здесь реально стоит проблема отношения такого содержания к формам и связям мысленных действий и операций (или вообще к субъективной форме отражения), которые возникают и устойчиво закрепляются в логическом аппарате науки на основе той или иной онтологии и в которых исследователями решаются определенные познавательные задачи. И шире — проблема исследования роли онтологических обобщений, идеализаций, объективации и т. п. в происхождении логических форм и в способ (условиях, границах и т. д.) их действия.

Во-вторых, речь идет о попытке установить логические формы как формы именно опытного познания, действующие в процессах фактически осуществляющегося исследования предмета, которые составляли ранее объект сугубо эмпирически-методологических размышлений таких философов, как Бэкон, Декарт, Лейбниц, Ламберт и др. Сама постановка Гегелем вопроса именно о содержательной логике, а не о какой-либо другой, оказалась исторически возможной и необходимой лишь с привлечением к логическому анализу (к исследованию форм) процессов генезиса и построения опытного знания, с появлением интереса к тем исследовательским связям, в которых реализуется тот или иной способ получения этого знания. Речь шла об особых содержательно функционирующих формах. Отсюда — непременный пересмотр общего логического вопроса об отношении формы и содержания мысли. В этом плане гегелевское понятие содержательной формы мышления явилось определенным логическим обобщением вопросов методологии научного исследования, поставленных в учениях о методе в XVII–XVIII вв. Рассматривая метод как деятельность всеобщей и закономерной логической формы, Гегель в некоторой мере завершил целую линию в изучении мыслительного аппарата науки, существовавшую рядом с традиционным формально-логическим учением и выразившуюся в попытках создания некоей «эмпирической логики» (Мопертюи, Крузиус, Ламберт и др.), которая раскрывала бы ход эмпирического исследования в науке, выявляла бы его средства и была бы логикой открытий, а не логикой доказательства или проверки имеющихся знаний.

Эти попытки порождались неудовлетворенностью формально-логическим учением, которое в общем отвечало потребностям классификаторского и описательного этапа науки и средствами аристотелевского формализма рассматривало структуры готового, субъектно-предикативного знания (основанного на вычленении в объекте родо-видовых отношений). Распространенная в XVII и XVIII вв. критика «силлогистики» шла как по линии выявления эмпирической базы построения и применения научных рассуждений, так и по линии выявления новых познавательных средств, возникших в науке с ее переходом к исследованию связей между предметами, к построению абстрактной и систематической теории предметов. В поле внимания людей, хоть сколько-нибудь осознавших природу того нового, что несло с собой возникшее в результате научной революции экспериментальное и математическое естествознание, попадали формы знания, специфически выражающие различного рода объективные связи между предметами и связи между свойствами предметов (в отличие от изолированного фиксирования отдельных свойств, отношений, их классификации и т. п.). В этом изменении ориентации науки о мышлении, в этом обращении к анализу форм знания о связях основную роль сыграли такие мыслители, как Галилей, Бэкон, Декарт, Лейбниц, Ньютон и впоследствии Кант, Фихте, Гегель. Хотя на первых порах, особенно у Декарта и Лейбница, возникшая в науках способность (логическая форма) рассматривать предметы как связи осознавалась и анализировалась неотчлененно от проблем дедуктивного научного построения, дальнейшей разработки формальных исчислений и систем доказательства, подталкиваемой процессом интенсивной математизации знания, тем не менее интерес к опытно-эмпирическим основаниям и происхождению этой способности, к строению процесса обнаружения и исследования объективных связей в предметных действиях ученого явственно пробивался как определенная тенденция. Проблематика эта существовала, и попытка ее разрешения не могла не строиться как с самого начала содержательная, хотя привлекаемое содержание и понималось ограниченно-эмпирически (и соответственно не давалась обобщенно-логическая характеристика строения мысли, познающей связь вещей). Оппозиция формальной логике была на деле не столько отрицанием ее выводов относительно ее собственного предмета, сколько введением в круг рассмотрения новых явлений мышлений, лежащих вне традиционных проблем анализа готового знания, вне задач классификации и описания в науках и требующих содержательного подхода для своего понимания. Эта позиция содержательного изучения особых проявлений активности мышления, связанных с новой концепцией предметной области в конкретных науках, и была сформулирована Гегелем как задача логики — науки формальной.

Несомненно, что для Гегеля мир был чем-то связным и диалектическим и что его занимали как раз формы знания о связях. И его стремление выделить обобщенную мысленную форму в активных операциях содержательного движения мысли подталкивалось прежде всего тем, что он обнаруживал в рамках такой «онтологии» особые средства познания, отличные от тех, которые изучались формальной логикой, и неизвестные ей. Именно эти явления Гегель стремился обобщить. Если наука исторически перешла — а в XVII–XVIII вв. это начинало приобретать уже массовый характер — к исследованию связей предметов и особенно сложных систем этих связей, то такая новая концепция предметной области науки должна была реализоваться с помощью определенной логической организации, упорядоченности процесса исследования этой области и построения знания о ней. Сам ход открытия нового в предмете науки, т. е. установления нового понятийного строя мысли, вычленения нового мысленного содержания и образования научных абстракций, каким-то образом упорядочен: определены выбор и последовательность рассмотрения объективных связей, переход от одних к другим, анализ одних на основе анализа других и т. д. Иными словами, принципы понимания объективных связей и систем связей реализуются в определенной логической форме исследования. Пути этой реализации обычно составляют внутреннюю, скрытую за определенными результатами сторону опыта научного мышления и его истории и могут закрепляться в неосознанных мысленных навыках, рассматриваться просто как само собой разумеющееся следствие характера объективной действительности или как индивидуальная сноровка ученого, составляющая тайну его творческой лаборатории. Но философия должна специально выявлять их как логические формы. В качестве таковых они изучаются именно диалектикой, проникающей во внутреннюю лабораторию научного творчества. Подобная задача может быть решена только как содержательная, что означает просто тот факт, что формальная характеристика определенных специфических логических связей невозможна без выявления объективной основы этих связей в опытном содержании знания. Пониманием этого обстоятельства мы и обязаны диалектике.

В указанных двух смыслах и идет речь о построении «содержательной логики» начиная с Гегеля. Уже Гегелем процесс мышления «берется как деятельность в соотношении с предметами»[45]. Это рамки для выяснения соотношения формы и содержания и, следовательно, для их определения в теории. В «форму» Гегель должен включить те свойства и связи мысли, которые наблюдаются в этой соотнесенности мысли с предметом (в отличие от тех, которые могут быть прослежены путем построения формальных знаковых систем и исчислений, отображающих в современной формальной логике связи использования готового знания, выведения из него других знаний на основе каких-то чисто логических его свойств, доказательства истинности таким образом полученных знаний и т. д.).

Это значит, что термин «форма» будет употребляться здесь фактически в другом смысле, чем это делается в формальной логике. В последней под «логической формой» (или «логическим законом») имеются в виду всегда истинные, или тождественно истинные формулы исчислений высказываний и дедуктивных систем и ставится задача абстрактно-теоретически разработать набор всевозможных (в том числе и в естественном рассуждении не встречающихся) логических схем такого рода вместе с определениями, формулирующими условия их истинности. Возможность выражения в них какого- либо «куска» естественного рассуждения служит его логическим доказательством или проверкой. Как устанавливаются или соблюдаются условия истинности, формулируемые в логической схеме, в ней самой не указывается. Они предполагаются данными и постоянными, — так же, как предполагается, что существует, возможно и т. д., какое-то фактическое состояние эмпирических предметов, соответствующее выводимым элементам «формы». Но логические формы в том смысле, в каком о иих говорится в диалектике, не могут быть и не являются всегда истинными схемами знания, не гарантируют от возможных ошибок и ложных выводов в процессе мышления, выполняющего условия этих форм. Ибо речь идет как раз о соблюдении или создании условий истинности, связанном с действиями познающего человека. А в этой реальной деятельности такие условия неустойчивы, изменчивы, контролируемы не абсолютно, неполны, связаны с характером онтологических обобщений и границами их применимости, со сменой одних иными, с другими знаниями и допущениями, что в целом создает возможность ошибок (устраняемых бесконечным, в принципе, процессом познания), исключает абсолютную истинность знаний и их однозначность. Но, с другой стороны, именно изменчивость условий истинности (диктуемая различиями эмпирических данных, последствиями познавательных действий, новыми онтологическими обобщениями, переходом с одного уровня абстракции на другой и т. п.) и образует принципиальную возможность получения и построения нового знания человеком. Действительное постоянство, неизменность этих условий вообще исключали бы появление какого-либо нового знания и свели бы работу мысли к высказыванию тавтологий.

Поскольку в диалектической, содержательной логике под «логической формой» понимается то общее, что существует именно в деятельности создания условий истинности и контроля над изменениями в них, протекающей в постоянной соотнесенности с предметами, то поэтому в диалектическую логику и привлекается предметное содержание. В зависимости от характера последнего решается вопрос о происхождении самой логической формы (или способности каким-то образом отражать предмет) и о протекании мысленного действия в ее рамках, оставляя в стороне вопрос о безошибочности или проверке познавательных результатов, получаемых применением сложившейся формы. Иными словами, основания для обобщения наблюдаемых логических свойств процесса исследования и построения знания ищутся в определенных свойствах предметной области (идеально пересаженных в человеческую голову и преобразованных в ней). Ищутся именно предметные вехи, обусловливающие устойчивую и общую форму движения мысли в этой ее (мысли) постоянной соотнесенности с эмпирическим предметным содержанием.

Но мыслимое содержание есть нечто динамичное, это не просто свойство предмета, статично данное на поверхности, а момент соотношения мысли с предметом, где одни связи — содержательные — реализуются посредством других — формальных — в выработке знания о конкретном предмете. Речь ведь идет об абстрактном содержании, как мы показывали в предшествующей главе. Когда говорят о предметах мышления с точки зрения содержательной логики, то имеются в виду не те или иные конкретно-эмпирические объекты, а их общие предметные типы, общая структура предмета, абстрагируемые из тог. о, каковы эмпирические отношения (т. е. имеется в виду то общее, что в любом предмете такого рода отражается соответствующими процессами мышления). Вопрос о форме и содержании мышления есть вопрос о связи логических форм с содержанием мышления, взятом в философски обобщенном виде. Изучение их в такой связи отнюдь не есть то, с чего философия исторически начинала.

Как известно, изучение формы вне зависимости от всякого содержания и безотносительно к нему — факт исторический, которым характеризуется весьма длительный период развития логики и который Гегелем застается как данный. Но в чем смысл такого отрыва, против которого Гегель обратил всю полемическую силу своего учения, требуя логики содержательной? Ведь, например, у основателя формальной логики Аристотеля логические формы вычленяются и изучаются применительно к совершенно определенному пониманию содержания, предполагают предварительную концепцию предметной области знания. Этой концепцией, для него было учение о соотношении частного (явления) и общего в бытии. Да и современная математическая логика развивалась, только произведя новые абстракции в содержательном мышлении и учтя в них то развитие и усложнение процессов вывода и доказательства в науках, пользующихся дедукцией, которое совершилось со времени Аристотеля. Поэтому она и продвинула вперед изучение логических отношений и законов методом формализации, т. е. методом, не предполагающим обращение к содержательному значению рассматриваемых выражений мысли и «созданным в свое время Аристотелем. Формализм в гносеологическом смысле является в действительности иллюзией (хотя эта иллюзия и популяризировалась догегелевской философией и гносеологическими интерпретациями формальной логики). Реален он лишь как метод решения определенных логических задач, обособляемых в отдельную теорию, называемую «формальной логикой», и как таковой он необходим и обладает неоспоримой познавательной ценностью. Точно так же важен лишь-реальный смысл полемических утверждений Гегеля о том, что формы мышления не суть нечто пустое, субъективное и внешнее по отношению к содержанию, что они не безразличны к последнему и т. п. Эти высказывания достаточно известны и встречаются в «Логике» буквально на каждом шагу. Однако перед тем, как выявить их реальный смысл, мы должны точнее определить связь «форма — содержание мышления» в позитивном плане.