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

ناهمخوانی ادات ربط زبان طبیعی و ادات زبان منطق کلاسیک در تابع ارزشی بودن، موجب شده است تا برخی گمان کنند که زبان منطق کلاسیک در بازنمایی جملات زبان طبیعی و صورتبندی استدلالهای این زبان ناتوان است. در این مقاله تلاش می شود تا نشان داده شود که زبان منطق کلاسیک یکسره از آن صورت بندی عاجز نیست و مدعای مخالفان توانایی زبان منطق در بازنمایی جملات و استدلالهای زبان طبیعی، کامل نیست. دفاعیات در این زمینه به دو دسته دفاعیات مستقیم و غیر مسقیم تقسیم میشوند. اگرچه نظریه گرایس در این زمینه یک نقطه عطف برای دفاع غیر مستقیم محسوب میشود، در این مقاله به طرح بخشی از دفاعیات مستقیم در برابر مدافعان نا همخوانی استدلالهای صوری شده زبان منطق با زبان طبیعی می پردازیم: ابتدا با ذکر استدلالهای استراسون در مخالفت با بازنمایی جملات زبان طبیعی توسط زبان منطق کلاسیک به دفاعیات کلارک خواهیم پرداخت و سپس چالشهای یانگ در مقابل کلارک و پاسخهای کلارک را خواهیم دید.

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

نظریه­ی اطلاق (Supposition Theory) یکی از نظریه­های مهم منطقی-دلالت­شناسی است که در تألیفات و تفاسیر منطق­دانان قرون وسطایی در ذیل بحث «ویژگی­های حدود» مطرح گردیده است. از آنجایی که این نظریه دارای پیامدهای منطقی، فلسفی و الاهیاتی مهمی است در این پژوهش به بررسی ریشه­ی مفهومی و تاریخی آن می پردازیم. مدعای اصلی این پژوهش وجود پیوندی معنادار به لحاظ تاریخی و مفهومی بین نظریه­ی قرون وسطایی اطلاق و نظریه­ی مغالطات ارسطو است که در رساله­ی «در پیرامون ابطال­های سوفیستی» وی مطرح شده است. بررسی مورد به مورد مغالطات مطرح شده توسط ارسطو در مقایسه و تطبیق با تحلیل­های منطق­دانان قرون وسطایی این فرضیه را تقویت می کند که نظریه­ی اطلاق همان دلالت­شناسیِ پنهان در نظریه­ی مغالطات ارسطو است که توسط منطق­دانان قرون وسطایی ماهیتی آشکار و مستقل پیدا کرده است و در دوران قرون وسطایی متأخر در برخورد با مشکلات دلالت­شناسی مختلف در ابعاد گسترده­تری نیز توسعه یافته است.

ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه‌ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف‌نظری دیده نمی‌شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می‌باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می‌شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق‌دانان قبل اثیر الدین ابهری را در بر می‌گیرد ( ابن صلاح همدانی تا افضل الدین خونجی) با شرایطی، پنج ضرب منتج را برای شکل چهار قائل‌اند و گروهی از متأخران که در برگیرنده برخی از منطق‌دانان بعد اثیر الدین ابهری می‌باشند با شرایط دیگری قائل به هشت ضرب منتج برای آن هستند. قابل ذکر است که اثیرالدین ابهری با شرایطی سه ضرب دیگر به ضروب منتج شکل چهار افزود و به مرور برخی منطق‌دانان(تفتازانی،حاج ملاهادی سبزواری و ..) بدون توجه به شرایط سه ضرب ارائه شده از سوی ابهری ، به‌طورکلی قائل به هشت ضرب منتج شدند.در این مجال به بررسی پیشینه شکل چهارم قیاس اقترانی و شرایط انتاج آن می‌پردازیم. ضمن اثبات درستی نظر متقدمان؛ به ریشه‌یابی نظر برخی از متأخرین پرداخته‌شده که مشخص می‌شود بدفهمی از عبارات اثیر الدین ابهری صورت گرفته و نظر وی در خصوص موجهات(مختلطات) به قیاس‌های غیرموجه(مطلقات) تسری داده‌شده است. در این پژوهش علاوه بر بیان روشن این خلط به چرایی این اشتباه نیز پرداخته شده است.

هیلاری پاتنم (۱۹۲۶-۲۰۱۶)، فیلسوف برجسته‌ی تحلیلی، بخش مهمی از دوران طولانی تفلسفش را به این سوال می‌پردازد که «ذهن و زبان چگونه به جهان خارج چنگ می‌زنند؟» در مقام پاسخ به این سوال، در حوزه‌ی سمنتیک، برون‌گرایی معنایی را طرح می‌کند و در حوزه‌ی متافیزیک و انتولوژی، علیه رئالسیم متافیزیکی به پا می‌خیزد و دو استدلال ارائه می‌کند که یکی از آن‌ها استدلال مدل‌تئورتیک است. در این مقاله نشان خواهم داد که استدلال پاتنم به سود برون‌گرایی معنایی و استدلال مدل‌تئورتیکِ او علیه رئالیسم متافیزیکی، هرچند به لحاظ ظاهری دارای ساختار و صورت‌بندی متفاوتی هستند، اما درواقع اندیشه‌ی واحدی از هر دوی آن‌ها پشتیبانی می‌کند. در این راستا، پس از گزارش هریک از این استدلال‌ها، صورت‌بندی تازه‌ای از آن‌ها ارائه می‌شود. سپس بر پایه‌ی وجوه اشتراک این دو استدلال، اندیشه‌ی پشتیبان آن‌ دو معرفی خواهد شد. طبق این اندیشه‌ی پشتیبان، انفکاک قاطع میان ذهن و جهان خارج منجر به نامتعین شدن رابطه‌ای ارجاعی میان آن‌ها می‌شود اما بنا به درک متعارف، این رابطه متعین است؛ پس ذهن و جهان خارج منفک از یک‌دیگر نیستند؛ به عبارت دیگر، درهم‌تنیده‌اند.