کتاب آشنایی با منطق ریاضی | اندرتون

معرفی کتاب آشنایی با منطق ریاضی | اندرتون 

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

در فصل صفر خلاصه‌ای فشرده از نظریه‌ی مجموعه‌ها آمده است؛ و در صورت لزوم می‌توان به آن رجوع کرد. مدرس می‌تواند مقدار نظریه‌ی مجموعه‌های به کار رفته را تنظیم کند. به عنوان مثال، اجتناب از اعداد کاردینال کاملا امکان پذیر است. کتاب شامل مثال‌هایی از جبر محض است. لکن این‌ها فقط مثال هستند و جز درس نیستند.

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

برشی از متن کتاب آشنایی با منطق ریاضی | اندرتون 

منطق نمادی مدلی ریاضی برای تفکر قیاسی است، یا حداقل در آغاز این چنین بود؛ اما همانند شاخه‌های دیگر ریاضی، از محدوده‌ی دوران تولد خود فراتر رفته است. همان گونه که نظریه‌ی جدید احتمال مدلی است برای اتفاق و عدم حتمیت، منطق نمادی هم یک مدل است. مدل‌ها چگونه ساخته می‌شوند؟ یک جسم واقعی، مثلا یک هواپیما، را در نظر می‌گیریم. اگر بخواهیم مدلی از شکل آن بسازیم، ویژگی‌هایی دیگر آن، مثلا بزرگی آن، صرف نظر می‌کنیم.

• نویسنده: هربرت بی. اندرتون
• مترجمان: غلامرضا برادران خسرو شاهی - محدرجبی طرخورانی
• انتشارات: مرکز نشر دانشگاهی