Dictionary: A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z


[fawr-muh-lahyz] /ˈfɔr məˌlaɪz/

verb (used with object), formalized, formalizing.
to make , especially for the sake of official or authorized acceptance:
to formalize an understanding by drawing up a legal contract.
to give a definite form or shape to.
to state or restate (the rules or implied rules of a grammar or the like) in symbolic form.
to be or make formal
(transitive) to make official or valid
(transitive) to give a definite shape or form to
(logic) to extract the logical form of (an expression), to express in the symbols of some formal system

1590s, from formal + -ize. Related: Formalized; formalizing.


Read Also:

  • Formal language

    noun 1. a language designed for use in situations in which natural language is unsuitable, as for example in mathematics, logic, or computer programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another 2. (logic) a logistic system for which an interpretation is provided: distinguished from […]

  • Formal-logic

    noun 1. the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. noun 1. Also called symbolic logic. the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions Compare philosophical logic 2. a specific […]

  • Formally

    [fawr-muh-lee] /ˈfɔr mə li/ adverb 1. in a manner: The store was formally opened on Tuesday. 2. as regards form; in form: It may be formally correct, but it is substantively wrong. adv. c.1400, “in good form,” from formal + -ly (2). Meaning “in prescribed or customary form” is from 1560s.

  • Formal methods

    mathematics, specification Mathematically based techniques for the specification, development and verification of software and hardware systems. Referentially transparent languages are amenable to symbolic manipulation allowing program transformation (e.g. changing a clear inefficient specification into an obscure but efficient program) and proof of correctness. Oxford FM archive (http://comlab.ox.ac.uk/archive/formal-methods.html). (1996-05-15)

Disclaimer: Formalize definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.