imported>Invisigoth67: form

2024-07-26T14:04:50Z

form

Neue Seite

'''Formalisierung''' bedeutet den Vorgang oder das Ergebnis des Formalisierens einer Sache. Etwas wird formalisiert, indem ihm eine (strenge) [[Form (Philosophie)|Form]] gegeben, es in einer (strengen) Form dargestellt oder bei seiner Durchführung eine vorgegebene (strenge) Form eingehalten wird. Mit strenger Form ist eine Schriftform gemeint, deren [[Schriftzeichen|Zeichen]] in einer festgelegten Reihenfolge auf festgelegte Art und Weise verarbeitet werden.

Von dieser allgemeinen Bedeutung können eine wissenschaftstheoretische und eine kulturwissenschaftliche Bedeutung unterschieden werden.

== Wissenschaftstheorie ==
Wissenschaftstheoretisch bedeutet Formalisierung im weiteren Sinn „die Generalisierung einer (wissenschaftlichen) Aussage unter Absehung ihrer konkret-empirischen Bezüge“.<ref>dtv-Lexikon/Formalisierung, ISBN 3-423-05998-2</ref> In dieser Bedeutung ist die Formalisierung mit der [[Abstraktion]] verwandt.

Im engeren Sinn bedeutet Formalisierung die Beschreibung eines Phänomens oder die Formulierung einer Theorie in einer [[Formale Sprache|formalen Sprache]], deren [[Axiomatisierung]] und – als letzte Stufe – die [[Kalkül]]isierung (siehe [[Formalisierte Theorie]]).

So ist die [[mathematische Logik]] durch Formalisierung gekennzeichnet. Man formalisiert ein System der Logik, indem man von der vorgegebenen [[Intension]] der in ihm vorkommenden Ausdrücke absieht und diese [[Ausdruck (Mathematik)|Ausdrücke]] in genau dem Sinn verwendet, den die Axiome bzw. die Regeln dieses Systems diesem vorschreiben.<ref>Wilhelm Esser, Rosa Martínez, Joachim Labude: ''Grundzüge der Logik I. Das logische Schließen,'' Klostermann, Frankfurt am Main 5. Aufl. 2001, S. 76. ISBN 9783465031642</ref> „Die [[Aussagenlogik]] und die [[Prädikatenlogik]] lassen sich als Formalisierungen des alltäglichen logischen Schließens ansehen.“<ref>Arnim Regenbogen, Uwe Meyer: ''Wörterbuch der philosophischen Begriffe,'' Meiner, Hamburg 2006, S. XXX. ISBN 978-3-7873-2500-9</ref>

In der Sprachwissenschaft gibt es Versuche, durch [[formale Grammatik]]en wie zum Beispiel die [[generative Transformationsgrammatik]] die [[natürliche Sprache]] zu beschreiben.

== Kulturwissenschaft ==
Im kulturwissenschaftlichen Sinn kann unter Formalisierung die Auflösung zielgerichteter [[Handeln|Handlungen]] in wiederholbare und übertragbare Verfahrensschritte bezeichnet werden, wie es durch die [[Regel (Richtlinie)|Regelung]] einer [[Ablauforganisation]] geschieht. Die Philosophin [[Sybille Krämer]] spricht in enger Anlehnung an die Mathematik von einem „typographischen, schematischen und interpretationsfreien Symbolgebrauch“,<ref>Sybille Krämer: ''Symbolische Maschinen: die Idee der Formalisierung im geschichtlichen Abriß'', Wissenschaftliche Buchgesellschaft, Darmstadt 1988, S. 2.</ref> der Handlungen automatisierbar mache.

Die damit verbundene Einschränkung eines persönlichen und willkürlichen Vorgehens kann verschiedene Absichten haben: Sie kann aus Gründen der [[Transparenz (Politik)|Transparenz]] und [[Gleichberechtigung]] geschehen (Politik, Recht, Mathematik) oder aus Gründen der [[Rationalisierung (Ökonomie)|Rationalisierung]] und [[Automatisierung]] (Wirtschaft, Militär, Technik, Informatik). Aufzeichnungen sind sowohl Grundlage als auch Resultat von Formalisierungen.

Verwandt mit der Formalisierung und historisch nicht von ihr trennbar ist die [[Ritualisierung (Kulturwissenschaft)|Ritualisierung]], bei der streng festgelegte Abläufe zu einer [[Gewohnheit]] werden, die emotionale Sicherheit verleiht (vgl. [[Spielregel]]). So hat der Anthropologe [[Horace Miner]] in einem berühmt gewordenen Aufsatz das Zähneputzen der „[[Nacirema]]“ als magisches Ritual mit „higly formalized series of gestures“ beschrieben.<ref>Horace Miner: ''Body Ritual among the Nacirema'', in: ''American Anthopologist'', 58:1956, S. 503–507, hier S. 504</ref> Der Linguist [[Wolfgang Wildgen]] spricht davon, dass „(sinnentleerte) Teilhandlungen“ durch Formalisierung und Ritualisierung eine „Sinnfunktion“ bekommen.<ref>Wolfgang Wildgen: ''Kognitive Grammatik: klassische Paradigmen und. neue Perspektiven'', Berlin: de Gruyter 2008, S. 27. ISBN 9783110196009</ref>

== Literatur ==
* Sybille Krämer: ''Symbolische Maschinen: die Idee der Formalisierung im geschichtlichen Abriß'', Wissenschaftliche Buchgesellschaft, Darmstadt 1988. ISBN 9783534032075

== Weblinks ==
{{Wiktionary}}

== Einzelnachweise ==
<references />

[[Kategorie:Wissenschaftstheorie]]

Formalisierung - Versionsgeschichte

imported>Invisigoth67: form