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