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

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

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

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

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

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

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

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

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

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