formalizations love


from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. Plural form of formalization.


Sorry, no etymologies found.


  • Yet when harder physical scientists look at economics, they typically are deeply critical of the illogic of building formalizations on faulty assumptions (Beinhocker, 2006).

    Archive 2008-06-01

  • Are you talking about formalizations of elementary arithmetic?

    A Third Choice (ID Hypothesis)

  • Even mathematics is what it is, despite our formalizations of it.

    A Third Choice (ID Hypothesis)

  • The formalizations in information theory, complexity theory and the like are driven by observation.

    Analogy, How Scientifically Powerful is It?

  • Anything at all to give such formalizations any epistemic weight???

    Analogy, How Scientifically Powerful is It?

  • What we are seeing from ID proponents is empirically driven formalizations.

    Analogy, How Scientifically Powerful is It?

  • In early twentieth-century formalizations of logic, it was common to use a substitution rule and a finite set of axioms instead of schemata.


  • However, with computational methods of implementing and testing the formalizations and with areas such as cognitive robotics to serve as laboratories for developing and testing ideas, we can hope to radically advance a problem that has seen little progress since it was first proposed by Aristotle: the problem of devising a formalization of practical reasoning that is genuinely applicable to common sense reasoning problems.

    Logic and Artificial Intelligence

  • On the one hand there are many practically important applications of automated planning, and on the other logical formalizations of planning are genuinely helpful in understanding the problems and in designing algorithms.

    Logic and Artificial Intelligence

  • McCarthy 1999 provide one interesting attempt to provide a criterion for the adequacy of formalizations.

    Logic and Artificial Intelligence


Log in or sign up to get involved in the conversation. It's quick and easy.