请输入您要查询的英文单词:

 

单词 formalization
释义

formalization


for·mal·ize

F0264100 (fôr′mə-līz′)tr.v. for·mal·ized, for·mal·iz·ing, for·mal·iz·es 1. To give a definite form or shape to.2. a. To make formal.b. To give formal standing or endorsement to; make official or legitimate by the observance of proper procedure.
for′mal·iz′a·ble adj.for′mal·i·za′tion (-mə-lĭ-zā′shən) n.for′mal·iz′er n.
Thesaurus
Noun1.formalization - the act of making formal (as by stating formal rules governing classes of expressions)formalisationsystematisation, systematization, rationalisation, rationalization - systematic organization; the act of organizing something according to a system or a rationale
Translations
formalisationetichetta

Formalization


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.)

formalization


Related to formalization: departmentalization, centralization
  • noun

Synonyms for formalization

noun the act of making formal (as by stating formal rules governing classes of expressions)

Synonyms

  • formalisation

Related Words

  • systematisation
  • systematization
  • rationalisation
  • rationalization
随便看

 

英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/2 3:44:53