جستجوي پيشرفته | کتابخانه مجازی الفبا

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

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