Home

formaliserende

Formaliserende is een term die wordt gebruikt om een proces of eigenschap aan te duiden waarbij informele praktijken, concepten of regels worden omgezet in formele, ondubbelzinnige representaties. Het participerende bijvoeglijk naamwoord beschrijft de handeling of het proces; in het werkwoordelijke gebruik spreekt men van formalisering.

Toepassingsgebieden van formaliserende processen zijn onder meer de wiskunde en logica, informatica, recht en governance, taal-

Procesmatige kant van formaliseren omvat doorgaans stappen zoals: het identificeren van de informele notie en doelen;

en
linguïstiek
en
de
sociale
wetenschappen.
In
de
wiskunde
en
logica
wordt
theorie
vaak
geformaliseerd
door
het
vastleggen
van
axioma's,
syntaxis
en
semantiek.
In
informatica
wordt
formalisering
toegepast
bij
specificaties
en
systemen
via
formele
talen,
logica
en
model
checking.
In
het
recht
en
governance
dient
formalisering
om
regels
en
contracten
eenduidig
te
codificeren,
wat
ambiguïteit
vermindert
en
naleving
vergemakkelijkt.
In
taalkunde
en
linguïstiek
draagt
formalisering
bij
aan
de
formele
beschrijving
van
grammatica
en
betekenis.
In
de
sociale
wetenschappen
en
bestuurskunde
ondersteunt
het
standaardisatie
van
procedures
en
dataarchitecturen.
het
kiezen
van
symbolen
en
representaties;
het
definiëren
van
syntaxis
en
semantiek;
het
bouwen
van
regels
en
modellen;
en
het
valideren
daarvan
via
voorbeelden,
bewijs,
tests
of
simulaties.
De
voordelen
zijn
verhoogde
precisie
en
reproduceerbaarheid,
terwijl
nadelen
kunnen
bestaan
uit
hogere
complexiteit,
rigiditeit
en
mogelijk
verlies
aan
nuance
of
flexibiliteit.