The Calculus of Logic

«حساب منطق» مقاله‌ای از جرج بول، ریاضی‌دان بریتانیایی است که در جلد سوم «مجلهٔ ریاضی کمبریج و دوبلین» در ۱۸۴۸ چاپ شد. نویسنده می‌گوید در اثری که اخیراً نوشته، کاربرد شکل تازه‌ای از ریاضیات را برای بیان فعالیت‌های ذهن در استدلال نشان داده است.

در این مقاله بول بخشی از آن نظریه را فشرده‌تر شرح می‌دهد: نمادها برای رده‌ها و عملیات جبری برای ترکیب و تفکیک آنها. این رویکرد بعدها «جبر بولی» نام گرفت و پایهٔ منطق نمادین و دیجیتال شد.

مقاله فنی ولی نسبتاً کوتاه است و به آشنایان ریاضی و فلسفهٔ منطق کمک می‌کند ریشهٔ ایده‌های بول را ببینند. به کار دانشجویان علم کامپیوتر، منطق و تاریخ ریاضیات می‌آید.