A
formális logika, vagy más néven
szimbolikus logika a
logika tudományának egy ága, az okok és következmények struktúrájával foglalkozik. A formális logika az elméletek közötti kapcsolatokat elemzi, és lehetoséget ad az állítások bizonyításainak elkészítéséhez. Az elméletek alaposan definiáltak, és az állítások nagyon pontos, tömör és egyértelmu szimbolikus formában (jelölésrendszerrel) kerülnek leírásra. A formális logikából fejlodött ki a
matematikai logika, a
matematika fontos részterülete, amely a formális logika módszereit alkalmazza a matematikai következtetések és bizonyítások vizsgálatára.