Formalização

Formalização significa o processo ou resultado de formalizar algo. Algo é formalizada, dando-lhe um (rigoroso) forma , apresentando -o em uma forma (rigoroso) ou aderir a uma forma predeterminada (rigoroso) quando ela é levada a cabo. Forma estrita significa uma forma escrita, cujos caracteres são processados em uma ordem definida de uma maneira definida.

Um significado epistemológico e científico-cultural pode ser distinguido deste significado geral.

Filosofia da ciência

Em termos de filosofia da ciência, formalização em sentido mais amplo significa “a generalização de um enunciado (científico), desconsiderando suas referências empíricas-concretas”. Nesse sentido, a formalização está relacionada à abstração .

Em um sentido mais restrito, formalização significa a descrição de um fenômeno ou a formulação de uma teoria em uma linguagem formal , sua axiomatização e - como última etapa - o cálculo (ver teoria formalizada ).

Então, qual é a lógica matemática caracterizada pela formalização. Um sistema de lógica é formalizado desconsiderando a intenção predeterminada das expressões que ocorrem nele e usando essas expressões exatamente no sentido que os axiomas ou as regras desse sistema prescrevem. " Lógica proposicional e lógica predicada podem ser vistas como formalizações da inferência lógica cotidiana."

Na linguística, existem tentativas de gramáticas formais , como a gramática transformacional generativa, que a linguagem natural descreve.

Estudos Culturais

No sentido científico-cultural, a formalização pode ser usada para denotar a dissolução de ações orientadas a objetivos em etapas processuais repetíveis e transferíveis, como acontece por meio da regulação de uma organização de processo . O filósofo Sybille Krämer fala, seguindo de perto a matemática, de um “uso tipográfico, esquemático e sem interpretação dos símbolos” que torna as ações automatizáveis.

A restrição associada de um procedimento pessoal e arbitrário pode ter diferentes intenções: Pode ser por razões de transparência e igualdade (política, direito, matemática) ou por razões de racionalização e automação (economia, militar, tecnologia, TI). Os registros são a base e o resultado das formalizações.

Relacionada à formalização e historicamente inseparável dela está a ritualização , em que processos estritamente definidos tornam-se um hábito que dá segurança emocional (ver regras do jogo ). Em ensaio que se tornou famoso , o antropólogo Horace Miner descreveu a “ Nacirema ” de escovar os dentes como um ritual mágico com uma “série de gestos altamente formalizados”. O linguista Wolfgang Wildgen fala do fato de que “ações parciais (sem sentido)” adquirem uma “função significativa” por meio da formalização e da ritualização.

literatura

• Sybille Krämer: Máquinas simbólicas: a ideia de formalização em um esboço histórico , Wissenschaftliche Buchgesellschaft, Darmstadt 1988. ISBN 9783534032075

Links da web

Wikcionário: formalização  - explicações de significados, origens das palavras, sinônimos, traduções

Evidência individual

1. ↑ dtv-Lexikon / Formalisierung, ISBN 3-423-05998-2
2. ↑ Wilhelm Esser, Rosa Martínez, Joachim Labude: Fundamentos da Lógica I. A conclusão lógica, Klostermann, Frankfurt am Main 5ª edição 2001, p. 76. ISBN 9783465031642
3. ^ Arnim Regenbogen, Uwe Meyer: Dicionário de termos filosóficos, Meiner, Hamburgo 2006, p. XXX. ISBN 978-3-7873-2500-9
4. ↑ Sybille Krämer: Máquinas simbólicas: a ideia de formalização em um esboço histórico , Wissenschaftliche Buchgesellschaft, Darmstadt 1988, p. 2.
5. ↑ Horace Miner: Body Ritual between the Nacirema , in: American Anthopologist , 58: 1956, pp. 503-507, aqui p. 504
6. ↑ Wolfgang Wildgen: Gramática cognitiva: paradigmas clássicos e. Neue Perspektiven , Berlin: de Gruyter 2008, p. 27. ISBN 9783110196009