Формальна логіка - це наука, що розглядає побудову і перетворення висловлювань. Об 'єкти висловлювання, так само як і його зміст, формальною логікою не враховуються: вона має справу лише з формою, тому і називається так.
В історії філософії формальна логіка була цілим розділом, напрямком логіки кінця XIX - початку XX століть. Її не слід плутати з математичною або символічною логікою. Неформальна логіка, на противагу формальній, вивчає буденну людську мову, характерну для живих і безпосередніх діалогів.
Творцем формальної логіки вважається давньогрецький філософ Арістотель, учень Платона і вчитель Александра Македонського. Саме він придумав поняття категоричного силлогізму: з двох елементарних передумов полягає третє. Воно є сполучною атрибутивною ланкою між вихідними тезами.
Абстрактні закони формальної логіки можна розглядати як конкретні методи мислення. Але слід враховувати, що зміст тверджень, їх реальна істинність або помилковість викреслюються формальною логікою з поля зору. Отже, функціонують три основні закони: тотожності, непротиворіччя, виключення третього. Закон тотожності постулює тотожність усякого висловлювання самому собі. Фактично, він заявляє про неприпустимість підміни понять у перетворенні висловлювань, забезпечуючи визначеність мислення. Між нетонародженими формулюваннями не повинен стояти знак рівності. Закон непротиворіччя: серед двох протилежних висловлювань хоча б одне з них помилково. Обидва вони правдивими бути не можуть. Цим законом ілюструється несумісність суперечливих суджень. Цікаво відзначити, що з часів Арістотеля робляться спроби оскаржити закон непротиворіччя. Як правило, в їх основі лежить неправильне тлумачення "логічного заперечення": воно має місце тоді, коли висловлювання ідентичні в усьому, крім єдиного пункту, щодо якого вони розходяться по різних полюсах. Закон виключеного третього методично виключає можливість будь-яких відносин між суперечливими висловлюваннями, крім "угоди" або "заперечення". Одне з тверджень необхідне істинно, інше - необхідно помилково, третього немає і бути не може. Тут працює формальна формула "або-або": або одне, або інше. Для встановлення правдивості важливо, щоб висловлювання не були безглуздими. Третій закон застосовний тільки до осмислених формулювань.