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
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.