نشان میدهیم افزونگی یک ویژگی کیفی است که قاب های فضای هیلبرت را در کاربرد مفید می سازد. با این حال بدست آوردن یک تعریف کمی معنی دار از افزونگی برای قاب های نامتناهی پیچیده است ولی از آن جایکه جایگزین هایی برای افزونگی موجود است مهمترین مساله باز این است که ایا یک قاب با افزونگی بزرگتر از یک دارای یک زیر قاب با افزونگی دلخواه نزدیک به 1 هست یا نه ؟ ما به این سوال برای قاب های موضعی شده جواب مثب...

این پایان نامه مشتمل بر پنج فصل می باشد. فصل اول مقدمات و مفاهیم مورد نیاز ? فصل بعدی را فراهم می کند. در فصل فصل دوم به بررسی مشتق های موضعی روی جبرهای باناخ شناخته شده ای چون جبرهای فون نیومن و *c-جبرها و جبر های نست خواهیم پرداخت. در این فصل به جز قضایای اصلی که به تفصیل بیان شده اند، باقی قسمت های کلی گویی شده است. فصل سوم با جزییات کامل به بحث در مورد مشتق های موضعی روی می پردازد. همچنین...

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

دوگان موضعی فضای باناخ‎‎ ‎x‎‎‎‎‏‏، زیر فضایی بسته ‏از ‎ ‎x‎^{*}‎ ‎‎‎‏ است که در شرایط اصل انعکاس موضعی نسبت داده شده به ‎‎x‎ ‎ ‏به عنوان زیر فضایی از ‎ ‎x‎^{**}‎ ‎ ‎‎‏ صدق می کند. در این پایان نامه به معرفی فضاهای دوگان موضعی می پردازیم. جزئیات خاصیت های اصلی از این مفهوم را توضیح می دهیم. در این جا خاصیت های تکنیکی که ویژگی های فضاهای دوگان موضعی فضای باناخ را معرفی می کند را بیان می کنیم و...

در مقالۀ حاضر می­کوشیم بدون خدشه وارد کردن به جهانی­های اشاره شده در برنامۀ کمینگی و صرفاً با استفاده از پارامترهای زبانی ساخت ارتقایی را در زبان فارسی تبیین کنیم و نشان می­دهیم در این زبان نیز همانند دیگر زبان­های ضمیرانداز ثابت نوع خاصی از ساخت ارتقایی تحت عنوان بیش ارتقاء امکان­پذیر است که به موجب آن گروه اسمی فاعلی حتی پس از مطابقه با هستۀ زمانی فای کامل در بند درونه می‌تواند به جایگاه موضوع...

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

در بحث تفسیر هنری در فلسفۀ تحلیلی، موضعی هست به نام «قصدگرایی واقعی معتدل». این، نامی است که نوئل کرول برای موضع خود در قبال معنای آثار ادبی انتخاب کرده بود. فیلسوف قصدگرای واقعی معتدل، معتقد است که معنای اثر با تحقّق قصدهای مؤلف در متن متعیّن می‌شود؛ یعنی اگر مؤلف معنایی را قصد کند و بتواند آن معنا را با موفقیت در اثر خود متحقق سازد، آنگاه معنای موردنظر، متعیّن شده است. به‌تازگی، کرول موضع جدیدی ...

کشور آرژانتین در 4 مه 2006 پس از گذراندن مراحل مختلف قضایی و سیاسی برای حل و فصل اختلاف هایش با اروگوئه پیرامون نقض تعهدات این کشور از معاهدۀ بین دو کشور موسوم به اساسنامۀ رودخانۀ اروگوئه 1975، دعوایی بر همین مبنا علیه اروگوئه در دیوان بین المللی دادگستری اقامه کرد. نقض های ادعایی حاوی نقض تعهدات شکلی و ماهوی از اساسنامۀ بین دو کشور و برخی از اصول حقوق بین الملل محیط زیست به سبب مخاطرات احتمالی...

برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و هم? استدلال های مباشر را به دو قاعد? عکس مستوی و نقض محمول فروکاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگان? مشهور را به 32 محصوره گسترش داده است: 4 گزار? محصلة الطرفین مشهور، 4 گزار? معدولة الطرفین، 4 گزار? معدولة الموضوع، 4 گزار? معدولة المحمول، و همین 16 گزاره با جابه جا کردن «الف» و «ب» در هم? آن ها. اکبری، هم...

در کلیه قرار داد ها به ویژه بیع ضمانت اجراهای ناشی از نقض یکی از چالش برانگیز ترین مسائل در جریان مذاکرات مقدماتی تنظیم و امضاء قرار داد بوده و به همین جهت یکی از مباحث بسیار مهم حقوق قرار داد ها را در اکثر نظام های حقوقی تشکیل می دهد در این میان فسخ که موجب توقف کامل اجرای قرار داد و انحلال آن می شود و ضمانت اجرای نسبتا شدیدی نیز به شمار می رود جایگاه و مکانتی ممتاز دارد از آنجا کحه در حوزه تج...