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

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

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

ساختار معنایی سوره صافات مشتمل براصول اعتقادی ، اعم از توحید و نبوت ومعاد است. اما محوریت اصلی که وجه ارتباط بین این اصول سه گانه میباشد، با وصف "سَلَامٌ عَلَی المُرسَلیِنَ " مشخص شده است. سلام الهی در این سوره،به عنوان امتیاز ویژه به تعدادی از پیامبران برگزیدهاز جمله حضرت نوح ، ابراهیم ، موسی و هارون ، و الیاس (علیهم السلام) اختصاص یافته است ، که در هر مورد با بیان اوصافی برجسته به حکمت تخصیص سلام الهی بر این مرسلین اشاره فرموده است.قدر مشترک این خصوصیات دربنده خاص الهی بودن ، در زمره مخلصین واقع شدن و وصول ایشان به مقام اجتباء الهی می باشد.ارتباط آیات ناظر برتوحید و یا معاد در این سوره با سلام و مقام انبیاء آن است که :در سایهایمان و باور اعتقادی به ربوبیت الهی،معرفت به خداو جایگاه ممتاز انبیاء الهی و اطاعت از رهنمودهای ایشان حاصل می گردد.پاداش دنیوی و اخروی نیز در گرو عقیده و اطاعت عملی مومنان مخلص و مطیع فرامین الهی و نیز اکرام حق انبیاء و اوصیاء معصوم می باشد.کلید واژه: ساختار معنایی ، سوره صافات ، سلام بر انبیاء ، توحید ربوبی و نبوت ، معاد و مقام انبیاء.

هریک از سور قرآنی ، دارای یک هیکل عظیمی است که از اهدافی که در تمام آیات آن گسترده شده ، شکل می گیرد . و این رابطه و هماهنگی به حدی است که به مجرد تکمیل آن ، رسالت و هدف های مشخص سوره نیز خاتمه می یابد ، تا به دنبالش رسالت و اهداف جدیدی مطرح شود و سوره ی دیگری آن رسالت و پیام و اهداف را به دوش کشد . در همین راستا این پایان نامه به ارتباط معنایی بین آیات سوره مبارکه نجم ، حول سه محور اصلی اعتقادی "توحید ، نبوت ، معاد"بر مبنای آیات وحیانی و روایت ائمه معصومین (ع) می پردازد . ما حصل بررسی آن است که : در پرتو انوار رحمت الهی و در سایه ی ایمان به وحدانیت خداوند و رسالت پیامبر اسلام (ص) و باور به روز رستاخیز ، تنها راه سعادت درعبودیت و بندگی در برابر خدا و تسلیم در پیشگاه اولیاء الهی، خلاصه می گردد .زیرا عدالت و حاکمیت و قدرت مطلق لایزال الهیبر همه امور سیطره و احاطه دارد و در همین راستا لزوم سوار شدن بر کشتی نجات حقیقی و پیروی از ائمه معصومین – که در زمره ی مهم ترین آیات کبرای الهی هستند- ضرورت می یابد . بدیهی است که این ملازمت ، باور و یقین به معاد و بازگشت همه امور به مبدأ و منشأ حقیقی را به دنبال دارد .

بررسی پیوند آیات یک سوره و دید ساختاری به سوره ها، نگرشی جدید است که هر چند به طور جزئی در تفاسیر متقدم وجود داشته، ولی در تفاسیر متاخر بیشتر مورد توجه است . از آنجا که دید ساختاری به سور کمک شایان توجهی به درک مفاهیم قرآن و کشف افقهاى جدید در اعجاز قرآن می‏کند، در این پژوهش، به ساختار سوره مرسلات، چگونگی پیوند آیات آن و دسته بندی آیات درون سوره با محوریت روز قیامت /کیفر منکران روز قیامت ، پرداختهشده است.در جهت نیل به این هدف، ابتدا معرفی تفسیر ساختاری و کار کردهای آن و نیز دلایل اثبات هدفمندی سوره ها بررسی شده است و سپس به بیان مراحل ساختار معنائی ، کشف غرض سوره مرسلات با تفاسیر و عواملی که در دید ساختاری در تعیین هدف بکار می روند پرداخته و در طول پایان نامه ارتباط تنگاتنگ آیات با هدف سوره بیان شده است.

هر یک از سوره‌های قرآن بنا به شرایط و شأن نزول و موقعیت مکانی و زمانی که دارند دارای موضوعاتی خاص هستند که اهدافی را جهت تعالی بشر دنبال می‌کنند. در بررسی شکلی و معنایی سوره مبارکه مریم که موضوع تحقیق است به این نتیجه می‌رسیم که هدف سوره مریم به‌طوری‌که در آخر سوره به آن اشاره فرموده است: بشارت به پرهیزگاران و انذار مردم ستیزه‌جو است. لذا همین غرض را در سیاقى بدیع و بسیار جالب قرار داده، سوره را با حروف مقطعه آغاز کرده و سپس به داستان زکریا و یحیى و قصه مریم و عیسى و سرگذشت ابراهیم و اسحاق و یعقوب و موسى و هارون و داستان اسماعیل و حکایت ادریس] و سهمى که به هر یک از ایشان از نعمت ولایت داده (که یا نبوت بوده و یا صدق و اخلاص) اشاره‌کرده است. آنگاه علت این عنایت را چنین بیان فرموده که این بزرگواران خصلت‌های برجسته‏اى داشته‏اند از آن جمله که بنده خالص خدا بوده و نسبت به پروردگارشان خاضع و خاشع بودند، ولیکن اخلاف ایشان از یاد خدا اعراض نموده و به‌جای آن دنبال شهوت را گرفتند. لذا ما در این پایان‌نامه که پیرامون بررسی ساختار معنایی سوره مبارکه مریم (با محوریت حروف مقطعه، سیره و اخلاق انبیاء) است، به بررسی موضوعات خاص و محوریت اشاره شده در سوره مریم پرداخته‌ایم.

درنظریه ساختارمعنایی سوره ها، مفسرمی کوشد تا یکپارچگی انسجام محتوایی میان آیات یک سوره را نشان دهد. دربررسی وجوه تناسب معنایی درآیات سوره تغابن چنین بدست می آید که: این سوره در ضمن یادآوری پاره ای از صفات خداوند ، به بررسی احوال مومنان وکفّار در یوم التغابن(یوم الحسره)وموجبات بروز آنها ونتیجه وآثار آن می پردازد.عمده ترین حالات کفّاروعوامل موثر درآن عبارتند از: قطعیت عقوبت کفّار به واسطه ارتکاب گناهان،عقوبت کفّار به واسطه تکذیب انبیاء الهی،عقوبت وعذاب منکرین معاد وبعث،حبط اعمال وعدم رستگاری کافران وتکذیب کنندگان آیات الهی وتهدید کفار به هلاکت به واسطه عدم اطاعت از خدا ورسول (ص)وترک ولایت وحق ائمه.عمده ترین اوصاف وحالات مومنان وعوامل موثر در آن عبارتند از: بشارت وپاداش مومنان به واسطه ایمان وملازمت آن با عمل صالح،هدایت قلبی مومنان در سایه صبوری وتوجه به خدا در بروز مصائب،رستگاری مومنان در سایه ایمان واطاعت ازخدا ورسول(ص)ونور الهی(در اوامر ونواهی)،بهره ازعنایات وتأییدات الهی در سایه توکل بر خدا،پاداش الهی به واسطه تقدم رضای الهی برآزمایش(فتنه)اموال واولاد،رستگاری مومنان به واسطه تقوا واطاعت وانفاق ودوری ازبخل، پاداش مضاعف وآمرزش مومنان به واسطه اداء قرض الحسنه.توجه به بررسی اوصاف وحالات کفّارومومنان دراین سوره ، به خوبی نشان می دهدکه انسان براساس این ویژگی ها باشناخت وانتخاب راه درست درزندگی وانجام اعمال صالحه وعمل به فرامین ودستورات الهی،براساس کلام وحی الهی وتبعیت ازسخنان ورفتارمعصومین علیهم السلام می تواند درمسیرسعادت وصراط مستقیم قرار گیرد.