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

معانی مفاهیم (اولی، ضروری، بدیهی، یقینی) به ظاهر، روشن است. اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛ به تبع این مواضع و مباحث مختلف، معانی آنها نیز تاحدی تغییر کرده و مختلف خواهد بود. در این مقاله سعی داریم این موانع و اختلاف معانی را روشن کنیم.کلید واژه: ابن سینا، استدلال مباشر، اولی، بدیهی، تصور، تصدیق، شیخ اشراق، عرضی، ضروری، ملاصدرا، یقینی.

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

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

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

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

خونجی در تقسیم‌بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره‌ی موجبه‌ی کلیه بر اساس تقسیم‌بندی خونجی، صورت‌بندی شده است. در این پایان‌نامه 72 گزاره‌ی جزئیه نزد خونجی صورت‌بندی شده‌اند. خونجی 12 گزاره را از مجموع 72 گزاره‌ی جزئیه، همیشه‌صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه‌ی جزئیه و 6 گزاره‌ی دیگر سالبه‌ی جزئیه‌اند. در فصل دوم با بررسی این گزاره‌ها نشان دادیم که اگر چه این گزاره‌ها در منطق جدید، همیشه‌صادق نیستند اما در منطق خونجی همیشه‌صادق‌اند. خونجی، همچنین 5 گزاره‌ی موجهه را همیشه‌صادق دانسته است. در این پایان‌نامه، پس از صورت‌بندی موجهات خونجی در منطق موجهات زمانی، نشان دادیم که اگر چه گزاره‌های موجهه‌ی همیشه‌صادقِ خونجی در منطق موجهات جدید همیشه‌صادق نیستند اما در منطق موجهات خونجی همیشه‌صادق‌اند. در پایان، به تعریف عکس نقیض و معرفی عکس نقیض نوع سوم و نوع چهارم، به عنوان یکی از توابع بحث گزاره‌های همیشه‌صادق پرداخته‌ایم.

پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجیه معرفتزایی نقطه قوت نظریه فرگه محسوب می شود.ما بر آنیم استدلال کنیم که اگر ساختار منطقی پیشنهادی فرگه برای اینهمانیهای تجربی را مفروض گرفته و نظریه معنی و مدلول او را بپذیریم، آنگاه اساسا جایی برای کشف تجربی باقی نمی ماند.کشف تجربی در حالتی معنی پیدا می کند که ساختار منطقی متفاوتی به جمله های مورد بحث فرگه نسبت دهیم و در این صورت دیگر نیازی به نظریه معنی و مدلول نخواهیم داشت.