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