Сущность формальной и математической логики

Другим подходом к построению математической логике является - содержательный, то есть неформальный.Логика формальная и диалектическая.Имея понятие логической формы и логического закона, можно дать определение формальной логике.При применении средств, вырабатываемых формальной логикой, можно отвлекаться от развития знания.В процессе познания методы формальной логики дополняются методами диалектической логики, и наоборот.Карлюк А.С., Терлюкевич И.И. Введение в формальную логику.Рассмотрим примеры формальных систем F.S., несвязанных с логическими интерпретациями.Берков В.Ф., Яксевич Я.С., Павлюкевич В.И. Логика.Берков В.Ф. - Логика.Гетманова А.Д. Логика.