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