Формальная логика – одна из самых древних наук. Она создавалась в Древней Греции в VI-V вв. до н.э. Немного позже фрагменты логической науки независимо возникли в Древней Индии, где первыми логиками были Даттария Пунарваса Атрея, женщина-аскет Сулабху и Аштвакра. Греческая логика распространилась в Западной и Восточной Европе и на Ближнем Востоке, а индийская – в Китае, Японии, Тибете, Монголии, Индонезии и на Цейлоне. Первоначально логика разрабатывалась в связи с запросами практики судопроизводства и ораторского искусства. Связь логики с этими сферами человеческой деятельности прослеживается в Древней Индии, Древней Греции и Риме. Так, в общественной жизни Индии в период, когда проявлялся интерес к логике, дискуссии были постоянными явлением. Судебные и политические дискуссии были распространены и в Древней Греции. Часто судебное решение зависело от логической доказательности речи обвиняемого или обвинителя. Большим уважением пользовались люди, которые готовили речи участникам судебных разбирательств. Иногда при определении победителя дискуссии мнения присутствующих (или) судей разделялись. Это и послужило причиной создания логических норм рассуждений, которые позволяли избегать разногласий и приходить к единому мнению. Еще одним стимулом для создания науки логики были требования математики, где необходимы строгие доказательства.В Древней Греции логику разрабатывали Парменид (V-VI вв. до н.э.), Демокрит (ок. 460-ок. 370 до н.э.), Зенон Элейский (ок. 500 – ок. 430 до н.э.), Сократ (460/469 – 399 до н.э.), Платон (427 – ок. 347 до н.э). Однако основателем науки логики считается величайший мыслитель древности ученик Платона – Аристотель. Аристотель впервые обстоятельно систематизировал логические формы и правила мышления. Он написал ряд сочинений по логике, которые впоследствии были объединены под общим названием «Органон» (орудие познания).Поскольку логика разрабатывалась древними авторами в качестве руководства для ведения дискуссий, она часто называлась диалектикой. После Аристотеля в Древней Греции логика разрабатывалась стоиками. Значительный вклад в латинскую логическую терминологию внесли древнеримский судебный и политический оратор М.Т. Цицерон и древнеримский теоретик ораторского искусства, и оратор Квинтилиан. Логику разрабатывали арабоязычные ученые, например, Аль-Фараби, а также европейские логики Средних веков. Средневековая логика называется схоластической, ее расцвет относят к XIV и связывают с именами У. Оккама, У. Берли и А. Саксонского. Логика развивалась в эпоху Возрождения и Новое время. В 1620 году в Лондоне был опубликован труд известного философа Ф. Бэкона «Новый органон», в котором содержались основы индуктивных методов. В 1662г. в Париже был издан ставший знаменитым учебник «Логика Пор-Рояля». Логика, основанная на учении Аристотеля, во многом дополненная и развитая, существовала до начала XX века. В начале его произошла своеобразная научная революция, связанная с широким применением для исследований рассуждений методов так называемой символической (математической) логики. Идеи последней высказаны немецким ученым Г.В. Лейбницем. Идея Лейбница в течении многих лет не находила развития и применения. Символическая логика начала создаваться лишь в середине XIX в. Ее развитие связано с деятельностью Дж. Буля, А.М. Де-Моргана, Ч. Пирса, Г. Фреге и других известных ученых. Значительный вклад в создание символической логики внесли русские ученые П.С. Порецкий, Е.Л. Буницкий и др. К началу текущего столетия она оформилась в качестве относительно самостоятельной дисциплины в рамках логической науки. Применение методов символической логики к решению проблем, поставленных традиционной логикой, а также проблем, которые даже не могли быть ее поставлены, вызвало в начале XX в. революцию в логике. Именно использование методов символической логики отличает логику современную от традиционной, но в современной логике сохраняются все достижения и вся проблематика традиционной логики. Диалектическая логика также имеет древнее происхождение. Основные категории диалектической логики использовались уже в ранней греческой классике, однако они не были объединены в систему, и диалектическая логика не рассматривалась как самостоятельная наука. В развитие диалектической логики определенный вклад внесли Платон и Аристотель. Классические формы диалектической логике предали немецкие философы Нового времени Кант, Фихте, Шеллинг, и в особенности Гегель. Диалектическая логика Гегеля является систематическим учением, созданным с позиции объективного идеализма.
