Формальная логика
Форма́льная ло́гика (или рассу́дочная ло́гика) — построение определений, основанных на принципе тождества (например: «А» есть «А», или: 2 = 2). То есть в рамках формальной логики определение тогда считается истинным, когда обе его части — предмет и его предикат — тождественны (в отличие от диалектической, или спекулятивной логики, определения которой основаны на принципе противоположности — «А» есть «не-А»).
Как отдельная дисциплина была выделена и разработана Аристотелем.
Термин был введён Кантом, подчеркнувшим тем самым невозможность познать с помощью логических рассуждений подлинное внутреннее содержание предмета, который для человеческого разума остаётся неведомой «вещью-в-себе».
Дисциплинами, возникшими на основе формальной логики и полностью ей подчинёнными являются математика и кибернетика, поэтому её также называют математическая логика или машинная логика.
Литература[править | править код]
- В. А. Босенко. Диалектика как теория развития. Киев, 1966
- Г. В. Ф. Гегель. Философская пропедевтика. Логика