formalizacja
log. procedura mająca na celu przekład treści danej teorii (systemu) z języka naturalnego, niesformalizowanego na język sformalizowany, np. logiki;
[łac. formalis ‘dotyczący kształtu, wyglądu’],
formalizacja
Encyklopedia PWN
formalizacja teorii nauk. pozwala uniknąć wielu błędów logicznych i zwiększa możliwości niezawodnego porozumiewania się między osobami dyskutującymi jakiś problem; niektórzy uważają możliwość formalizacji za warunek sensowności teorii.
