عنوان فارسی مقاله:فلسفه افلاطونی یا افلاطون پژوهی چیست؟ تفکر و اندیشه در خصوص دیدگاه‌های کورت گودل

چکیده

در زمینه فلسفه منطق و ریاضیات کورت گودل، به عنوان طرفدار فلسفه افلاطون در نظرگرفته شده است. مفهوم این موضوع چیست؟ به گفته ریاضی دانان، این صفات و ویژگی‌ها اهمیت زیادی ندارد. به عنوان نمونه، مفهوم آنتی رئالیست را مد نظر قرار دهید. یکی از شواهد آنتی رئالیسم، این است که در رشته‌های ریاضی، هستی و کلیات بر اساس مفاهیم اصلی را به طور دقیق بیان نمی‌کنند. ولی سؤال مطرح شده این می‌باشد که مفهوم عدم بیان واقعی چیست؟ بدیهی می‌باشد که هنگامی یک فیلسوف، آنتی رالیسم و نظریه مدل را پیاده سازی می‌کند، سورها را به ارزش‌های مختلف مد نظر قرار می‌دهد که به معنی کاربرد آن‌ها به منظور بیان وجود و کلیت این ارزش‌هاست. این مفهوم، فارغ از این که آیا فیلسوف واقعاً در روز جمعه به افلاطون احترام می‌گذارد یا مایکل دامت، صحیح می‌باشد(فلسفه افلاطونی یا افلاطون پژوهی).

Title:WHAT PLATONISM ? REFLECTIONS ON THE THOUGHT OF KURT GODEL

Abstract

odel is routinely called a Platonist in his philosophy of logic and mathematics. What does that mean ? From the point of view of a working mathematician or logician such labels make little difference. For instance, take the idea of antirealism. A typical manifestation of antirealism in the foundations of mathematics is the claim that in mathematical contexts quantifiers do not really express existence and universality with respect to some subject matter, as they do in everyday applications. (Cf. here Benacerraf 1973.) But what is really meant by "not really" here ? What difference does it make for one's actual work in logic ? It is almost certain that when a soi-disant antirealist logician practices model theory, he or she will treat quantifiers as ranging over a class of values, which is tantamount to taking them to express existence and universality in that class of values. And this is likely to be the case no matter whether the logician in question pays homage in his or her philosophical Sunday prayers to Plato or to Michael Dummett.

دیدگاهها بسته است.

نام محصول	قیمت محصول	تنظیمات

جمع کل : 0 ریال
تسویه حساب