С другой стороны, характеризуя познавательные средства науки с точки зрения их активности, т. е. беря их как определенного рода деятельность человека, в логическом аппарате науки следует различать два ряда разнородных явлений. Это, во-первых, средства, позволяющие получать новое знание посредством исследования уже имеющихся знаний и распространения их путем вывода (дедуктивного или индуктивного) на новые предметы или явления. Наука получает массу новых знаний из уже имеющихся, пользуясь их доказательством, логическим выведением из них всех возможных следствий, аксиоматическим и гипотетико-дедуктивным построением теорий относительно определенной опытно- эмпирической области, выражением последней в некоторой формальной системе (она в дальнейшем сама становится объектом действий и логических операций независимо от содержания исходной области абстракции), ее математическим моделированием и т. д. и т. п. При таком способе получения новых знаний в самих предметах, мысленное выражение которых выступает лишь в качестве условий осуществления процесса дедукции, не производится никакого нового расчленения или изменения, и вообще привлечение аргументов опытного порядка, или, иначе говоря, выделение в предметах нового мысленного содержания и образование новых абстракций, здесь не предполагается. А если и привлекается предметная ситуация, создавшаяся в результате познавательных действий исследователя с предметами или активного вмешательства исследователя в действительность (в мысленном или вещественном эксперименте, наблюдении и т. п.), то она берется-как готовая и данная в форме знаний (высказываний), выявляется и оценивается логическая форма последних и в таком виде они включаются в рассуждение, отвлеченно от генезиса самих этих знаний в действиях с предметами. Речь идет о способах получения нового знания путем чисто логической обработки данного, путем конструирования формализованных схем выведения знаний друг из друга и комбинаторики связей между ними. Соотнесение с действительностью и привлечение содержания здесь осуществляются посредством особой, отдельной процедуры, вынесенной за рамки самого выведения знаний, — интерпретации, проверки выводов в сопоставлении с данными наблюдения, установления критериев принятия или отвержения гипотез и т. д. Такие средства мышления, приобретающие с развитием науки, ее математических и гипотетико-дедуктивных задач весьма сложный и разветвленный вид, традиционно изучались формальной логикой и поныне составляют ее предмет- На современном своем этапе — на этапе так называемой символической, или математической, логики — она изучает его более эффективными и абстрактно-теоретическими методами математики, построения исчислений и формальных знаковых систем[12]. Естественно, вопрос об изучении активности мышления в том смысле, в каком мы о ней говорили, здесь не стоит. Более того, в целях изучения указанных свойств и сторон процесса рассуждения методами построения исчислений и формализмов формальная логика вообще отвлекается от того, что это рассуждение представляет собой форму человеческой деятельности, и, соответственно, отвлекается от того, как, в каком порядке и на какой основе создаются условия получения знаний самим мыслящим субъектом, применяющим рассматриваемый логикой процесс рассуждения и вывода, как в конкретно-эмпирической познавательной ситуации деятельный субъект, решающий определенные задачи, контролирует применение определенных логических приемов и соотносит их с содержанием. Формальная логика исходит просто из того факта, что какова бы ни была деятельность конкретных субъектов, познающих определенное содержание, и как бы ни складывалась ее общественно-человеческая форма, в состав этой деятельности непременно входят операции над готовыми знаниями (понятиями и суждениями): их преобразуют, переводят из одной формы в другую по определенным правилам, выводят друг из друга и т. д. Она и изучает, что можно делать с этими знаниями как особыми предметами (данными и готовыми), отвлекаясь от их генезиса.
Но эта абстракция не годится для воспроизведения другого рода явлений в познании т- того несомненного факта, что в познании функционируют такие логические средства, при которых новые знания получаются путем действий с предметами (а не только с логическим строением знаний) и которые, следовательно, основываются на привлечении содержания к построению хода рассуждения, осуществляемого в целях разрешения определенной познавательной задачи и получения нового познавательного результата. Без понятия активности как формы человеческой деятельности, без изучения условий приобретения знания, создаваемых и контролируемых самими субъектами в данной общественно-исторической сфере их труда, здесь уже не обойтись. Это понятие и прилагается к изучению процесса образования новых знаний общественным субъектом, поскольку эти знания добываются путем познавательных действий с предметами и создания объективированных условий движения мысли[13].