آشنایی با موضوع منطق ریاضی

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