جستجوي پيشرفته | کتابخانه مجازی الفبا

دنیای زرتشت‌پژوهی، رغمارغم توصیه‌ای که می‌گویند یکی از زرتشت‌پژوهان معاصر، یعنی مری بویس (Mary Boyce) (1920-2006) در اواخر عمرش کرده بوده، هنوز به منابع اسلامی اعتنای کافی نکرده است و جز اندکی از آن بهره نمی‌بَرد. این غفلت در حالی واقع می‌شود که بخش مهمی از آثار کهن ایرانی، طی دورۀ انتقال از ایران ساسانی به ایران اسلامی، به زبان عربی ترجمه شده، تعریب یافته و در لابه‌لای انبوه منابع دوران جدید، حفظ شده است. تردیدی نیست که بهره‌گیری از این میراث عظیم، دامنۀ منابع را وسعت بخشیده و به حل بخشی از غوامض زرتشت‌شناسی کمک خواهد کرد. از باب نمونه، در مقالۀ حاضر، نشان داده‌ایم که حتی در کتاب آشنا و نسبتاً کاوش‌شدۀ الملل والنحل، اثر مشهور محمد عبدالکریم شهرستانی، می‌توان قطعه‌ای از متون اصیل زرتشتی را یافت که بسا مستقیماً از پهلوی به عربی ترجمه شده باشد؛‌ قطعه‌ای که با وجود تغییر و تصحیفی که معمولاً در ترجمه به زبان عربی رخ می‌دهد، می‌تواند اشاره‌ای ابهام‌آمیز در یکی از متون پهلوی راجع به اهریمن و آفریده‌هایش را رمزگشایی کند.

هدف اصلی این پایان‌نامه بررسی مجموعه‌ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می‌شود که در منطق مرتبه اول پیوسته مجموعه‌ای از فرمول‌ها (تماماً) قابل‌ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می‌شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می‌کند، که بنابر آن ΣΙ=φ اگر و تنها اگرn-2--ΣΙ-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می‌کند که اگرΣΙ=φ، بنابراین اثبات‌های متناهی از Σ می‌توانند تقریب‌های دلخواهی از درستی φ را بدست دهد. به‌علاوه مسئله‌ای متفاوت که در نظریه مدل به‌طور سنتی مطرح می‌شود یعنی تصمیم‌پذیری را بررسی می‌کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می‌شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش‌پذیر بازگشتی) تصمیم‌پذیر است.