Возникновение логики связывают с древнегреческим философом Аристотелем (384–322 гг. до н. э.), но зародилась она в Индии и Китае (VI в. до н. э.). На начальных этапах ее развития в Древней Индии большое внимание уделялось теории умозаключения, которое отождествлялось с доказательством. В Древнем Китае большинство логических теорий были разбросаны по различным трактатам, которые посвящались вопросам философии, этики, политики и естествознания. В них акцентируется внимание на таких логических проблемах, как теория имен, теория высказывания, теория рассуждения, законы мышления.
Аристотелем был написан фундаментальный труд по логике «Органон», что в переводе с греческого означает «орудия познания»). Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов.
Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, выделяют Галена, Порфирия, Боэция, сочинения которых длительное время служили основными логическими пособиями.
Важнейшим этапом в развитии логики явилась теория индукции, разработанная английским философом Ф. Бэконом (1561–1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении «Новый Органон». Однако он неправомерно противопоставил индуктивный метод методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж. Миллем (1806–873).
Дальнейшее развитие логики связано с именами Р. Декарта, Г. Лейбница, И. Канта и др.
Французский философ Р. Декарт (1596–1650) развил идеи дедуктивной логики, сформулировал правила научного исследования.
Это был первый период развития логики, длившийся более двух тысячелетий. Второй начинается с трудов немецкого философа Г. Лейбница (1646–1716), сформулировавшего закон достаточного основания и выдвинувшего идею математической логики, которая получила развитие лишь в XIX–XX вв.
На первых порах современная логика ориентировалась почти всецело на анализ только математических рассуждений. В 1920-е гг. XX в. предмет логических исследований существенно расширился. Начали складываться символическая логика (включающая множество разделов, таких как логика высказываний, логика предикатов, вероятностная логика и т. д.), модальная логика (рассматривающая понятия «необходимо», «возможно», «случайно» и т. п.), деонтическая логика (изучающая логические связи нормативных высказываний), диалектическая логика (изучающая законы развития человеческого мышления) и др. Некоторые эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.
Знаменитыми русскими исследователями в области логики были М. И. Каринский (1840–1917) и Л. В. Рутковский (1859–1920). Так, М. И. Карийский внес значительный вклад в разработку классификации умозаключений. Л. В. Рутковский – автор труда «Основные типы умозаключений» (1888 г.) – считал возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и др.