Последние годы отмечены возрождением преподавания логики. Главная причина повышения значимости логики как фундаментальной учебной дисциплины связана с впечатляющими успехами в создании и применении новых информационных технологий. Ключевой элемент информатизации – компьютер – является, как известно, ничем иным как логической машиной. Поэтому формирующаяся информационная  технология обучения требует несравненно более высокой, чем прежде, логической культуры.

Логика состоит из традиционнойлогики, излагаемой как философская дисциплина, исследующая условия правильности мышления, и символической (или математической) логики, исследующей абстрактные логические структуры. Первую ее часть рассматривают при изучении гуманитарных наук, а вторую в преподавании курса математики.