Formaali (adj.) on yleisesti muodollinen, muotoa koskeva, säännöin täsmällistetty.
Esimerkiksi luonnollista logiikkaa käytetään intuitiivisesti arkielämän päättelyissä. Jos se täsmällistetään - esimerkiksi tietokoneohjelmointia tai matemaattista päättelyä varten - tarvitaan formaalit päättelysäännöt ja näiden muodostamaa kokonaisuutta kutsutaan formaaliksi logiikaksi.
Katso myös Formaali kieli Formaali kielioppi
Luokka:Kielitiede