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

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

در این مقاله مدل توجیهی را که گیرسون در مقاله «تخیل­پذیری و توجیهِ وجهیِ الغاءپذیر» (2005) برای توجیهِ باورهای وجهی ارائه می­کند بررسی می­کنم. مدل توجیه پیشنهادی گیرسون مبتنی بر تخیل­پذیری است. گیرسون تخیل­پذیری را بر اساسِ تصور تحلیل می­کند. گیرسون با پذیرشِ شباهت­هایِ برخی از مولفه­های شرح­اش با مدل یبلو (1993)، ادعا می­کند که از چند جهت بحث را پیش برده است. یکی از این پیشرفت­ها از نظر گیرسون این است که او از تصور گزاره­ای در توجیه باور وجهی استفاده می­کند. در این مقاله نشان می­دهم که گیرسون کمک چندانی به پیشبرد بحث نکرده است. از جمله به این دلیل که تصور گزاره­ای به گونه­ای که گیرسون تعریف می­کند، هیچ کمکی به توجیه باور وجهی نخواهد کرد. علاوه بر آن گیرسون به این سوال که «تصور کردنِ گزاره‌ای دقیقاً یعنی چه؟» نمی‌تواند جوابی بدهد که مطابق آن آنچه را که قابل تصور گزاره‌ای دانسته، مثل نقیض حدس گلدباخ، قابل تصور باشد ولی گزاره‌های غیرممکن متافیزیکی و حتی گزاره­های غیرممکن منطقی قابل تصورِگزاره‌ای نباشند.

داتِ منطقی در منطقِ کلاسیکِ گزاره‌ها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نموده‌اند. برخی استدلال کرده‌اند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلال‌هایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نموده‌اند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطی‌ها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطی‌ها در زبانِ طبیعی است.

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

کریپکی در کتاب مشهور «نامگذاری و ضرورت» مفهوم دلالت ثابت(rigid designation) را برای کلمات مفرد(singular terms) و به منظور رد نظریه های وصفی معرفی کرد؛ به این مضمون که یک کلمه دلالتگر، ثابت است اگر‌و‌تنها‍‌اگر در همه جهانهای ممکن بر یک چیز دلالت کند. او در سخنرانی سوم این مفهوم را به کلماتی که برای انواع‌طبیعی مورد استفاده قرار می‌گیرند تعمیم داد.در باب اینکه این تعمیم چگونه خواهد بود بحثهای بسیاری در گرفته است که می توان آنها را به دو دسته کلی قائلین به همسانی‌در‌دلالت(sameness in designation) و ذاتگرایان(essentialists) تقسیم کرد؛ لیکن یک مشکل اساسی بر سر راه قائلین به همسانی‌در‌دلالت تحت عنوان «مشکل بی‌مایگی»"(trivialization problem) وجود دارد که می گوید اگر ثبات برای کلمات کلی(general terms) به معنای همسانی‌در‌دلالت در میان جهانهای ممکن باشد ،آنگاه علاوه بر کلمات مربوط به انواع طبیعی بقیه کلمات کلی هم ثابت خواهند شد؛ زیرا آنها نیز دلالت بر یک خصوصیت یکسان خواهند کرد.در این مقاله ما یک روش استدلالی را برای دفع مشکل بی مایگی نقد می کنیم.این روش استدلالی بر این اساس است که اوصاف معین می توانند دلالت بر اشیاء وافر(abundant) بکنند و با استفاده از تناظر(parallelism) بین کلمات کلی و کلمات مفرد نتیجه می‌گیرد عبارات حملی وصفی نیز می توانند دلالت بر خصوصیات وافر بکنند؛ اما به نظر می‌رسد این ادعا با بعضی اصولی که رفتار سمانتیکی کلمات را توضیح می‌دهند و شهودهای ما در مورد صدق عبارات شامل این کلمات، همخوانی ندارد.

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

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

میلیکان در پاسخ به مسئلۀ پاتنم دربارۀ عدم تعین مصداقی واژه‌های زبانی این موضوع را مطرح می‌کند که اگر تعریف جدیدی از بازنمایی مبتنی بر شواهد زیستی و به‌ویژه اصل انتخاب طبیعی ارائه کنیم، آیا مسئلۀ پاتنم هم‌چنان موضوعیت خواهد داشت. پاسخ میلیکان به این سؤال منفی است. او معتقد است که سؤال باید این‌گونه مطرح شود که چه چیزی رابطه‌ای خاص را از میان بی‌شمار رابطۀ ممکن بین واژگان و اشیا به رابطۀ بازنمایی ـ بازنما تبدیل می‌کند؟ پاسخ او به این سؤال بر فرضیه‌ای مبتنی است که در زیست‌شناسی نیز محل اختلاف و مباحثات بسیار بوده است و طرف‌داران و مخالفان خود را دارد. میلیکان در زمرۀ گروهی است که نگاهی تاریخی به کارکرد دارند و معتقدند که کارکرد هر شیء باید براساس نقشی تعریف شود که قرار بوده است در سیر تاریخی پیدایشش ایفا کند. او به چنین کارکردی صفت «مطلوب» را اطلاق می‌کند. فرضیۀ بدیل معتقد است که کارکرد باید براساس کاری تعریف شود که در حال حاضر و در تعادل با وضعیت موجود بااستفاده‌از شیء انجام می‌شود. نکتة کلیدی در ارائة مفهوم کارکرد مطلوب ارائة تعریفی جدید از «بازنمایی» است. در این مقاله قصد داریم با معرفی تعریف میلیکان از بازنمایی نشان دهیم که این تعریف بر مفهوم «ساختکار» (functure) مبتنی است و برخلاف دیدگاه رایج در فلسفه که بازنمایی را امری ذهنی می‌داند، کاملاً عینی است.

برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آن‌که از ساختار خبری برخوردارند، اما صدق و کذب نمی‌پذیرند، زیرا قصد گوینده از بیان آن‌‌ها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری می‌خوانند. پیش از این، منطق‌‌دانان مسلمان نیز به این مسئله توجه کرده‌‌اند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشته‌اند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذب‌‌پذیری خبر و نیز حل پارادوکس دروغ‌گو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطق‌‌دانان مسلمان دانست. تأمل در تاریخچة دیدگاه‌‌های منطق‌‌دانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آن‌‌ها با آرای فیلسوفان زبان آموزندة نکات منطقی‌ ـ ‌معرفتی است.

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست. دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است