Formal Theory

Formal theory can refer to:

  • Another name for a theory which is expressed in formal language.
  • An axiomatic system, something representable by symbols and its operators
  • Formal theory from political science, the theoretical modeling of social systems based on game theory, dynamical systems theory, among other interdisciplinary fields.

Other articles related to "formal theory":

Proof Sketch For Gödel's First Incompleteness Theorem - Self-referential Formula
... is crucial to the proof A formula of the formal theory that somehow relates to its own provability within that formal theory ... Proving both q(n,G(P)) and violates the consistency of the formal theory ... numbers n, violates ω-consistency of the formal theory ...

Famous quotes containing the words theory and/or formal:

    The things that will destroy America are prosperity-at-any- price, peace-at-any-price, safety-first instead of duty-first, the love of soft living, and the get-rich-quick theory of life.
    Theodore Roosevelt (1858–1919)

    It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.
    Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)