متناهیا اصل ناپذیری استقراء باز نرمال

پایان نامه
چکیده

زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد. همچنین در سال 1996، او در مقاله خود در j.l.m.s متناهیا اصل ناپذیری noi را ثابت نمود. در این پایان نامه ضمن توصیف برهانهای مذکور، نشان می دهیم که روش براردوچی-اترو مطرح شده در مقاله مشترک سال 1996 آنها در j.s.l برای ساختن مدلهای noi، منجر به اثباتی ساده تر از قضیه دوم بوگاتا می گردد.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

جایگاه استقراء در قرآن

در علم منطق یکی از اقسام استدلال، استقراء است که به رغم تنزل اعتبار آن نسبت به قیاس برهانی، از اهمیت و رواج قابل توجهی برخوردار است. یکی از بهترین راهها برای ایجاد انگیزه، عبرت آموزی، تقویت باورها و نیز هدایت عموم انسان‌ها، طریقه استقراء است. قرآن کریم گرچه از طرق مختلف استدلال در موارد خاص، برای امر هدایت استفاده کرده است، اما در این میان، شیوه استقراء، فراوانی قابل توجهی دارد. روش‌های دیگر اس...

متن کامل

شهید صدر و مساله استقراء

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

متن کامل

لَری لاودن و استقراء بدبینانه

واقع‌گرایان، با تکیه بر برهان «معجزه ممنوعِ» خود، می‌گویند که بهترین تبیین برای موفقیت فوق‌العادۀ تئوری‌های علمی این است که آنها (تقریباً) صادق هستند؛ اما لَری لاودن، با انتشار مقاله‌ای در سال 1981، یک استدلال تاریخی مهم و تأثیرگذار (مشهور به استقراء بدبینانه) را ترتیب داد که با این مدعای واقع‌گرایان کاملاً مخالفت داشت. طبق نظر لاودن، تاریخ علم، تئوری‌های علمی فراوانی را به ما عرضه می‌دارد که علی‌ر...

متن کامل

رابطۀ فرضیه‌ربایی با استقراء و حدس

برای روشنساختن این مسئله که آیا فرضیه‌ربایی، از هویت مستقلی برخوردار است یا آن‌که قابل ارجاع به یکی از گونه‌های مرسوم و متعارف استدلال در منطق و فلسفه است، مهم‌ترین عناوینی که باید رابطه فرضیه‌ربایی با آنها بررسی شود، استقراء و حدس و قضایای حدسی است. دربارۀ رابطۀ فرضیه‌ربایی با استقراء اساساً دو دیدگاه کلی مطرح شده است: الف) دیدگاهی که این دو را قابل تحویل به یک‌دیگر می‌داند؛ طرفداران این دیدگاه...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023