Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Formalisierung: Formalisierung ist der Prozess, bei dem ein Begriff oder eine Theorie mit Hilfe einer formalen Sprache präzise und eindeutig ausgedrückt wird. Formale Sprachen sind Sprachen mit einer wohldefinierten Syntax und Semantik, die eine strenge Argumentation und Analyse ermöglichen. Siehe auch formale Sprache, Formale Redeweise, Argumentation, Analyse, Logik, Logische Form, Syntax.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff Zusammenfassung/Zitate Quellen

Stephen Wolfram über Formalisierung – Lexikon der Argumente

Brockman I 275
Formalisierung/Sprache/Wolfram: In den späten 1600ern beschäftigten sich Gottfried Leibniz, John Wilkins und andere mit dem, was sie philosophische Sprachen nannten - also vollständige, universelle, symbolische Darstellungen der Dinge in der Welt. Es ist interessant zu sehen, wie sich eine philosophische Sprache von heute von einer philosophischen Sprache der Mitte der 1600er Jahre unterscheiden würde.
>G. W. Leibniz
, >Formale Sprache, >Ideale Sprache, vgl. >Formale Redeweise, >Verstehen, >Logische Formeln, >Formeln.
Es ist ein Maß für unseren Fortschritt. Zum Beispiel in der Mathematik: Whitehead und Russells Principia Mathematica(1) im Jahr 1910 war der größte Showoff.
Es gab frühere Versuche von Gottlob Frege und Giuseppe Peano, die in ihrer Präsentation etwas bescheidener waren.
>G. Frege, >B. Russell.
WolframVsRussell/WolframVsFrege/WolframVsPeano/WolframVsLeibniz: Letztendlich lagen sie falsch in dem, von dem sie dachten, dass sie es formalisieren sollten: Sie dachten, sie sollten einen Prozess des mathematischen Beweises formalisieren, was sich aber nicht als das herausstellt, worin die meisten Menschen interessiert sind.
>Beweise, >Beweisbarkeit, >Systeme, >Computersprachen,
>Programmierung.

1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press.

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.

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.
Wolfram, Stephen

Brockman I
John Brockman
Possible Minds: Twenty-Five Ways of Looking at AI New York 2019

Send Link

Autoren 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  


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