formalióji lògika, mokslas, tiriantis samprotavimo būdus ir mąstymo formas (minčių struktūras), abstrahuotas nuo konkretaus jų turinio. Nustato taisyklingo samprotavimo dėsnius ir principus, atranda minčių ryšių dėsningumus, priklausančius nuo formalios mąstymo struktūros. Naudoja formalizacijos metodą. Atsirado senovės Graikijoje, pirmąją formaliosios logikos teoriją sukūrė Aristotelis. Iki 19 a. antros pusės (kai susiformavo matematinė, arba simbolinė, t. y. šiuolaikinė, logika) formalioji logika dar buvo vadinama tradicine logika. Dar logika.
314