Introduction to Philosophy/Logic/Formal Logic

Logicians describe various formal systems of logic which are intended to match a precise but limited range of reasoning. Each such system defines a formal language. A scope of such a system—and the corresponding expressability of its formal language—matches the range of reasoning it is supposed to describe.