Sains formal

Sains formal adalah cawangan sains yang mempelajari bidang bahasa formal berkaitan dengan sistem formal seperti logik, matematik, statistik, sains komputer teori, kecerdasan buatan, teori maklumat, teori permainan, teori sistem, teori keputusan, dan linguistik teori.^[1] Di mana sains semula jadi dan sains sosial berusaha untuk mencirikan sistem fizikal dan sistem sosial, masing-masing, menggunakan kaedah empirik, sains formal adalah alat bahasa yang bersangkutan dengan ciri struktur abstrak yang digambarkan oleh sistem simbolik. Sains formal membantu sains alam dan sosial dengan menyediakan maklumat tentang struktur yang digunakan oleh kedua untuk menggambarkan dunia, dan apa kesimpulan dapat dibuat tentang mereka.