È la parte della logica che si dedica più strettamente alla forma del ragionamento, ovvero alla sua struttura. Nella logica formale si sostituiscono le proposizioni con dei simboli perché non ci si interessa del loro significato, ma solo della loro relazione all'interno del ragionamento.