زوکُــل

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

قضیه بازگشت [=Recursion Theorem] یکی از قضایای مهم و کلیدی نظریه مجموعه‌هاست، این قضیه در واقع به ما می‌گوید «استقرا» فقط روشی برای اثبات نیست،‌ بلکه می‌توان اشیایی را نیز با آن تعریف کرد، به عبارتی این قضیه حقیقت ساده‌‌‌ای را بیان میکند، به ما می‌گوید تابع بازگشتی «وجود» دارد. شاید این امر بدیهی بنظر برسد اما اثبات آن چندان بدیهی نیست، شاید کسان دیگری هم چون من در فهم اثبات این قضیه مشکل داشته باشند، من یادداشتی از اثبات این قضیه برداشتم که ممکن است به فهم ساده تر قضیه کمک کند، PDF آن را می‌توانید از لینک زیر دانلود کنید: