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

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

هدف: پژوهش حاضر با هدف بررسی چگونگی پیش بینی تعلل ورزی به وسیله باورهای فراشناختی انجام شده است. روش: 199 نفر (126 دختر و 73 پسر) از دانشجویان دانشکده های مختلف دانشگاه شیراز که به روش نمونه گیری خوشه ای- چندمرحله ای تصادفی انتخاب شدند، پرسش نامه فراشناخت- 30، پرسش نامه تعلل ورزی رفتاری و پرسش نامه تعلل ورزی تصمیم گیری را تکمیل نمودند. داده ها به کمک روش آماری تحلیل رگرسیون چند متغیره به شیوه گ...

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

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

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

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

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