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.

Tangan robot humanoid (lihat sistem Tangan Bayangan).

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

• Kategori berkenaan Sains formal di Wikimedia Commons
• Persidangan antara disiplin - Yayasan Sains Formal