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

Математическая логика, как любая другая математическая дисциплина предметом своего изучения имеет математическую модель, в данном случае - модель человеческих рассуждений и правил умозаключений. И как всякая модель она и адекватна, и не совпадает с самой содержательной логикой.