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

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

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

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

تقسیم سود در شرکت های سهامی از مسائل بسیار مهم حقوق تجارت می باشد و مرکز بحث درآن همانا نحوه اعمال قدرت سهامداران اکثریت و حمایت از حقوق سهامداران اقلیت می باشد. تقسیم سود قابل تقسیم همانا تبلور تعارض منافع اکثریت حاکم و اقلیت محکوم در این روابط حقوقی می باشد وحقوق تجارت نیز در مقام حل این تعارض نامأنوس چاره اندیشی می نماید و برای آنان که دارای اقلیت سهام می باشد «حداقل حقوقی» را به رسمیت می شن...

نویسنده محترم مقاله « قضیه معدوله و محصله » ( مقالات و بررسیها ، 61 ، ص 81-103 ) « درصدد اثبات این مدعا است که در کتب منطقی – از ترجمه کتاب ارسطو گرفته تا کتب منطقی اخیر در سه مورد [ تقسیم قضیه به معدوله و محصله ، تقسیم لفظ به معدول و محصل و گفتگو درباره ملکه و عدم ] ، در هر سه مورد اشتباه رخ داده است (ص 81 ). نوشتار حاضر ابتدا با تفکیک شناخت امر واقع از تبیین آن ، خطای « اخذ مالیس بعلة علة » ...

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

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

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