Купарашвили М.Д., Нехаев А.В., Разумов В.И., Черняк Н.А. Логика

Учебное пособие. — Омск: ОмГУ, 2004. — 124 с.Излагается полный курс дисциплины «Логика» в соответствии с государственным образовательным стандартом. Для студентов Омского госуниверситета.
Формальная логика сегодня представлена двумя ветвями – традиционной и математической (символической) логикой.
Традиционная логика – это первая ступень логики выводного знания. Она изучает общечеловеческие формы мысли (понятия, суждения), формы связи мыслей в рассуждении (умозаключения), зафиксированные в системе формально-логических законов: тождества, противоречия, исключенного третьего и достаточного основания.
Математическая логика – вторая после традиционной логики ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков). Большая, чем в традиционной логике, степень абстрагирования и обобщения позволяет современной символической логике познавать новые закономерности мышления, возникающие при решении сложных логических конструкций в математике, кибернетике, при проектировании и в работе электронно-вычислительных машин и управляющих устройств.