Философская энциклопедия - формальная логика

ФОРМАЛЬНАЯ ЛОГИКА

— наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к изучаемым объектам и отграничить ее тем самым от др. возможных логик (см. ЛОГИКА ).

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.