چکیده: از آنجا که قضیه حقیقیه، موضوعِ آن طبیعت لابشرط است؛ شأنیت شمول تمامی افراد خود را بدون قید دارا است. اما بر خلاف قضیه طبیعیه و ذهنیه با خارج در ارتباط است. یعنی می تواند افراد خارجی داشته باشد. این امر باعث شده است که چنین قضیه ای از قابلیتهای ویژه ای برخوردار باشد. و در واقع شمول افراد در موضوع این قضیه، بر خلاف عام، محدود به یک جمعِ خاص در شرایط محدود نیست. از این رو، قضیه حقیقیه از موا...

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

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

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

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

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

با ظهور ملاصدرا در قرن یازدهم، تحولی شگرف در بنیان های فکری - فلسفی در حوزۀ فرهنگ اسلامی پدید آمد که می توان بازتاب آن را به روشنی هم در تقریر و هم در توصیف برهان صدیقین مشاهده کرد. برهان صدیقین که تا آن زمان برهانی شناخته می شد که در آن با چشم پوشیدن از ماسوی الله و تنها با تأمل در «هستی»، وجود خدا اثبات می شود، برهانی شد که در آن راه و هدف یکی است و خدا خود بر وجود خویشتن گواهی می دهد، از آن ...