Philosophy Dictionary of ArgumentsHome | |||
| |||
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 |