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

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

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

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

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

فقه اسلامی بویژه فقه امامیه، حاوی مسایلی است که اجرای احکام آنها نیازمند به حکومت مقتدر و حاکم معتقد و آگاه نسبت به تعالیم الهی آن است. بر این اساس، باید توجه داشت که میان فقه اسلامی و مسئله دیانت با مسئله حکومت پیوندی ناگسستنی برقرار است. در این مقاله، به برخی از تجلیات این پیوند، اشاره شده است. از جمله: الف) سیری در متون فقهی برای تبیین پیوند فقه و حکومت. ب) سیره و عملکرد رسول خدا در باب ح...

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