George Boole
انتعش المنطق في منتصف القرن التاسع عشر، في بداية الفترة الثورية عندما تطور الموضوع إلى انضباط صارم ورسمي والذي كان مثالاً يحتذى به على الطريقة الدقيقة لإثبات المسائل في الرياضيات، واستعادة للتقليد اليوناني. يعد تطوير المنطق "الرمزي" أو "الرياضي" الحديث خلال هذه الفترة من قبل أمثال جورج بول وجوتلوب فريجه وبيرتراند راسل وجوزيبه بيانو هو الأهم في تاريخ المنطق الذي يمتد لألفي عام، ويمكن القول إنه أحد أكثر الفترات أهمية والرائعة للمنطق في التاريخ الفكري الإنساني.