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

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

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

در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

این مقاله به بررسی سازگاری یا ناسازگاری اصل اختیار با اصل علیت فلسفه و قانون موجبیت«دترمینیسم» فیزیک می­پردازد. نویسنده نخست به تعریف و تبیین حقیقت اختیارو جبر پرداخته، آنگاه شبهات مدعیان تعارض اختیار با اصل علیت (جبر علی و معلولی، استحاله ترجیح بلامرجح و تسلسل اراده­ها) را  تحلیل و نقد می­نماید. بخش آخر مقاله به بررسی و مقایسه قانون دترمینیسم فیزیک کلاسیک و قوانین آماری و اصل کوانتوم فیزیک جدی...

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­‌های کلامی خود به‌تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­‌های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­‌ا...

پژوهش پیش رو دربارۀ مسئلۀ کلامی جبر و اختیار از دیدگاه سید عبدالرحیم تاوه­گوزی، مشهور به مولوی کرد (1222ـ1300 ق.) و مولانا جلال­الدین محمد بلخی (606ـ672 ق.) است. مولوی کرد در منظومه­ های کلامی خود به تفصیل به مباحث کلامی و از جمله مسئلۀ جبر و اختیار پرداخته و تلاش می­کند این مسئله را در محدودۀ افکار و اندیشه­ های ابوالحسن اشعری و البته تا حدودی متفاوت با رویکرد و روش او بیان کند. مولانا جلال­ ا...

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