В средние вв. в развитии логики как науки сыграла проблема общих понятий – «универсалий». Спор о них растянулся на столетия. Суть проблемы заключается в том, что появляется раньше – общие понятия, вытекающие из нашего разума (рационализм), или единичные фактические предметы (номинализм).
В эпоху Возрождения логика переживала настоящий кризис. Она расценивалась как «искусственное мышление» и противопоставлялась естественному мышлению, основывающемуся на интуиции и воображении.
Следующий этап в развитии логики начинается с XVII в. Он связан с созданием в ее рамках индуктивной логики, в которой нашли отражение многообразные процессы получения общих знаний на основе накопившегося эмпирического материала. Потребность в таких знаниях наиболее полно осознал и выразил в своих трудах Ф. Бэкон (1561–1626). Он и стал родоначальником интуитивной логики. В противовес старому «Органону» Аристотеля Бэкон написал «Новый органон», где и изложил основные положения индуктивной логики.
Индуктивная логика значительно позже была систематизирована и развита английским философом Джоном Стюартом Миллем (1806–1873) в его двухтомном труде «Система логики силлогистической и индуктивной».
Огромный вклад в развитие формальной логики внесли русские ученые. Оригинальные логические концепции в России разрабатывались в XVIII в., и связаны прежде всего с именами М. В. Ломоносова и А. Н. Радищева. Расцвет же логических исследований в нашей стране относится к концу XIX в. Это прежде всего такие логики как М. Каринский, Л. Рутковский, С. Поварнин.
Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила название символической. Первой попыткой создания данного вида логики стала разработка символической формализованной системы, предпринятая Г. Лейбницем (1646–1716). Лейбниц по существу стал основателем символической логики. Он стремился изобрести универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Новое знание, по его мнению, будет результатом логического исчисления. Он различал два вида логических исчислений: исчисление высказываний и исчисление предикатов. При первом допускается отвлечение от понятийной структуры суждения, а при втором эта структура учитывается, и соответственно символический язык дополняется новыми знаками. Однако его труды не получили признания – символическая логика не получила широкого распространения.
Более благоприятные условия для развития символической логики сложились во второй половине XIX в. К этому времени математизация наук достигла значительного прогресса, а в самой математике возникли проблемы ее обоснования. Наиболее важная отличительная особенность данного этапа в развитии логики состоит в разработке новых методов решения традиционных логических проблем. Это разработка и применение так называемого формализованного языка – языка символов, т. е. буквенных или каких-нибудь других знаков.
Символическая логика находит все большее применение в различных науках – математике, кибернетике, биологии, экономике и т. п. Открывая возможность как бы автоматизировать процесс рассуждения, она позволяет передать некоторые функции мышления техническим устройствам.
Растущие потребности научно-технического прогресса обуславливают дальнейшее развитие современной логики.
Особенности современной логики
Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем название «классическая логика». У ее истоков стоят ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В их работах была реализована идея переноса в логику тех методов, которые обычно применяются в математике. Классическая логика по-прежнему остается ядром современной логики, сохраняющим как теоретическую, так и практическую значимость. Таким образом, классическая логика продолжает традиции аристотелевского направления в развитии логики, используя при этом современный математический и категориальный аппарат.
Однако в начале XX в. началась критика классической логики. В результате возникло множество новых направлений, которые получили название неклассической логики.