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

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

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

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

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

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

Литература[править]