قرآن کریم دارای سطوح مختلفی است؛ گاهی قرآن را به عنوان یک «کل منسجم» درنظر می گیریم، گاهی آن را در حد یک سوره تقلیل می دهیم، زمانی یک آیه را درنظر داریم و در نهایت ممکن است به یک واژه از قرآن بسنده کنیم. هریک از این چهار سطح ویژگی ها و ارکان خاصی دارد. چنان که روش تفسیر آیه به آیه شامل آیات قرآن می شود، این روش می تواند به عنوان منطق صوری فهم معنای واژه های قرآنی نیز به کار رود. مقاله حاضر درنظر دارد با طرح منطق صوری واژه های قرآنی، آن را به عنوان روش شناسی کشف معنای مفردات آیات به کار برد.
گودل امکان فرضیه تعمیم یافته پیوستار را از رهگذر برهان بر عدم امتناعِ آن ثابت می کند؛ این در حالی است که بر پایه سخن ابن سینا در بند ما قبل آخرِ اشارات، عدم برهان بر امتناعِ چیزی برای اثبات امکان آن بسنده است. اکنون شایسته است بپرسیم که آیا کار گودل بیهوده است، یا سخن ابن سینا نادرست؟ پاسخ این جستار گزینه سوم است: هیچ کدام. «امکان» در فلسفه اسلامی دست کم هشت معنا دارد:1 امکان عام؛ 2 امکان خاص؛ 3 امکان اخص؛ 4 امکان استقبالی؛ 5 امکان استعدادی؛ 6 امکان وقوعی؛ 7 امکان فقری؛ 8 احتمال. در سخن ابن سینا امکان به معنای احتمال است که امری ذهنی، انفسی، و سوبژکتیو است، و از این رو به چیزی بیش از عدم برهان بر امتناع نیاز ندارد؛ امّا امکان در کلام گودل امری عینی، آفاقی، و اُبژکتیو است که نیازمند برهان بر عدم امتناع است. بنابراین، نه کار گودل بیهوده است و نه سخن ابن سینا نادرست.
ابوحامد محمد غزالی نخستین دانشمند اسلامی است که آشکارا منطق ارسطویی را با علوم اسلامی درآمیخته است. او روش تعریف و استنباط منطقی را وارد علم اصول و علم کلام کرد و تحول شگرفی در این دو علم پدید آورد. شناخت آرای منطقی غزالی، در فهم آرای منطق دانان پس از وی به ویژه فخر رازی، اهمیت به سزایی دارد. نقش غزالی در تبیین جایگاه رفیع علم منطق و رشد میزان مقبولیت آن در میان متشرعان آن زمان انکارنشدنی است. مرکب انگاری تصدیق و بررسی تمایز آن با معرفت، ابداع نسبت های چهارگانه منطقی، الحاق منطق به اصول فقه، درآمیختن قواعد منطقی با اصطلاحات ابتکاری جدید و مثال های اصولی و اسلامی و استخراج قیاس های منطقی از قرآن کریم، از ابتکارات و آرای منطقی غزالی است که ما در این نوشتار به ذکر و بررسی آن ها می پردازیم.
هر فرد آشنا به منطق می داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب - میان نقیض های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه طرح شبهه توسط کاتبی و دو پاسخ خواجه نصیرالدین طوسی، همگی به نحو مختصر و با بیانی موجز ارائه شده اند. تحقیق حاضر به تبیین، تنقیح و بازسازی این مسأله می پردازد