СОВРЕМЕННАЯ ЛОГИКА

- одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. - начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая логика. Определение "математическая" подчеркивает сходство С. л. по используемым методам с математикой. Определение "символическая" указывает на употребление в С. л. специально созданных для целей логического анализа языков формализованных, являющихся, так сказать, "насквозь символическими". Определением "современная" новый этап противопоставляется традиционной логике, отличительной чертой которой было то, что она пользовалась при описании правильных способов рассуждения обычным, или естественным, языком, дополненным немногими специальными символами. Традиционная логика и С. л. не являются разными научными дисциплинами, а представляют собой два последовательных периода в развитии одной и той же науки. Основное содержание традиционной логики вошло в С. л., хотя многое при этом оказалось переосмысленным.
С. л. с особой наглядностью показала, что развитие логики тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логической формой, логическим законом и т. п. Теории логической правильности оказываются в конечном счете очищением, систематизацией и обобщением практики мышления.
С. л. активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в методологии науки. Сфера приложений С. л. в изучении систем научного знания непрерывно расширяется.
С. л. явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания.
В 30-40-е годы логика науки интенсивно разрабатывалась в рамках философии неопозитивизма, сделавшей логический анализ языка науки основным средством борьбы с "дурной метафизикой" и порождаемыми ею "псевдопроблемами". Неопозитивизм принял идею о безоговорочной применимости С. л. не только к математике, но и к опытному знанию и резко противопоставил свою логику науки традиционному философскому и методологическому исследованию познания. С точки зрения неопозитивизма, научное знание беспредпосылочно, полностью сводимо к непосредственному опыту и не зависит ни от "метафизики", ни от того социокультурного контекста, в котором существует; научная теория рассматривается только в статике, анализ ее возникновения и развития выносится за рамки методологии; факты считаются независимыми от теории и в совокупности составляющими тот безусловный фундамент, к которому должны сводиться теоретические положения. Все эти особенности неопозитивистской методологии науки - изоляционизм, отказ от исследования научного знания в динамике, наивный индукционизм, эмпирический фундаментализм и редукционизм - сказались не только на самой этой методологии, но и на направляемом ею логическом анализе научного знания. Претенциозная программа сведения философии науки к логическому анализу ее языка потерпела крах. Причина этого краха не в принципиальной неприменимости С.л. к опытному знанию, а в порочных философско-методологических установках, связанных с фетишизацией формальных аспектов познания, абсолютизацией языка и формальной логики.
Неопозитивистское расширительное истолкование возможностей С.л. в исследовании науки было преодолено только в конце 50-х - начале 60-х годов, когда стало очевидно, что задачи, которые выдвигались перед С.л. неопозитивизмом, плохо поставлены и не имеют решения.
Сейчас логический анализ научного знания с использованием С. л. активно ведется в целом ряде как давно освоенных, так и новых областей. Самым общим образом их можно обозначить так.
1. Методология дедуктивных наук.
Этот раздел достаточно глубоко разработан, многие результаты, полученные здесь (например, Геделя теорема о неполноте достаточно богатых формализованных языков и др.) имеют принципиальное философское и методологическое значение.
2. Применение логического анализа к опытному знанию.
К этой сфере относятся изучение логической структуры научных теорий, способов их эмпирического обоснования, исследование различного рода индуктивных процедур (индуктивный вывод, аналогия, моделирование, методы установления причинных связей на основе наблюдения и эксперимента и т. п.), трудностей применения теорий на практике и т. д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т. д. В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют общенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.
3. Применение логического анализа к оценочно-нормативному знанию.
Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и др. кодексов и т. д.
4. Применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности.
К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, типологизация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т. д.
Этот перечень областей и проблем логического исследования научного знания, опирающегося на С. л., не является исчерпывающим. Он показывает как широту интересов. С. л., так и сложность стоящих перед нею задач.
Логика науки, не является ни "ветвью", ни "разделом" С. л., в отличие от таких разделов последней, как, напр., многозначная логика или логика времени. Логика науки не является и особой "дисциплиной", существующей наряду с С. л., а есть лишь особый аспект логики, связанный с приложением логических систем к практике научного теоретизирования и выделяемый только по контрасту с чистым исследованием формальных построений (исчислений). В С. л. нет разделов, как-то по-особому связанных с наукой; вместе с тем все разделы С. л., включая и центральный - теорию логического следования, так или иначе связаны с логическим анализом научного познания.
С. л. взаимодействует с наукой прежде всего через методологию научного познания, поэтому обычно говорят не просто о "логике науки" ("логике научного познания"), а о "логике и методологии науки" или о "логико-методологическом анализе науки". В рамках такого анализа С. л. сама по себе не решает каких-либо конкретных проблем методологии науки, но логическое исследование представляет собой, как правило, необходимую предпосылку, рассмотрения таких проблем.
С. л. не только используется в методологическом анализе, но и сама получает важные импульсы в результате обратного воздействия своих приложений. Имеет место взаимодействие логики и методологии в анализе научных теорий, а не простое применение готового аппарата к некоторому внешнему для него материалу. Особенно заметным это стало в последние годы, когда смещение центра интересов методологии науки, от анализа готового знания к исследованию роста и развития знания, постепенно ведет к соответствующему изменению проблематики как логики науки, так и С. л.