Formaali

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

Kielitiede