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. 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.

Bacaan lanjut 

 Mario Bunge (1985). Falsafah Sains dan Teknologi. Springer. 
 Mario Bunge (1998). Falsafah Sains . Wahai ed. daripada: Penyelidikan saintifik . Berlin, New York: Springer-Verlag, 1967. 
 C. West Churchman (1940). Unsur-unsur Sains Logik dan Formal, JB Lippincott Co., New York. 
 James Franklin (1994). Sains formal menemui batu ahli falsafah . Dalam: Pengajian Sejarah dan Falsafah Sains . Vol. 25, No. 4, hlm.   513-533, 1994 
 Stephen Leacock (1906). Elemen Sains Politik . Houghton, Mifflin Co, 417 ms. 

 Bernt P. Stigum (1990). Ke Arah Ekonomi Formal Ekonomi . MIT Press 
 Marcus Tomalin (2006), Linguistik dan Sains Formal . Cambridge University Press 
 William L. Twining (1997). Undang-undang dalam Konteks: Memperbesar Disiplin . 365 pp.

Pautan luar 

     
 Persidangan antara disiplin - Yayasan Sains Formal 
Disiplin saintifik
Sains formal