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

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

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

اسپینوزا با اعتقاد به تک جوهری خدا را تنها حقیقت جوهری عالم و بقیة موجودات را حالات صفات او دانست. وی در براهینی که بر وجود خدا اقامه کرده است، از دو روش انّی و لمّی استفاده کرده است و از میان آن دو اتقان برهان لمّی را بیشتر می داند. این براهین به طور عمده در سه اثر او آمده است: «اصول فلسفة دکارت»، «رسالة مختصره» و «اخلاق». برهان مهم او بر وجود خدا برهان وجودی است و تقریر او از این برهان مشابه تقر...

چکیده یکی از ساده‎ترین، عمومی‎ترین و در عین حال کهن‎ترین براهینی که برای اثبات وجود خدا اقامه شده، برهان نظم یا برهان غایت‎شناختی است. اندیشمندان بسیاری در تأیید یا رد این برهان قلم‎فرسایی کرده‎اند که در این میان، نقدهای کانت شهرت فراوان دارد. موضع کانت در برابر این برهان، هم جانبدارانه است و هم منتقدانه. او برهان نظم را همواره شایستۀ احترام می‎داند، زیرا تنها برهانی است که راه فهم را برای اعتق...

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

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

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