Bahasa

Beberapa pendukung pandangan bahasa ini mengedepankan sebuah pendekatan formal yang mempelajari struktur bahasa dengan mengidentifikasi elemen-elemen dasarnya, dan kemudian memformulasikan penjelasan formal dari aturan-aturannya berdasarkan pada elemen-elemen mana yang digabungkan untuk membentuk kata dan kalimat.
Pendukung utama dari teori tersebut adalah Noam Chomsky, pencetus teori tata bahasa generatif. Ia mendefinisikan bahasa sebagai sebuah kumpulan kalimat yang dapat dihasilkan dari sekumpulan aturan tertentu.
Chomsky menganggap aturan-aturan tersebut merupakan suatu fitur lahiriah dari otak manusia dan membentuk esensi dari bahasa itu sendiri.
Definisi formal bahasa umumnya digunakan dalam logika formal, dalam teori-teori tata bahasa formal, dan dalam penerapan linguistik komputasi.