چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها ر...

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

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

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

هرچند همه­ی تلاش «ویتگنشتاین» (Wittgenstein) به منظور سازگاری درونی دیدگاه متأخّر خود بوده است، لیکن با بررسی دقیق، مواردی از ناسازگاری درونی در آن مشاهده می­شود. یکی از موارد ناسازگاری درونی و بیرونی مطابق با تفسیر «کول»(Cavell) و «کریپکی» قرائت شکّاکانه از دیدگاه ویتگنشتاین متأخّر است. ویتگنشتاین شک­گرایی را به طور آشکار بی­معنا می­داند. به نظر او اصولاً نباید شکّاک حتّی برای بیان شک­گرایی خود از ط...

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

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

کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگر‌و‌تنها‍‌اگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواع‌طبیعی مورد استفاده قرار می‌گیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسی...