Formaliseren is het in abstracte variabelen herformuleren van stellingen, bijvoorbeeld in wiskundige formules. Het grote voordeel is een grotere transparantie van de redeneringen, en het vermijden van het extensieprobleem of het vertaalprobleem. Formaliseren is een van de vier conventionele manieren waarop de wetenschappen de nadelen van het talige karakter van onze kennis proberen te beteugelen. De andere zijn: definities opstellen, operationaliseren en expliciteren.
Inloggen
Log hier in om direct te kunnen beginnen met schrijven.
