Изменение смысла основных понятий логики
Сейчас логический анализ научного знания активно ведется в целом ряде как давно освоенных, так и новых областей. Самым общим образом их можно обозначить так.
1. Методология дедуктивных наук. Этот раздел достаточно глубоко и всесторонне разработан математиками и логиками. Многие результаты, полученные здесь (например, теорема Гёделя о неполноте и др.), имеют принципиальное философско-методологическое значение.
2. Применение логического анализа к опытному знанию. К этой сфере относятся изучение логической структуры научных теорий, способов их эмпирического обоснования, исследование различного рода индуктивных процедур (индуктивный вывод, аналогия, моделирование, методы установления причинной связи на основе наблюдения и эксперимента и т.п.), трудностей применения теорий на практике и т.д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т.д.
3. В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют общенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.
4. Применение логического анализа к оценочно-нормативному знанию. Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и других кодексов. Тема ценностей стала одной из центральных в сегодняшней методологии. Знание не сводимо к истине, оно включает также ценности. Без них нет ни гуманитарной, ни естественной науки. Всякая научная теория включает ценности, и притом в самой разнообразной форме: в форме иерархии своих положений, в форме ценностных составляющих господствующей парадигмы (номинальных) определений, конвенций и т.д. Интенсивные исследования в этой области показали несостоятельность неопозитивистского требования исключения ценностей из науки. Это требование несовместимо не только с реальной практикой этики, эстетики, политэкономии и подобных им дисциплин непосредственно занятых обоснованием и утверждением определенных ценностей, но и с практикой научного познания в целом, которое, как и всякая человеческая деятельность, немыслимо без целей и иных ценностей. В изучении внутренних и внешних ценностей научных теорий важную роль призвана играть и логика.
5. Применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, типологизации, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т.п.
Этот краткий перечень областей и проблем логического исследования научного знания не является, конечно, исчерпывающим. Но уже он показывает как широту интересов логики науки, так и сложность стоящих перед нею задач.
Если не принимать во внимание давно сформировавшуюся методологию дедуктивных паук, существенный вклад в которую внесла логика, можно сказать, что логика пауки не достигла пока особо впечатляющих результатов. Тем не менее, движение есть и есть перспектива. И уже сейчас можно сделать вполне определенный вывод о плодотворности крепнущих связей логики с естественными и гуманитарными пауками как для методологии этих наук, так и для самой логики.
Логика не является эмпирической наукой в обычном смысле, но она черпает основные импульсы к развитию из практики реального мышления. Изменение этой практики ведет к изменению логики. Особенно ярко это проявилось в математизации логики и возникновении математической логики в тот период, когда логика сблизилась с математикой и занималась реальной проблематикой ее оснований.
Если логика отрывается от своей эмпирической почвы, над нею нависает опасность вырождения в чистый формализм, в ничем не мотивированную игру с определениями, когда логические системы создаются «из любви к искусству».