Что такое формальная логика?

Чем от обычной отличается? Как понять - формальная?