مجدالدین عبدالرزاق جیلی (د. ح. 570 ق.)، برای نخستین بار در تاریخ منطق، در رسالۀ اللامع فی الشکل الرابع به مختلطات شکل چهارم پرداخته است. پیش از او، دنحای کشیش (ح. 800م.) و ابوالفتوح ابن صلاح همدانی (د. 548ق.)، معاصر جیلی، مطلقات شکل چهارم را به تفصیل طرح کرده بودند. جیلی در رسالۀ اللامع تنها به موجهات «بسیط» شکل چهارم پرداخته و هیچ اشاره ای به موجهات «مرکب» نکرده است. شاگرد او، فخر رازی، نیز تن...

ابوالفتوح احمد بن محمد بن صلاح همدانی، که یک سده پس از ابن سینا می زیسته، نخستین منطق دان مسلمان است که ضرب های منتج و عقیم شکل چهارم را به تفصیل برشمرده و اثبات کرده است. رساله او با نام «مقاله فی الشکل الرابع من أشکال القیاس الحملی و هو الشکل المنسوب إلی جالینوس» در سال 1965م. به صورت عکسی چاپ و یک سال پس از آن با تصحیح نسبتاً ضعیفی از سوی نیکلاس رشر در آمریکا منتشر شده است. این مقاله تصحیح و ...

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

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

مجدالدین عبدالرزاق جیلی (د. ح. 570 ق.)، برای نخستین بار در تاریخ منطق، در رسالۀ اللامع فی الشکل الرابع به مختلطات شکل چهارم پرداخته است. پیش از او، دنحای کشیش (ح. 800م.) و ابوالفتوح ابن‌صلاح همدانی (د. 548ق.)، معاصر جیلی، مطلقات شکل چهارم را به تفصیل طرح کرده بودند. جیلی در رسالۀ اللامع تنها به موجهات «بسیط» شکل چهارم پرداخته و هیچ اشاره‌ای به موجهات «مرکب» نکرده است. شاگرد او، فخر رازی، نیز تن...