Economics Dictionary of Arguments

Home Screenshot Tabelle Begriffe

Formalization: Formalization is the process of expressing a concept or theory in a precise and unambiguous way, using a formal language. Formal languages are languages with a well-defined syntax and semantics, which allows for rigorous reasoning and analysis. See also Formal language, Formal speech, Argumentation, Analysis, Logic, Logical form, Syntax.
Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.

Author Concept Summary/Quotes Sources

Stephen Wolfram on Formalization - Dictionary of Arguments

Brockman I 275
Formalization/language/Wolfram: In the late 1600s, Gottfried Leibniz, John Wilkins, and others were concerned with what they called philosophical languages—that is, complete, universal, symbolic representations of things in the world.
>G. W. Leibniz
, >Formal language, >Ideal language, cf. >Formal speech, >Understanding, >Logical Formulas, >Formulas.
It’s interesting to see how a philosophical language of today would differ from a philosophical language of the mid-1600s. It’s a measure of our progress. In mathematics, for example: Whitehead and Russell’s Principia Mathematica in 1910 was the biggest show off effort. There were previous attempts by Gottlob Frege and Giuseppe Peano that were a little more modest in their presentation.
>G. Frege, >B. Russell.
WolframVsRussell/WolframVsFrege/WolframVsPeano/WolframVsLeibniz: Ultimately, they were wrong in what they thought they should formalize: They thought they should formalize some process of mathematical proof, which turns out not to be what most people care about.
>Proofs, >Provability, >Systems, >Computer languages, >Computer programming.

Wolfram, Stephen (2015) „Artificial Intelligence and the Future of Civilization” (edited live interview), in: Brockman, John (ed.) 2019. Twenty-Five Ways of Looking at AI. New York: Penguin Press.

Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments
The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
Wolfram, Stephen
Brockman I
John Brockman
Possible Minds: Twenty-Five Ways of Looking at AI New York 2019

Send Link
> Counter arguments against Wolfram
> Counter arguments in relation to Formalization

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

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