– veda o formách a zákonoch správneho, dôsledného usudzovania. Formálna logika sa zaoberá konkrétne vymedzeným aspektom procesu usudzovania: skúma všeobecné podmienky, za ktorých z určitých výrokov, zvaných premisy, vyplýva nejaký iný výrok, zvaný záver. Formálna logika abstrahuje od konkrétneho obsahu výrokov. Skúma úsudky, ktoré sú platné iba na základe ich logickej formy. Formálna logika je veda o logickom vyplývaní.