ЛОГИСТИЧЕСКИЙ МЕТОД

Logistic Method

In modern mathematics and logic, a method of building formalised systems and calculations. In logical syntax, the term "syntactical system" is used. Such systems are built on a purely formal basis without reference to the meaning of the expressions involved.

The construction of a logistic system requires: (1) a list of primitive symbols of the system; (2) a determination of what kind of sequence of primitive symbols forms the correctly constructed formulas of the system, the first two requirements being regarded as rules of formation; (3) a determination of what correctly constructed formulas can be classed as axioms; (4) a determination of the rules of inference (or rules of conversion) by which a correctly constructed formula is immediately inferred from the set of formulas taken as premisses.

A finite sequence consisting of one or more correctly constructed formulas is regarded as a proof if each formula in the sequence is either an axiom (primitive formula) or can be immediately inferred according to the rules of inference from the preceding formulas of the sequence. The correctly constructed formulas for which proofs exist are called theorems of the system.

Sometimes the Logistic Method includes interpretation as well as construction of a formal system (see Logical Semantics). This purely formal construction of a system does not, of course, imply complete disregard for content, particularly the class of logical laws employed, which must always be taken into account when constructing a calculus.