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&mdash;and the corresponding expressability of its formal language&mdash;matches the range of reasoning it is supposed to describe.