Проблемы логики начинают разрабатываться уже мыслителями Древней Индии и Древнего Китая, но зарождение логики как науки связано с именем античного философа Аристотеля (384–322 до н.э.), заложившего основы дедуктивной, силлогистической логики. Логические сочинения Аристотеля были впоследствии объединены его комментаторами под общим названием «Органон» («орудие знания»). В средние века логика развивается в рамках схоластики; в эпоху Возрождения схоластическая философия, а с ней и аристотелевская логика, начинают подвергаться критике. Английский ученый XVI–XVII веков Ф.Бэкон в своем произведении «Новый органон» разрабатывает основы индуктивной логики. С именем немецкого ученого XVII–XVIII веков Г.Лейбница связан поворотный пункт в развитии логики. Он выдвигает идею математизации логики, развитие которой в середине XIX века привело к созданию символической, или математической, логики.