کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

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

This article has no abstract.

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

در این پایان نامه ابتدا همانی تقریبی راست چپ و همانی تقریبی دو طرفه معرفی سپس نشان داده میشود تحت چه شرایطی جبر نرمدار همانی تقریبی دارد. سپس نشان داده میشود در حالت کراندار وجود همانی تقریبی چپ و راست وجود همانی تقریبی را نتیجه میدهد. سپس واحد تقریبی راست چپ و واحد تقریبی معرفی میشوند.نشان داده میشود تحت چه شرایطی جبرنرمدار واحد تقریبی دارد.سئس نشان داده میشود در حالت کراندار همانی تقریبی و و...

ابرگروه های نوع u از طرف راست با اسکالر همانی راست 1 را می توان بر حسب خانواده ی {p_1 = {1o x|x ∈ h دسته بندی کرد. در این پایان نامه ابتدا ثابت خواهد شد اگر مجموعه ای دارای مرتبه ی بزرگتر از 6 باشد آن گاه ابرگروه و یا نیم ابرگروه های سره ی نوع uاز طرف راست وجود دارند به طوری که اسکالر همانی راست، همانی چپ نمی باشد. سپس یک ساختار روی ابرگروه های نوع u از طرف راست که اسکالر همانی راست، همانی چپ ن...