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

کورت گودل در فوریه ی ???? با دینا اسکات درباره ی دلیل هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتیْ تا حدی متفاوت از آن را در دانشگاه پرینستُن ارائه کرد. نظام منطقی دلیل، منطق موجهات مرتبه ی دوم در نظام s5 است، با این همانی و یک اصلِ انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه ی گودل، این که ضرورتا موجودی خدای-گونه وجود دارد( )، از مقدمات به دست می آید. سوبل اما نشان داد که علاوه بر قضایای گودل، حداقل هفت قضیه ی دیگر نیز از سیستم قابل استنتاج است. او در قضایای ? تا ? خود برخی از ویژگی های موجود خدای-گونه را نشان داد و بر مبنای قضیه ی ?، با تکیه بر شهود متافیزیکی خود، استدلال کرد که موجود خدای-گونه ی سیستم نمی تواند همان خدایی باشد که دلایل هستی شناسیک به دنبال اثبات آن هستند. علاوه بر این، او در قضایای ? تا ?? خود نیز نشان داد سیستم با مشکلات جدی تری مواجه است؛ یعنی در سیستم می توان ثابت کرد که وجود همه ی موجودات ضروری است، هم چنین سیستم با شکست وجهی مواجه است، یعنی در آن مفاهیمِ وجهیِ ضرورت، امکان و واقعیت یکی هستند. برای حل این مشکل، برخی از محققان تلاش کردند تا با اصلاحاتی در سیستم از استنتاج قضایای سوبل جلوگیری کنند. از جمله، سی. انتونی اندرسون تلاش کرد با ضعیف تر ساختن برخی مقدمات و تغییر برخی از تعاریف، راه بر شکست وجهی ببندد. هرچند تلاش اندرسون موفق بود و با اصلاحات او سیستم دیگر با شکست وجهی مواجه نیست، سیستم او نیز هنوز با برخی از مشکلات مواجه است. در این پژوهش پس از نگاه کوتاهی به تاریخ دلیل هستی شناسیک، تلاش خواهم کرد دلیل هستی شناسیک گودل، انتقادات سوبل و برخی از پاسخ ها بدان، از جمله اصلاحات اندرسون را بیان کنم. واژگان کلیدی: گودل، دلیل هستی شناسیک، موجود خدای-گونه، ویژگی مثبت