Формальная логика. Математическая логика.

Диалектическая логика не противопоставляется формальной логике и не исключает ее необходимость. Диалектическая логика использует результаты формальной логики при установлении всеобщих законов движения мышления к истине. Формальная логика, изучающая формы мышления, понятия, суждения, умозаключения, доказательства, рассматривает их с точки зрения логического строения, отвлекаясь от конкретного содержания, выраженного в них. Возьмем, например, два суждения: «любой труд полезен» и «любой товар продается», каждое из которых имеет собственное содержание, отличное от другого, но с точки зрения формальной логики оба эти суждения относятся к одному логическому виду и в этом отношении не отличаются друг от друга.
Основной задачей формальной логики является соблюдение определенных правил вывода: из истинных суждений-посылок всегда должны быть получены истинные суждения-заключения. В формальной логике особое значение имеет формализация, или способ фиксации содержания знания путем выделения его формы и выражения последней в особом языке (формализмах) и разработки правил оперирования таким языком. Особый смысл формализация приобретает с развитием математической логики (математическая формализация).

Математическая логика представляет собой совокупность искусственных формализованных языков, для которых устанавливаются такие их логические свойства, как доказуемость, выводимость, следствие и т.д. В отличие от классической математической логики, базировавшейся на принципе двузначности (признания суждения либо истинным, либо ложным), современная математическая логика руководствуется принципом многозначности, допускающим три и более значений истинности (многозначная логика), и рассматривает отношения, например, между необходимостью, случайностью, возможностью, действительностью и другими понятиями (модельная логика). Развитие современной математики (теория множеств, теория вероятностей, абстрактная алгебра) обусловило появление, например, теории алгоритмов. Использование математического аппарата в экономических исследованиях, несомненно, повышает значение математической логики и вызывает необходимость формализации экономических процессов.
В то же время хотелось бы обратить внимание на то, что в экономической теории, вне зависимости от используемой логики, далеко не все и не всегда поддается количественному анализу, тогда как качественные составляющие экономических процессов и явлений нередко предопределяют движение экономических систем.