درخت حوزه‌های تخصصی

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

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

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

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

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

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

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