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

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

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

فیزیک آماری اشاره به رویکردهای آماری و احتمالاتی به مکانیک کلاسیک و مکانیک کوانتوم دارد، بنابراین از عبارت مکانیک آماری نیز به همان معنا استفاده می شود. رویکرد احتمالاتی برای سیستم های کلاسیک در مواقعی که تعداد درجات آزادی و متغیرها زیاد و حل دقیق معادلات حاکم بر سیستم دشوار و یا کلاً غیر قابل حل هستند، خیلی خوب کار می کنند. یکی از سیستم هایی که برای توصیف قوانین ترمودینامیکی آن نیاز به مکانیک آ...

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

گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توس...

در سال ‎۱۹۰۶‎، برتراند راسل در مقاله خود نشان داد که تقریباً تمامی پارادکس های نظریه مجموعه ها دارای یک شکل مشترک می باشند. در سال ‎۱۹۶۹‎، لاوور با استفاده از زبان نظریه رسته ها، به یک وحدت و یکپارچگی عمیق تر دست یافت که نه تنها پارادکس های نظریه مجموعه ها، بلکه پدیده ناتمامیت را نیز شامل می شد. در واقع لاوور طرحی مشترک ارایه داد که موضوعات بسیار همچون قضیه کانتور در مورد مجموعه های توانی، پاراد...

چکیده هدف از این پژوهش پیش بینی رضایت زناشویی ازروی متغیرهای سبک های دلبستگی و باورهای ارتباطی با کنترل متغیرهای سن، جنس، مدت زمان ازدواج، تعداد فرزندان و سلامت روان می باشد. برای دست یافتن به این منظور در میان کارمندان متأهل شاغل در دانشگاه فردوسی مشهد تعداد140 پرسشنامه توزیع گردید که در نهایت 81 پرسشنامه قابل تحلیل به دست آمد. ابزار گردآور ی دادهها در این تحقیق عبارتند از، پرسشنامه رضایت زن...

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