Название науки логики происходит от древнегреческого слова «λογος», которое означает «разум», «рассуждение».
Логика является одной из древнейших наук на Земле. Она возникает как часть риторики, науки об ораторском искусстве, в связи с необходимостью построить правильную, убедительную, последовательную речь. Другой областью, где логика была широко распространена, была практика судопроизводства. В использовании логики нуждались также возникающие в эпоху античности естественные науки, в первую очередь, математика.
Широко известны исследования в области логики древнегреческих философов, таких, как Демокрит (родился около 470-460 гг. до н.э.), Сократ (469-399 гг. до н.э.), Платон (427-347 гг.до н.э.). По свидетельствам древних авторов, не дошедшее до нас сочинение Демокрита «Канон», или «О логике», содержало элементы индуктивной логики. Индукция по Сократу - это способ уточнения понятий этики, заключающийся в следующем: берется первоначальное определение какого-либо понятия, например, понятие «мужество», анализируются различные случаи употребления данного понятия; если этот анализ приводит к необходимости уточнить понятие, то оно уточняется, затем процедура повторяется. Платон понимал под индукцией так называемую обратную дедукцию. Однако «отцом логики» по праву можно назвать величайшего греческого философа Аристотеля (384-322 гг. до н.э.). В сочинениях, объединенных под названием «Органон», он первым проанализировал и систематизировал основные логические формы и правила рассуждения. В сочинении «Первая аналитика» он исследовал формы выводов и сформулировал учение о категорическом силлогизме. В произведении «Вторая аналитика» Аристотель обосновал принципы научного доказательства, в работе «Об истолковании» рассмотрел некоторые виды высказываний, в труде «Категории» предложил подходы к разработке учения о понятии. В сочинении «О софистических опровержениях» Аристотелем были выявлены истоки логических ошибок в спорах. Проблемам логики философ уделял внимание и в таких философских работах, как «Метафизика», «Риторика», «Топика». Сочинения, написанные Аристотелем, заложили основу традиционной формальной логики, в неизменном виде просуществовавшей болен двух тысяч лет, вплоть до середины XIX века.
В этот период необходимо выделить такие этапы в развитии логики, как, например, логические исследования средневековых мыслителей, таких, как Росцелин, Раймунд Луллий, Дунс Скотт, которые использовали логику для доказательства истин теологии. Известна также разработка проблем логики в Новое время в трудах Ф.Бэкона, В.Г.Лейбница, Д.Милля, систематизировавшего исследования в области применения индуктивных методов.
Начиная с второй половины XIX века логики стали широко применять методы символической (математической логики), которая представляет высказывания на основе формализованных языков. Основными элементами этих языков являются специальные символы, которые определенным образом интерпретируются. Идея символической логики была высказана гораздо раньше, известным математиком и философом Г.В.Лейбницем, утверждавшим, что единственным средством улучшить наши умозаключения является сделать их, как у математиков, наглядными, чтобы ошибки сразу бросались в глаза и можно было бы легко разрешать споры. Ее развитие связано с именами Дж.Буля, Ч.Пирса, Г.Фреге, А.М.Де-Моргана. Первым «капитальным» трудом по символической логике была книга Б.Рассела и А.Уайтхеда «Principia mathematica» в трех томах, опубликованная в 1910 – 1913 годах.
В ХХ веке в качестве важных областей логических исследований выступили проблемы методологии, логической семиотики и символической логики.