مباحثی در تعریف ناپذیری صدق تارسکی
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- نویسنده سعیده حاجی بهرامی
- استاد راهنما سید محمد باقری
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1389
چکیده
قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 1963 ارائه داده است. سپس دو اثبات دیگر بدون استفاده از لم قطری شرح می دهیم، و تعریف ناپذیری صدق را برای مدل های نااستاندارد بررسی می کنیم.
منابع مشابه
صدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی
مفهوم صدق در فلسفه‌ی علم پوپر از جایگاه ویژه‌ای برخوردار است و این موقعیت منحصر به فرد، به ویژه وامدار آشنایی وی با آلفرد تارسکی و مفهوم سمانتیکی صدق وی است. برداشت پوپر از مفهوم سمانتیکی صدق تارسکی را که منطبق با نظریه‌ی تطابقی صدق است حداقل از سه منظر متفاوت می‌توان نقد کرد. نقد اول، نقد نظریه‌ی تطابقی صدق است فارغ از این که مدافع آن پوپر یا هر فیلسوف دیگری باشد. موضوع نقد دوم اما، برداشت پوپ...
متن کاملفضای مجازی رخنه‌ای در تئوری صدق تارسکی
بررسی صدق جملات فضای مجازی، دارای اهمیت ویژه‌ای است. برای بسیاری، فضای مجازی یکی از مهمترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنة اطلاعات و در دسترس بودن آن است. با همة مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل الوصول...
متن کاملتقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی
نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همی...
متن کاملتبیین آثار تشکیک‌پذیری معرفت در حکمت متعالیه در گسترۀ تعریف فلسفه، نظریۀ صدق و زبان‌شناسی
وجود در حکمت متعالیه امری مشکَّک است. هم‌سنخ‌انگاری «وجود» و «معرفت» در این نظام، سبب اتحاد احکام آن دو و تشکیک‌پذیری معرفت، همسان با تشکیک‌پذیری وجود می‌شود. پژوهش جاری با فرض ثبوت مشکَّک‌انگاری معرفت، درصدد بررسی و تبیین آثار و لوازم معرفت تشکیکی در سه حیطۀ خاص «تعریف فلسفه»، «نظریۀ صدق» و «نظریۀ زبان‌شناختی» از منظر صدرالمتألهین و با رویکرد تحلیل-منطقی عبارات وی است. رهیافت به‌دست‌آمده، تفسیری ن...
متن کاملمباحثی در اثبات ناپذیری و نظریه رمزی تعمیم یافته
در این رساله ابتدا قضیه رمزی کانونیک و سپس نسخه ای از قضیه کاناموری مک آلون از جنبه نظریه مدل مورد مطالعه قرار می گیرد. در هر مورد نشانگرهای جدید و نتایج مستقل از حساب مرتبه اول پئانو به دست می آید. سپس به قضیه مجموعه تین و محاسبه مقدار دقیق عدد رمزی متناظر با آن برای برخی گراف های خاص که مسیرها از جمله آن است پرداخته می شود.
15 صفحه اولتقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی
نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همی...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023