عرفت العصور القديمة بداية التوجه لدراسة المنطق الميكانيكي ولا "الرسمي" مع بداو كيبانو الفلاسفة وعلماء الرياضيات.