Формальная логика

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

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

Математическая логика

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

В то же время хотелось бы обратить внимание на то, что в экономической теории, вне зависимости от используемой логики, далеко не все и не всегда поддается количественному анализу, тогда как качественные

составляющие экономических процессов и явлений нередко предопределяют движение экономических систем.

6. Другие методы исследования Количественный анализ и качественная определенность

Каждый экономический процесс или явление могут быть охарактеризованы и качественной, и количественной оценкой. Для количественного анализа экономическая теория довольно широко использует статистические и математические методы исследования, с помощью которых удается определить количественную зависимость между экономическими переменными. Однако накопление количественных изменений в конечном счете вызывает качественные преобразования сложившихся экономических взаимосвязей. Поэтому экономические процессы и явления должны изучаться в неразрывной связи их количественных и качественных определенностей.