منطق ریاضی

منظورمان از منطق ریاضی، منطق ریاضی کلاسیک است. یکی از معانی «کلاسیک»، این است که هر گزاره‌ای یا راست است و یا غلط. به عبارت دیگر، منطق کلاسیک به منطقی اطلاق می‌شود که دو ارزشی است. گزاره‌های اتمی، کوچک‌ترین واحدهای خبری هستند که ممکن است راست باشند یا غلط. راست یا غلط بودن گزاره‌های اتمی، به «وضعیت امور» در جهان ارتباط دارد. گزاره‌ی «باران می‌آید» را در نظر بگیرید. این گزاره، اتمی‌ست. راست بودن این گزاره، به «وضع هوا» بستگی دارد. اگر از پنجره اتاق، بیرون را نگاه کنیم و زمین را خیس ببینیم یعنی به طریقی بدانیم که «در واقع» باران می‌آید، آن‌گاه گزاره «باران می‌آید» راست است.