Ilmu formal

Selain matematika, logika adalah salah satu contoh subjek pengetahuan tertua dalam bidang ilmu formal. Seperti analisis eksplisit dari metode pertimbangan, logika terbangun di tiga tempat, yaitu Logika India dari abad ke enam sebelum masehi, Logika Cina dari abad ke lima sebeum masehi, dan Yunani kuno dari abad ke empat sebelum masehi. Pengolahan logika modern secara formal diturunkan dari budaya Yunani kuno, dituliskan melalui Logika Aristotelian, yang lalu dikembangkan lebih jauh oleh pakar logika Islam.