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

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

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

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

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

برشی از متن

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

فهرست

آگاهی‌هایی مفید درباره‌ی مجموعه‌ها منطق جمله‌ها منطق مرتبه‌ی اول تصمیم ناپذیری منطق مرتبه‌ی دوم

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