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

Форма́льная ло́гика (или рассу́дочная ло́гика) — построение определений, основанных на принципе тождества (например: «А» есть «А», или: 2 = 2). То есть в рамках формальной логики определение тогда считается истинным, когда обе его части — предмет и его предикат — тождественны (в отличие от диалектической, или спекулятивной логики, определения которой основаны на принципе противоположности — «А» есть «не-А»).

Как отдельная дисциплина была выделена и разработана Аристотелем.

Термин был введён Кантом, подчеркнувшим тем самым невозможность познать с помощью логических рассуждений подлинное внутреннее содержание предмета, который для человеческого разума остаётся неведомой «вещью-в-себе».

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

Литература

• В. А. Босенко. Диалектика как теория развития. Киев, 1966
• Г. В. Ф. Гегель. Философская пропедевтика. Логика