Формальна логіка

Форма́льна ло́гіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки. Арістотель — автор формальної логіки. Пізніше, в середні віки, формально-логічна частина вчення Арістотеля була відірвана від змістовної і канонізована, використовувалася як методологічна основа середньовічної схоластики.