Formalization

(redirected from formalize)
Also found in: Dictionary, Thesaurus, Legal.

Formalization

 

the representation of some body of knowledge—such as the arguments, proofs, or classification and information-gathering procedures of a scientific theory—as a formal system, or calculus.

Formalization is based on definite abstractions, idealizations, and artificial symbolic languages. It is used not only in mathematics (seeFORMALISM, MATHEMATICAL) but also in those sciences that have a sufficiently sophisticated mathematical apparatus. Formalization involves a strengthening of the role of formal logic as the foundation of theoretical sciences; the heightened rule of formal logic is necessitated by the insufficiency of formalized theories based on an intuitive belief that a certain line of reasoning is in accord with rules of logic learned through an acquired capacity for correct thinking. Only elementary theories with a simple logical structure and a small stock of concepts can be completely formalized; examples are elementary geometry in mathematics and the propositional calculus and the restricted (first-order) predicate calculus in logic. In principle, if a theory is complex, it cannot be completely formalized (seeCOMPLETENESS and META-THEORY).

Formalization permits the systematization, refinement, and methodological clarification of the content of a theory. Moreover, through formalization the interrelationships between the theory’s various assertions can be ascertained. Formalization also makes possible the identification and formulation of unresolved problems.

Formalization as a cognitive device, particularly formalization in the narrow mathematical sense, bears a relative character in the sense that a theory can be simultaneously both the means of formalization (of some other theory or domain of phenomena) and the object of formalization (in a more formal theory). Thus, traditional “formal” logic is a formalization with respect to the set of relationships of human thought reflected in it; with respect, however, to its own (axiomatic) formalization it constitutes a meaning-based theory of formalization.

REFERENCES

Tarski, A. Vvedenie v logiku i metodologiiu deduktivnykh nauk. Moscow, 1948. (Translated from English.)
Kleene, S. C. Vvedenie v metamatematiku. Moscow, 1957. Subsec. 15. (Translated from English.)
Church, A. Vvedenie v matematicheskuiu logiku, vol. 1. Moscow, 1960. Introduction (Translated from English.)
References in periodicals archive ?
Under existing doctrine, lawmakers allow donors to formalize gifts by virtue of an objective declaration, without any act of delivery--in other words, in a contract-like manner--under some circumstances.
Traditionally, the British army had held alliances with armies around the world, but it could only formalize such relationships with British Commonwealth countries.
28, 2006, the Defense Acquisition University and the Standard Procurement System (SPS) Joint Program Management Office (JPMO) signed a Memorandum of Agreement that formalizes joint developments to better support the learning needs of the acquisition workforce.
ABC-NACO expects to formalize the joint venture agreement by November.
The law doesn't specify what kind of technology that companies should use to formalize their electronic signature processes.
Young, the new policy would essentially formalize the ad hoc procedures recently used to speed the experimental drug AZT to AIDS patients (SN: 1/24/87, p.56).
Meanwhile, the Acquisition Support Center (ASC) is developing Table of Distribution and Allowances (TDA) and corresponding Military Acquisition Position List (MAPL) positions to formalize the establishment of the new organization.
The alliance will formalize two key integrations PeopleSoft Payroll with ProBusiness Payroll Tax Filing Services and PeopleSoft Payroll Interface with ProBusiness Payroll.
Its construction clearly depends on the planned relocation of MSG to the western annex of the Farley building, a move that Ross said he has begun to formalize with a letter of intent already signed by MSG's owners, the Dolan family.
Additionally, he will formalize AL & T process links to Army and Joint proponency systems, ensuring the viability and relevancy of the workforce and its alignment with the AL & T workforce, Army/AAC transformation, the Army Campaign Plan, and overarching DoD strategic objectives.
(Nasdaq:CTXS) has reached an agreement to formalize continued access to Microsoft Windows Server code.