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

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

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

ارزیابی سود و زیان در اخلاق و آداب پزشکی اقتضائاتی هم چون برآوردکردن خطر، ریسک معقول، تمیز میان ملاحظات فایده گرایانه ی طبی و غیرطبی، نسبت سود فرد و اجتماع و مسائلی از این دست دارد. این مقاله برآن است تا مبانی فلسفی این مهم را بکاود. سود/زیان در تاریخ فلسفه به لذت/رنج، خوب/بد تحویل شده است. لذت (معنوی و غیرمعنوی) معیاری سوبژکتیو (انفسی) برای سود به حساب می­آید. اما اخلاق کاربردی محتاج معیاری اب...

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

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

لوئیس کرول در مقاله «لاک پشت به آشیل چه گفت؟» یکی از بنیان های منطق را زیر سؤال می برد و در گفت وگویی خیالی این مسئله را مطرح می کند که اصولاً چرا باید از مقدمات یک استدلال به نتیجه رسید. آیا منطق به تنهایی می تواند توجیه کننده استفاده از منطق نیز باشد یا باید کاربرد منطق را در خارج از علم منطق توجیه کرد. در این مقاله، به دو رویکرد کلی در پاسخ به این سؤال توجه می شود. نخست، رویکردی کاملاً منطقی ک...

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