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

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

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

هدف از این پژوهش معرقی مفهومی جدید در قیاس حملی ارسطویی به نام مبناپذیری است؛ به عبارتی ضربی از ضروب 24گانه­ی منتج قیاس ارسطویی مبناپذیر است اگر تنها با مفروض گرفتن یک ضرب به همراه قواعد برهان خلف، تداخل، عکس ساده، نقض محمول و نقض سور بتوان ضروب منتج دیگر قیاس حملی ارسطو را اثبات کرد. بدین منظور در این مقاله نشان داده خواهد شد که تنها 15 ضرب منتج از ضروب 24گانه­ی منتج منطق حملی ارسطو دارای خاصیت مبناپذیری هستند. ارسطو چهار ضرب شکل اول قیاس را مبناپذیر می­داند زیرا وی اشکال دیگر قیاس را به وسیله­ی شکل اول اثبات می­کند. از آنجایی که اثبات مبناپذیری چهار ضرب ارسطو تعمیم داده شده است به پانزده ضرب می­توان نشان داد که منظور ارسطو از بدیهی بودن شکل اول قیاس مبناپذیری صرف چهار ضرب اول شکل اول نیست. این نتیجه­ی مهم منطقی در سیستم ارسطو تنها از رهیافت معرفی مفهوم مبناپذیری ضروب قیاس ممکن گردیده است؛ به عبارت دیگر نشان خواهیم داد که برخلاف دیدگاه رایج در سنت ارسطویی به هیچ وجه مبناپذیری ضروب شکل اول نمی بایست خاستگاهی برای تببین بدیهی بودن ضروب شکل اول قیاس باشد. صرف نظر از اینکه راز بداهت شکل اول قیاس در چه چیزی نهفته است، این مقاله به وجه سلبی، یکی از گزینه های ممکن یعنی مبناپذیری ضروب منتج شکل اول قیاس را به شکلی منطقی در پاسخ به راز بداهت ضروب منتج شکل اول قیاس حذف خواهد کرد.

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

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

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

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

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

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

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