Formal logikk, den del av logikken som undersøker argumentasjoners gyldighet med henblikk på den struktur eller form argumentasjonen oppviser i kraft av den rent formale (ikke innholdsmessig bestemte) forbindelse mellom de forskjellige ledd i en argumentasjon, for eksempel mellom premisser og konklusjon.

Som grunnlegger av den formale logikk regnes gjerne Aristoteles, særlig ved syllogismelæren. Formal logikk har gjennomgått en påfallende sterk utvikling det siste hundreåret, og kan i dag karakteriseres som en omfattende grensedisiplin mellom matematikk og filosofi, ofte kalt symbolsk (eller matematisk) logikk eller logistikk. Utenfor den formale logikk faller stort sett slike grener av logikken som induksjonslogikk, sannsynlighetsteori og semantikk.

Et hovedverk i den moderne formale logikk er Bertrand Russell og A. N. Whitehead: Principia Mathematica (3 bind, 1910–1913).