مرور درختی موضوعات | کتابخانه مجازی الفبا

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

اگر تلاش کنیم هر گزارۀ مفروضی را تحلیل کنیم، به طور کلی درمی‌یابیم که آن‌ها حاصل جمع، ضرب منطقی یا دیگر توابعِ صدقِ منطقیِ گزاره‌های ساده‌ترند؛ اما اگر به اندازۀ کافی تحلیلمان را ادامه دهیم، باید به نقطه‌ای برسیم که صورت‌های گزاره‌ای در آن، دیگر از ترکیب فرم‌های گزاره‌ایِ ساده‌تر تشکیل نشده‌اند. باید در نهایت به پیوندِ نهاییِ عبارات برسیم، پیوندی بی‌واسطه که نمی‌توان آن را بدون تخریبِ صورت گزاره‌ای به معنای دقیق کلمه، تجزیه کرد.

فهرست مطالب: فصل 1: حساب غیر صوری گزارها فصل 2: حساب صوری گزارها فصل 3: حساب غیر صوری محصولات فصل 4: حساب صوری محصولات فصل 5: دستگاه های ریاضی فصل 6: قضیه نا تمامیت گدل فصل 7: محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری