سید محمدعلی حجتی

مسئلة منطقی شر، که از سوی کسانی چون مکی ارائه شده است، ادعا می کند که میان علم، قدرت، و خیرخواهی مطلق خداوند و وجود شر در عالم ناسازگاری منطقی وجود دارد. پلانتینگا برای حل این مسئله از اختیار انسان و مفهوم شرارت جهان گیر کمک می گیرد؛ وی می خواهد نشان دهد که ممکن است خداوند علی رغم قدرت مطلق خویش، به سبب مختاربودن انسان و مبتلابودن وی به شرارت جهان گیر، نتوانسته است جهانی بیافریند که حاوی هیچ گونه شری نباشد. مفهوم شرارت جهان گیر مسائل و مشکلات مهمی به دنبال دارد. همچنین به فرض این که این مشکلات حل شود، دفاعیه مبتنی بر اختیار، در بهترین حالت، ناتمام خواهد بود. به نظر نگارنده، دفاعیة پلانتینگا از حل مسئلة منطقی شر ناتوان است، چراکه می توان این مسئله را طوری بازسازی کرد که نه با توسل به اختیار، بلکه صرفاً با توسل به هدف خلقت انسان قابل حل باشد. چیزی که در دفاعیة پلانتینگا غایب است.

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

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

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

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

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

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

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

پارادکسها از جمله موضوعات مهم و مسأله برانگیز در فلسفه و منطق به شمار می­روند. دسته­ای از پارادکسها، پارادکسهای عمل عقلانی هستند: مسائلی که در آنها معمولا" دو حق انتخاب پیش روی ما قرار دارد که با یکدیگر ناسازگارند و برای هر یک، دلایل عقلانی قانع کننده­ای وجود دارد. به این ترتیب, با تکافوی ادله، که وضعیتی پارادکسیکال است, روبه­رو می­شویم. از جمله مهم­ترین این پارادکسها می­توان از پارادکس نیوکوم یاد کرد. هدف از مطالعة پارادکسها و تلاش برای حل آنها دفاع از عقلانیت است. در پارادکس نیوکوم با یک پیش­گو سرو کار داریم که تصمیم فاعل مسأله را پیش­گویی می­کند. ضمنا" بخشی از شرایط صورت مسأله به پیش­گویی فرد پیش­گو بستگی دارد. در این مسأله, با یک تعارض ظاهری بین دو اصل مهم تصمیم گیری، یعنی اصل رجحان و اصل مطلوبیت انتظاری, روبه­رو می­شویم؛ زیرا به نظر می­رسد که تصمیم فاعل مسأله و پیش­گویی فرد پیش­گو هرچند از نظر علی مستقل از یکدیگرند از نظر معرفتی به هم بستگی دارند. برای حل این پارادکس، ابتدا مکانیزمهای ممکن برای پیش­گویی آینده را بررسی می­کنیم و در هر حالت به حل مسأله می­پردازیم. نشان می­دهیم که قرائت علیت وارونه منطقا" ناممکن است و تنها قرائت ممکن، قرائت علت مشترک می­باشد. سپس پارادکس نیوکوم را به دو حالت تفکیک می­کنیم: 1- مسأله علت مشترک با پیش­گوی خطاناپذیر و 2- مسأله علت مشترک با پیش­گوی خطاپذیر. نشان می­دهیم که در حالت نخست، هیچ تصمیم عقلانی وجود ندارد و در حالت دوم، تعارضی بین اصل مطلوبیت انتظاری و اصل رجحان وجود ندارد و تصمیم به انتخاب دو جعبه، تصمیم عقلانی می­باشد.