# Template:Goodbook/Formal Logic

Formal Logic is a study of inference with purely formal content. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital to many modern disciplines like Linguistics and Computer Science.