В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки, бурно развиваются как теории, так и практики «машинного мышления», создаются вычислительные системы.
В 80 годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось создание экспертных систем с использованием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ. Появление персональных компьютеров в школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов логического программирования для компьютеров пятого поколения, и разработке учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.