Ilmu formal

Bagian dari seri
Ilmu Pengetahuan
Formal Logika Matematika Logika matematika Statistika matematika Ilmu komputer teoretis Teori permainan Teori keputusan Ilmu aktuaria Teori informasi Teori sistem
Fisikal Fisika Fisika klasik Fisika modern Fisika terapan Fisika komputasi Fisika atom Fisika nuklir Fisika partikel Fisika eksperimental Fisika teori Fisika benda terkondensasi Mekanika Mekanika klasik Mekanika kuantum Mekanika kontinuum Rheologi Mekanika benda padat Mekanika fluida Fisika plasma Termodinamika Relativitas umum Relativitas khusus Teori dawai Teori medan kuantum Kimia Reaksi asam basa Alkimia Kimia analitik Astrokimia Biokimia Kristalografi Kimia lingkungan Kimia pangan Geokimia Kimia hijau Kimia anorganik Ilmu bahan Fisika molekuler Kimia nuklir Kimia organik Fotokimia Kimia fisik Radiokimia Kimia benda padat Stereokimia Kimia supramolekul Ilmu permukaan Kimia teori Astronomi Astrofisika Kosmologi Astronomi galaksi Geologi planet Ilmu keplanetan Astronomi bintang Astronomi radio Instrumentasi astronomi Astrobiologi Astrogeologi Astrometri Arkeoastronomi Astroarkeologi Ilmu bumi Meteorologi Klimatologi Ekologi Ilmu lingkungan Geodesi Geologi Geomorfologi Geofisika Glasiologi Hidrologi Limnologi Oseanografi Paleoklimatologi Paleoekologi Palinologi Pedologi Edafologi Geografi fisik Ilmu luar angkasa
Hayati Biologi Anatomi Astrobiologi Biofisika Biogeografi Biokimia Biologi evolusioner Biologi kelautan Biologi konservasi Biologi molekuler Biologi perkembangan Biologi sel Biologi tanah Biopsikologi Bioteknologi Botani Ekologi Etnobiologi Etologi Fisiologi Genetika Gerontologi Imunologi Kriobiologi Limnologi Mikrobiologi Ilmu syaraf Paleontologi Parasitologi Radiobiologi Sistematika Sosiobiologi Teknik biologis Toksikologi Zoologi
Sosial Antropologi Arkeologi Kriminologi Demografi Ekonomi Pendidikan Geografi manusia Hubungan internasional Hukum Linguistik Ilmu politik Psikologi Sosiologi
Terapan Teknik dan rekayasa Biomedis Dirgantara Genetika Ilmu komputer Industri Kimia Komputer Listrik Mesin Militer Nuklir Perangkat lunak Perlindungan kebakaran Pertambangan Pertanian Riset operasi Robotika Sipil Ilmu kesehatan Epidemiologi Farmasi Kedokteran Kedokteran gigi Kedokteran hewan Keperawatan Perawatan kesehatan Teknik biologis
Antardisiplin Fisika terapan Kecerdasan buatan Bioetika Bioinformatika Teknik biomedis Biostatistika Ilmu kognitif Sistem kompleks Linguistik komputasi Studi budaya Sibernetika Ilmu lingkungan Ilmu sosial lingkungan Studi lingkungan Studi etnik Psikologi evolusioner Kehutanan Kesehatan Ilmu perpustakaan Biologi matematika dan teori Fisika matematika Ilmu militer Ilmu jaringan Teknik syaraf Ilmu syaraf Kajian ilmu Ilmu, teknologi, dan masyarakat Permodelan ilmiah Semiotika Sosiobiologi Statistika Ilmu sistem Transdisiplineritas Perencanaan kota Ilmu web
Filosofi • Sejarah Penelitian murni Ilmu masyarakat Fringe science Sejarah ilmu Filosofi ilmu Protosains Pseudosains Kebebasan akademik Sains (Kebijakan Pendanaan Metode) Sosiologi Teknosains
Portal Ilmu  Kategori
l b s

Ilmu formal adalah disiplin yang terkait dengan sistem formal seperti logika, matematika, statistika, ilmu komputer teoretis, teori informasi, teori permainan, teori sistem, teori pengambilan keputusan, dan linguistika.

Ketika ilmu alam dan ilmu lainnya seperti ilmu sosial, ilmu perilaku, dan ilmu kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan memprediksi secara tepat dan akurat untuk menjelaskan fenomena eksternal dunia, ilmu formal bekerja dengan sifat internal dari sistem formal, terutama definisi dari suatu istilah dan peraturan yang mengatur suatu kesimpulan.

ilmu formal membantu membangun, menilai, dan menguji teori dan permodelan ilmiah dengan terlebih dahulu menemukan inkonsistensi dan bentuk kecacatan dari kesimpulan.