نظریه صدق تارسکی

200,000 ریال

Rated 5.00 out of 5 based on 0 بررسی

(0 بررسی)

شابک :

9789646688315
ناشر :

نقش جهان - خوارزمی
كد كالا :

72196
نوبت چاپ :

1
مولف :

علی اکبر احمدی
قطع :

رقعی
نوع جلد :

شمیز
تعداد کل صفحات :

219
زمان چاپ :

1397
وزن :

300

موجود نیست

کتاب نظریه صدق تارسکی : در منطق جدید کمتر نظریه‌ای را می‌توان به اندازة نظریة صدق تارسکی واجد اهمیت دانست. این نظریه خلأ معنایی بسیاری از شاخه‌های منطق صوری نوین را پر کرده، علاوه بر‌آن مباحث منطقی و فلسفی فراوانی را دامن زده است؛ به عبارت دیگر، هرجا جمله‌هایی را صادق به‌حساب آوریم و صدق جمله‌ها را به سبک تارسکی تعریف کنیم، باید خود را آماده پذیرش لوازم و پیآمدهایی کنیم که احتمالاً مورد وفاق همگانی نیست. مثلاً قبول واقع‌گرایی ریاضی با صادق دانستن، ولو، تعدادی از جمله‌های ریاضی و تلقی تارسکی گونه از صدق آنها ضرورت می‌یابد، اما همگان به این نتیجه گردن نمی‌نهند و...