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

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

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

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

منطق ارسطویی (منطق حملی) از طریق ترجمه مستقیم و بی واسطه آثار ارسطو، و منطق رواقی ـ مگاری (منطق شرطی) با ترجمه غیرمستقیم و به واسطه برخی متون لاتینی جالینوس، اسکندر افرودیسی و بوئتیوس مربوط به نخستین سده های میلادی  به جهان اسلام راه یافت. پس از دو قرن تلاش برای ترجمه، شرح، تقریر و تفهیم میراث منطقی یونانیان، با ظهور  ابن سینا «دوره ابداع و نوآوری» فرا رسید. ابداعات منطقی و منطق های ابداعی ابن ...

هدف: یکی از راههای بازیابی اطلاعات استفاده از موتورهای جستجو است. هدف پژوهش حاضر بررسی مقایسه ای جامعیت و دقت موتورهای جستجوی عمومی براساس شاخص ربط سیستمی و بر اساس منطق جستجو می باشد. روش: این مطالعه به روش تطبیقی با استفاده از سه کلید واژه علم سنجی- تولیدات علمی و تحلیل استنادی که بر اساس جستجو در پایگاه اطلاعاتی ایرانداک پرتکرار ترین کلیدواژه ها در سالهای 1389-1393 در حوزه علم اطلاعات بوده ا...

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

ابن سینا ملاک نیازمندی معلول به علت را امکان ماهوی آن می‌داند، ولی ملاصدرا با نقد امکان ماهوی، امکان فقری را بر جای آن نشانده، عین ربط بودن موجودات به باری تعالی را نتیجه می‌گیرد. اما آیا سهروردی نیز همانند ابن سینا، ملاک نیازمندی معلول به علت را امکان ماهوی ماهیات می‌انگارد یا قبل از ملاصدرا و همانند او ، فقر فی‌نفسهِ انوار را ملاک نیازشان به علت می‌داند. در این مقاله، ثابت شده است که سهروردی د...

فلاسفۀ مسلمان به منظور تبیین نحوۀ ارتباط میان مراتب هستی، اموری را به مثابۀ میانی­ها مطرح ساخته­اند. در فلسفۀ ملاصدرا، وجود منبسط، به عنوان صادر اول، میان هویت غیبیه و ماهیات قرار دارد. این وجود مجرای مبانی هستی­شناختیِ اصالت، وحدت و تشکیک در وجود است. بنابراین هستی­شناسیِ مبتنی بر نقش میانی این وجود، ظهور مبسوطی است از میانی­اندیشیِ صدرایی. بر اساس این ساختار میانی‌اندیشانه، امکان بی­نهایت امور م...

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