formalizacija

formalizãcija (lot. formalis – susijęs su forma), turiningų samprotavimų ir įrodymų pateikimas formaliosios sistemos (loginio skaičiavimo) pavidalu. Visiškai formalizuoti galima tik paprastõs loginės struktūros teorijas (pavyzdžiui, matematikoje – elementariąją geometriją). Formalizacija leidžia sisteminti, logiškai sugriežtinti ir metodologiškai paaiškinti teorijos turinį, išryškina jos teiginių ryšį, padeda formuluoti naujas problemas. Ta pati teorija gali būti ir formalizacijos priemonė, ir objektas. Formalizacijos elementai buvo žinomi jau antikos mokslininkams (pradininku laikomas Aristotelis), bet tik naujaisiais amžiais matematikoje ėmus vartoti raidinį žymėjimą formalizacija tapo mokslinio pažinimo metodu.