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

برای اولین بار در تاریخ قانون‌گذاری کشور، دادگاه خانواده در رایت یک دادگاه اختصاصی و به‌واسطه قانون حمایت خانواده مصوب 1/12/1391 موجودیت یافت؛ به همان میزان که ایجاد چنین دادگاهی ضروری است، تدوین و تصویب مقرراتی روشن و بدون ابهام در مورد آن‌هم لازم است؛ ازجمله اموری که در این راستا حائز اهمیت می‌باشد، بحث صلاحیت ذاتی دادگاه خانواده به‌عنوان یک دادگاه اختصاصی بوده و قانون‌گذار تکلیف داشته و دارد...

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

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

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

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

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

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