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

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

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

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

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

در دنیای رقابتی امروز توانایی مدیریت پروژه در زمان بندی فعالیتها و کنترل پیشرفت پروژه درهزینه و زمان معین و ارائه رهنمودهای موثر برای رسیدن به اولویتهای رقابتی مانند تحویل به موقع و مشتری مداری بسیار با اهمیت می باشد.یکی از جدی ترین مشکلات موجود در پرت سنتی دشواری محاسبه دقیق زمان فعالیتها در آن می باشد. زمان انجام فعالیتها در شبکه های سنتی پرت معمولاٌ یا بصورت مقادیر قطعی بیان می شوند و یا بعنو...

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

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

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

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