Логика: ее происхождение и развитие

Неопозитивистское расширительное истолкование возможностей современной  логики в исследовании науки было преодолено только в конце 50-х -- начале 60-х годов, когда стало очевидно, что задачи, которые выдвигались  перед современной логикой неопозитивизмом, плохо поставлены и не имеют решения. Сейчас логический анализ научного знания с использованием современной логики активно ведется в целом ряде как давно освоенных, так и  новых областей.

Самым общим образом  их можно обозначить так. Этот раздел достаточно глубоко разработан, многие результаты, полученные здесь (например, Гёделя теорема о неполноте достаточно богатых формализованных языков и др.) имеют принципиальное философское  и методологическое значение.

К этой сфере относятся  изучение логической структуры научных  теорий, способов их эмпирического  обоснования, исследование различного рода индуктивных процедур (индуктивный  вывод, аналогия, моделирование, методы установления причинных связей на основе наблюдения и эксперимента и т. п.), трудностей применения теорий на практике и т. д. Особое место занимают проблемы, связанные с изучением смыслов  и значений теоретических и эмпирических терминов, с анализом семантики таких  ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т. д.

В последнее время существенное внимание уделяется логическому  исследованию процессов формирования, роста и развития знания. Они имеют  общенаучный характер, но пока изучаются  преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.

Сюда относятся вопросы  семантики оценочных и нормативных  понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и др. кодексов и т. д. К ним относятся  объяснение, понимание, предвидение, определение, обобщение, классификация, типологизация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т. д.

Этот перечень областей и проблем логического исследования научного знания, опирающегося на современную  логику не является исчерпывающим. Он показывает как широту интересов  современной логики так и сложность  стоящих перед нею задач.

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

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

В рамках такого анализа  символическая логика сама по себе не решает каких-либо конкретных проблем  методологии науки, но логическое исследование представляет собой, как правило, необходимую  предпосылку, рассмотрения таких проблем. Современная логика не только используется в методологическом анализе, но и  сама получает важные импульсы в результате обратного воздействия своих  приложений.

Имеет место взаимодействие логики и методологии в анализе  научных теорий, а не простое применение готового аппарата к некоторому внешнему для него материалу. Особенно заметным это стало в последние годы, когда смещение центра интересов  методологии науки, от анализа готового знания к исследованию роста и  развития знания, постепенно ведет  к соответствующему изменению проблематики как логики науки, так и современной  логики.

Математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой  остается ее познавательная функция  и методическая роль как науки  о законах и формах правильной мысли, ведущей к утверждению  истины.

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