Mantiq falsafasining tarixi qadimiy Yunonistondan boshlanadi; Aristotel silogistika asoslarini yaratdi. Islom olamini Al-Farobi, Ibn Sino va Ibn Rushd aristotelchi mantiqni talqin qilib kengaytirdi; matematik va kompyuter mantiqiga zamin yaratti