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

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

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

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

0این رساله فشرده ای است از مسائل مربوط به احکام به صورت تطبیقی در فقه شیعه و اهل سنت و موازنه و سنجش میان آنها که در شش فصل تنظیم یافته است . فصول رساله عبارتند از : حکم و اقسام پنجگانه آن ، حکم شرعی ثانوی و احکام ترخیصی حکم وضعی و اقسام ان ، حاکم و حاکمیت ، محکوم فیه یا متعلق حکم ، محکوم علیه یا مکلف نگارنده در تبیین مسائل فوق از مقدماتی به شرح زیر بهره جسته است؛ 1- انسان نیازمند حقوق پویا ...

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

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

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