دانلود رایگان مقالات نشریات علمی منطق ریاضی

منطق ریاضی (Mathematical logic) شاخه‌ای از ریاضیات است که به ارتباط ریاضی و منطق می‌پردازد. نام‌های دیگر آن عبارتند از منطق جدید، منطق صوری، منطق نمادی، منطق نمادین، منطق علامتی، منطق کلاسیک. تحقیقات علمی درباره منطق ریاضی، در پی بروز پرسش‌های نوین در بنیان‌های ریاضیات پدید آمد. به عنوان نمونه، فرگه می‌کوشید تا ریاضیات را بر پایهٔ اصول برآمده از منطق و نظریهٔ مجموعه‌ها قرار دهد. راسل، در حذف تناقضات ناشی از دستگاه منطق فرگه تلاش کرد و هدف هیلبرت نشان‌دادن این امر بود که "روش‌های مورد قبول عام در ریاضیات هرگاه که به‌طور همه‌جانبه، کلی نگرانه و به‌عنوان یک کل واحد، در نظر گرفته شود، به هیچ نوع تناقضی منجر نخواهد شد ." (این موضوع به برنامه هیلبرت شهرت یافته است )