توجیهات برای دانش عمومی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی
- نویسنده شیما فلاحتی
- استاد راهنما مجتبی آقایی محمدرضا رئوفی
- سال انتشار 1393
چکیده
منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می کنیم که این منطق یک گسترش پایستار از منطق توجیه صریح مینیمال دو موجهی یاورسکایا است که یک نسخه ی دو عاملی از lp است و ارتباط این منطق با منطق موجه چند عاملی s4 با دانش عمومی مطرح می شود. در آخر، یک تحلیل مختصری از مسئله ی حمله ی هماهنگ در زبان اخیراً توسعه یافته از این منطق بررسی می شود.
منابع مشابه
توجیهات برای دانش عمومی
منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می ...
سیاستگذاری عمومی مناسب برای یک اقتصاد دانش بنیان
طی سالیان اخیر لزوم دانش بنیان شدن مورد تأکید تمامی مسئولان و صاحب نظران کشور بوده و همگان در این خصوص توافق داشته اند. امّا تحقق جامعه مبتنی بر دانایی یا همان جامعه دانش بنیان مستلزم برخی تحوّلات بنیادین در جهت گیری ها، خط مشی ها و سیاستگذاری های عمومی می باشد. جوزف استیگلیتز (برندۀ نوبل اقتصادی و مشاور ارشد بانک جهانی) در این مقاله به تعریف «جامعۀ مبتنی بر دانایی»، ذکر تفاوت های آن با جامعه ای ...
متن کاملاجرای علنی مجازات؛ توجیهات و تبعات
نحوۀ اجرای مجازات از مسائل مهم و چالش‌برانگیز حقوق کیفری است. بازدارندگی به‌عنوان یکی از اهداف اساسی اجرای مجازات بعضی از مجریان عدالت کیفری را بر آن داشته است تا چنین هدفی را از راه اجرای علنی مجازات دنبال کنند. در فقه جزایی اسلام و به‌تبع آن در نظام حقوقی ایران هم، چنین تمایلی جود دارد. برای توجیه فقهی این تمایل، به قرآن و سنت استناد شده است. به‌نظر می‌رسد آیات و روایات مورد استناد، دلالتی...
متن کاملبررسی ساختار و اجزای دفتر توجیهات در عصر صفوی
یکی از ابزارهای دیوان استیفا برای ثبت و ضبط دخل‌وخرج کشور دفاتر مالی بوده که برای تدوین آنها از شیوۀ خاصی پیروی شده است. از جملۀ این دفترها دفتر توجیهات بوده که به ثبت هزینههای جاری مملکت اختصاص داشته است. هدف این مقاله واکاوی ساختار و اجزای دفاتر توجیهات، چگونگی ثبت و ضبط آن و قوانین حاکم بر آن در عصر صفوی است. در این دفاتر، اطلاعات مربوط به هزینهها به‌صورت مجزا در دو بخش «توجیهات» و «مق...
متن کاملتوجیهات فلسفی مجازات از وحدت گرایی تا تکثر گرایی
چرا مجازات می‌کنیم؟ این سؤالی است که قرن‌هاست ذهن فلاسفه و اندیشمندان حقوق کیفری را به خود مشغول کرده است. در پاسخ به این سؤال استدلال‌های سنتی در دو جبهة سزادهی و سودانگاری قرار گرفته‌اند. از آنجا که این دو دیدگاه رقیب از دیرباز یکدیگر را به عدم تکافو برای توجیه مجازات متهم کرده‌اند، استدلال‌های جدیدتر تمایل به آشتی‌دادن آنها دارند تا حتی‌المقدور از مزایای هر یک بهره‌مند شده، از معایب آنها به...
متن کاملتوجیهات، ضوابط و اشکال مداخله دولت در سیاست جنایی
سیاست جنایی، فراگفتمانی کاملاً علمی است که بخشی از بایگانی تاریخ تفکر ملل تلقی شده و به گواهتاریخ، رکنی اساسی از ارکان حکومت و هویت حقیقی فرهنگ دیروز و امروز مردمان بوده و جهانبینیآنها را نسبت به زندگی توأم با آسایش و آرامش در پرتو رعایت حقوق دیگران، نظم و امنیت فراگیر وبرخورداری از جامعه کمبهره از جرم و جنایت نمایان میسازد. این نهاد علمی، گویای منطق و بنیادفکری نظام اجتماعی در جرم و انحراف ستیز...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023