Eine freie Initiative von Menschen bei anthrowiki.at, anthro.world, biodyn.wiki und steiner.wiki mit online Lesekreisen, Übungsgruppen, Vorträgen ... |
Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier. |
Formalisierung: Unterschied zwischen den Versionen
Aus AnthroWiki
imported>Odyssee Keine Bearbeitungszusammenfassung |
imported>Odyssee |
||
(3 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
Durch '''Formalisierung''' wird eine [[Sache]], ein [[Sachverhalt]], eine [[Handlung]]sanweisung, eine [[wissenschaft]]liche [[Aussage]] oder [[Theorie]] usw. mittels einer [[Formale Sprache|formalen Sprache]] in [[Abstraktion|abstrakter]] [[wohldefiniert]]er generalisierter [[Form]] beschrieben. | Durch '''Formalisierung''' wird eine [[Sache]], ein [[Sachverhalt]], eine [[Handlung]]sanweisung, eine [[wissenschaft]]liche [[Aussage]] oder [[Theorie]] usw. mittels einer [[Formale Sprache|formalen Sprache]] in [[Abstraktion|abstrakter]] [[wohldefiniert]]er generalisierter [[Form]] beschrieben. [[Gottlob Frege]] (1848-1925) schuf mit seiner [[1879]] veröffentlichten «[[Wikipedia:Begriffsschrift|Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens]]» erstmals eine für diesen Zweck geeignete formale Sprache und ermöglichte dadurch [[Ableitung (Logik)|formale Beweise]], die eine wesentliche Grundlage für die moderne [[Informatik]] und für formale Methoden in der linguistischen [[Semantik]] bildete. | ||
== Siehe auch == | |||
* {{WikipediaDE|Formalisierung}} | |||
* {{UTB-Philosophie|Gerhild Tesak|344|Formalisierung}} | |||
[[Kategorie:Wissenschaft]] [[Kategorie:Wissenschaftstheorie]] | [[Kategorie:Wissenschaft]] [[Kategorie:Wissenschaftstheorie]] |
Aktuelle Version vom 27. Dezember 2017, 23:22 Uhr
Durch Formalisierung wird eine Sache, ein Sachverhalt, eine Handlungsanweisung, eine wissenschaftliche Aussage oder Theorie usw. mittels einer formalen Sprache in abstrakter wohldefinierter generalisierter Form beschrieben. Gottlob Frege (1848-1925) schuf mit seiner 1879 veröffentlichten «Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens» erstmals eine für diesen Zweck geeignete formale Sprache und ermöglichte dadurch formale Beweise, die eine wesentliche Grundlage für die moderne Informatik und für formale Methoden in der linguistischen Semantik bildete.
Siehe auch
- Formalisierung - Artikel in der deutschen Wikipedia
- Gerhild Tesak: „Formalisierung“ - Artikel im UTB-Online-Wörterbuch Philosophie