В Древней Греции логику разрабатывали Парменид, Зенон, Демокрит, Сократ, Платон. Однако основателем науки логики считается величайший мыслитель древности, ученик Платона - Аристотель (384-322 до н.э.). Он написал ряд сочинений по логике, которые впоследствии были объединены под общим названием "Органон" (орудие познания). Аристотель называл свое творение аналитикой, термин "логика" вошел в научный оборот позднее, в III в. до н.э.
После Аристотеля в Древней Греции логика разрабатывалась стоиками. Большой вклад в развитие логики внесли древнеримские политические деятели Цицерон и Квинтилиан, арабоязычные ученые Аль Фараби, Ибн Рушд, европейские средневековые схоласты У. Оккам, П. Абеляр, основавший собственную школу.
В эпоху Нового времени развитие науки получает новый импульс, а это, в свою очередь позволять расширить исследования в области логики. Известный ученый и философ Ф. Бекон (1561-1626) опубликовал свое исследование под названием "Новый Органон", предполагая, что оно расширит представление человека о формах познания, дополнив "Органон" Аристотеля. В этом произведении содержались основы индуктивных методов, усовершенствованные позже Д. С. Миллем (1808-1873) и получившие название методов установления причинных связей между явлениями (методы Бекона - Милля).
В 1622 году был издан ставший знаменитым учебник "Логика Пор-Рояля". Его авторы П. Николь и А. Арно создали логическое учение, основанное на методологических принципах Р. Декарта (1596-1650).
Логика, созданная на основе учения Аристотеля, существовала до начала XX в. В XX веке появляется символическая (математическая) логика, основанная на идее немецкого ученого и философа Лейбница (1646-1716), о возможности сведения рассуждений к вычислениям. Такая логика начала формироваться в середине XIX века. Ее развитие связано с именами Дж. Буля, А. М. Де-Моргана, Ч. Пирса, Г. Фреге, русских мыслителей П. С. Порецкого и Е. Л. Буницкого и других. Первым капитальным трудом по символической логика была работа Б. Рассела и А. Уайтхеда Princiрia Mathematika в трех томах, вышедшая в 1910-1913 гг. Эта работа вызвала революцию в логике.
Идеи диалектической логики восходят к античной и древневосточной философии, но законченную форму им придали только представители немецкой классической философии: Кант (1724-1804), Фихте (1763-1814), Шеллинг (1775-1854) и особенно Гегель (1770-1831), окончательно сформулировавший основные идеи диалектики с точки зрения объективного идеализма. Диалектическую логику на материалистической основе разрабатывали К. Маркс, Ф. Энгельс, В. Ленин.
В 1930—40-е гг. формальная логика третировалась официальными философскими инстанциями как «теоретическая основа буржуазного мировоззрения», нечто несовместимое с марксизмом и коммунистическими идеалами. Активной работы в соответствующих направления не было, традиции были утрачены, немногие остававшиеся в живых специалисты были вынуждены заниматься другими дисциплинами или были лишены условий для нормального научного общения.
Ситуация несколько изменилась в 1946—47 гг., когда (по некоторым сведениям, по личному распоряжению И. В. Сталина) логика была введена в состав школьной программы (был написан ряд учебников (В. Ф. Асмуса, К. С. Бакрадзе, М. С. Строговича) и даже в сокращенном или переработанном виде переизданы «буржуазные» учебники С. Н. Виноградова и Г. И. Челпанова). За этим последовало создание кафедры логики на Философском факультете Московского университета (в качестве одного из кандидатов на занятие кафедры рассматривался А. Ф. Лосев, хотя в конце концов занял её П. С. Попов), издание ряда книг по формально-логической тематике и некоторые другие мероприятия.
Однако вокруг этой тематики с переменным успехом продолжалась борьба «диалектиков» и «формалистов». В 1950—60-е гг. формальная логика (уже уйдя из школы) обосновалась в вузах и исследовательских институтах. Выдающуюся роль в восстановлении логических исследований и преподавания логики в стране сыграли такие представители формалистического направления, как С. А. Яновская, А. С. Есенин-Вольпин, Ю. А. Гастев, А.А.Марков и др.
Обратной стороной процесса стала контр реакция со стороны «формалистов» по отношению к логикам, стремившимся разрабатывать логику вне программы её формализации. Уже в 1960—70-е г. сложности с публикациями испытывали такие логики, как А. А. Зиновьев (вынужденный затем сменить язык и перейти на «математические» символы), Э. В. Ильенков (покинувший коллектив «Философской энциклопедии» в знак протеста против подмены логической проблематики математической) и др. До некоторой степени эта реакция продолжается даже в постсоветские годы.
3.Особенности современного этапа развития формальной логики
Современная эпоха уже давно и многими учёными характеризуется как эпоха диалога. Люди, если они хотят жить в мире, должны научиться договариваться. Умение публично выступать, вести переговоры, разрешать возникающие конфликты — всё это крайне редко даётся человеку от рождения. Все мы в настоящее время болезненно ощущаем недостаток культуры спора, полемики, общения вообще.
Логика, с её традиционным вниманием к аргументации, помогает человеку стать грамотным и культурным в этой области. Несомненно, следует отметить и роль логики в усиливающемся процессе компьютеризации практически всех областей познания и практической деятельности человека, и связанным с этим ростом потока информации, что требует соответствующего программного, теоретического и логико-лингвистического обеспечения компьютерной науки и техники. Известно, что само возникновение кибернетики и информатики было бы невозможно без логики.
Позитивизм, а затем и логический неопозитивизм ХХ столетия осознал проблемы и задачи логики в контексте решения проблем обоснования научного знания. Именно в этом плане, собственно говоря, логика выглядит “полезной”. Неопозитивисты сумели достаточно подробно проанализировать вопрос о структуре научного знания, проблему объяснения и предсказания в науке, вопрос о гипотетичности научного знания, т.д.
Иными словами, сложившиеся в науке приемы и способы исследования получали описания в логике как некоторые регулятивные процедуры, и обратно, с точки зрения этих нормативных процедур подвергались анализу и оценке конкретные научные теории.
В настоящее время логика представляет собой весьма широкую область знания, богатую содержанием, разнообразием направлений и методов исследования, результаты которых активно используются во многих областях теоретического познания и практической деятельности. Она находит применение в философии, математике, психологии, кибернетике, лингвистике и др.
Логика имеет большое значение для формирования культуры мышления, умения эффективно использовать приобретенный человечеством арсенал логических познавательных средств. Логика справедливо трактуется как некоторая грамматика мышления.
Современная логика — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. — начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика или символической логики.
Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной. Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.
Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Определение «математическая» подчеркивает сходство современной логики по используемым методам с математикой. Определение «символическая» указывает на употребление в современной логике специально созданных для целей логического анализа языков формализованных, являющихся, так сказать, «насквозь символическими».
Определением «современная» новый этап противопоставляется традиционной логике, отличительной чертой которой было то, что она пользовалась при описании правильных способов рассуждения обычным, или естественным, языком, дополненным немногими специальными символами. Традиционная логика и современная логика не являются разными научными дисциплинами, а представляют собой два последовательных периода в развитии одной и той же науки.
Основное содержание традиционной логики вошло в современную логику, хотя многое при этом оказалось переосмысленным. Современная логика с особой наглядностью показала, что развитие логики тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логической формой, логическим законом и т. п. Теории логической правильности оказываются в конечном счете очищением, систематизацией и обобщением практики мышления.
Современная логика активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в методологии науки. Сфера приложений современной логики в изучении систем научного знания непрерывно расширяется. Современная логика явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания.
В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться символическая логика, включающая множество разделов: логика высказываний, логика предикатов, вероятностная логика и т.д.); модальная логика, рассматривающая понятия необходимо, возможно, случайно и т.п.; деонтическая логика, изучающая логические связи нормативных высказываний; диалектическая логика, изучающая законы развития человеческого мышления, и др. Некоторые эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.