В чем заключается отличие символической логики от математической?

Символическая логика шире математической логики. gtmarket.ru spravochnick.ru

Математическая логика — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. ru.ruwiki.ru ru.wikipedia.org Она подразумевает изучение только тех типов логических рассуждений, которыми пользуются математики. gtmarket.ru

Символическая логика — ступень развития формальной логики, следующая за традиционной логикой. spravochnick.ru Она применяет математические методы и специальный аппарат символов, исследует мышление с помощью исчислений. gtmarket.ru spravochnick.ru Символическая логика охватывает более широкий спектр логических рассуждений и применяется в разных областях, включая философию, информатику, естественные науки. dzen.ru fastfine.ru