Formala cienci

Formala cienci esas la faki qui traktas formala sistemi, exemple logiko, matematiko, teoriala cienco komputerala*, informo-teorio, ludo-teorio, teorio pri sistemi, decido-teorio e parti di la linguistiko. Formala cienci traktas la interna traiti di la formala sistemi, nome la defini terminala e reguli, qui guvernas inferado. Kontree la naturala cienci ed altra cienci, exemple sociala cienci, kondutala cienci e konociva cienci, serchas krediveso di la ciencala teorio respektante la observaji pro ke sucesante predicar e forsan exakte explikar fenomeni di la extera mondo. Formala cienci ulatempe helpas konstruktar, valorizar e probar ciencala teorii e ciencala modeli, ma altralatere revelar kontredici o nevalida formi en la infero.