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

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

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

دز قسمت اول فرض بر این است که r یک حلقه نوتری و m یک r- مدول با تولید متناهی است. برای عدد صحیح t اگر مدول کوهمولوژِی موضعی h^i_a m نسبت به ایده آل a برای هر i<t باتولید متناهی باشد انگاه رابطه ی یکریختی بین h^i_a m/xm و حاصلجمع مستقیم h^i_a m و h^i+1 _a m برای هر عضو a- فیلتر منظم ط واقع در یک توان به اندازه کافی بزرگ از a و هر i<t-1 برقرار است. در قسمت دوم فرض بر این است که (r,m) یک حلقه موض...

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

حلقهr را_ ur حلقه می نامیم هرگاه هرعضوآن رابتوانیم به صورت حاصلجمع ازیک عضویکه ویک عضومنظم بنویسم.ثابت می کنیم که این حلقه ها تعمیمی از حلقه های منظم ،حلقه های پاک و_ (s,2) حلقه ها هستند. دراین تحقیق برخی روابط این حلقه هارا مطالعه وبررسی می کنیم وچند ویژگی از حلقه های پاک و _ (s,2) حلقه ها راتوسیع خواهیم داد . همچنین توسیع _ ur حلقه هاراپایه گذاری می نمائیم.

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

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

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