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

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

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

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

از آنجا که موضوعات متنوع و فراوانی در اغلب سور قرآنی مطرح می شوند که گه گاه در نگاه نخستین، پراکنده و بی ارتباط و گسسته می نمایند، لازم است از زوایای گوناگون، گفتمان کامل ِپریشان گویی ِدر ظاهر، و گمان باطل ِپراکنده گویی در باطنِ قرآن، نقد و بررسی شود. پیوستگی معنایی که ارتباطی تنگاتنگ با تناسب و ترتیب سور دارد از جمله مباحثی است که در متون گذشته و حاضر مورد غفلت واقع شده و عدّه ای نیز، تلا ش برای إر...

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

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

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

گرایس، مجادلات میان منطق گزاره‌ها و زبان طبیعی را با کشیدن حصاری میان حوزۀ هریک، پایان می‌دهد. او منطق را به دلالت‌شناسی، و زبان طبیعی را به کاربردشناسی مشغول می‌کند. مقالۀ پیش رو، با گسترش ایدۀ گرایس به منطق محمولات، مدعی است با تفسیر جانشینی از سورها، ایدۀ گرایس در این حوزه از منطقْ محقق و پارادوکس‌های این حوزه مرتفع می‌شود. برای این منظور، با افزودن اصل پنجمی به چهارگانۀ گرایس، نشان داده شد ک...

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