فلسفه منطق

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

۴۴.

چالش های پیش روی نظریه کریپکی در باب سمانتیک اسم خاص(مقاله علمی وزارت علوم)

نویسنده: سید محمدعلی حجتی محسن کاشی

منبع: نامه مفید ۱۳۸۴ شماره ۵۰

کلید واژه ها: معنا اسم خاص سمانتیک توصیف معین اسم تهی ارزش شناختی (آگاهی بخشی) اسنادهای گرایشی پراگماتیک مدلول(مرجع)

حوزه های تخصصی:

حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق سمانتیک اسامی خاص

تعداد بازدید : 390 تعداد دانلود : 941

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

۴۵.

جهانهای ممکن؛ بررسی دیدگاه سول کریپکی، الوین پلنتینگا و دیوید لوئیس(مقاله علمی وزارت علوم)

نویسنده: محمد سعیدی مهر

منبع: نامه مفید ۱۳۸۳ شماره ۴۱

کلید واژه ها: جهانهای ممکن محقق گرایی انتزاع گرایی

حوزه های تخصصی:

تعداد بازدید : 55

سول‌ کریپکی‌ (Saul Kripke) برای‌ ارائه‌ معناشناسی‌ صوری‌ منطق‌ موجهات‌، از مفهوم‌ جهانهای‌ ممکن‌ استفاده ‌کرد، اما امروزه‌ کاربرد مفهوم‌ جهانهای‌ ممکن‌ در معناشناسی‌ موجهات‌ خلاصه‌ نمی‌شود، بلکه‌این‌ مفهوم‌ در پاره‌ای‌ نظریه‌های‌ مربوط‌ به‌ حوزه‌ فلسفه‌ زبان‌ یا فلسفه‌ منطق‌ ـ مانند برخی‌ نظریه‌ها در باره‌ ماهیت‌ گزاره‌ ـ نیز مورد استفاده‌ قرار گرفته‌ است‌. با توجه‌ به‌ اهمیت‌ روزافزون‌ مفهوم‌ جهانهای‌ ممکن‌، مقاله‌ حاضر به‌ بررسی‌ فشرده‌ دیدگاه‌ پاره‌ای ‌از فیلسوفان‌ تحلیلی‌ معاصر در باره‌ هویت‌ این‌ جهانها و ویژگیهای‌ آنها می‌پردازد. برای‌ این‌ منظور، ابتدا توضیح‌ فشرده‌ای‌ از دیدگاههای‌ متافیزیکی‌ کریپکی‌ درباره‌ هویت‌ جهانهای‌ ممکن‌ ارائه ‌می‌شود و سپس‌ دو رویکرد عمده‌ به‌ مسأله‌ جهانهای‌ ممکن‌ تحت‌ عنوان‌ «محقَّق‌گرایی‌» و«انتزاع‌گرایی‌» طرح‌ می‌گردد. برای‌ تأمین‌ این‌ هدف‌، دیدگاه‌ دیوید لوئیس‌ (David Levis) به‌ عنوان‌ نافذترین‌ نماینده‌ محقَّق‌گرایی‌ و دیدگاه ‌الوین‌ پلنتینگا (Alvin Plantinga) به‌ عنوان‌ یکی‌ از نمایندگان‌ شاخص‌ انتزاع‌گرایی‌ مورد بررسی‌ قرار خواهد گرفت‌.

۴۶.

پارادوکس دروغگو و راه حل شمس الدین محمدخفری(مقاله علمی وزارت علوم)

نویسنده: احد فرامرز قراملکی

منبع: اندیشه دینی ۱۳۸۳ شماره ۱۱

حوزه های تخصصی:

تعداد بازدید : 436 تعداد دانلود : 457

۴۷.

بررسی و تحلیل نظریه مطابقت صدق در فلسفه اسلامی(مقاله علمی وزارت علوم)

نویسنده: مرتضی حاج حسینی

منبع: نامه مفید ۱۳۸۳ شماره ۴۱

کلید واژه ها: صدق مطابقت واقع نفس الامر شیء مفهوم نسبت

حوزه های تخصصی:

حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق نظریه های صدق

تعداد بازدید : 114

فیلسوفان مسلمان نظریة مطابقت صدق را بر تحلیل سازمان جمله استوار نموده، جمله را به عنوان «حامل صدق»(truth bearer) و واقع یا نفس الامر را به عنوان «سازندة صدق»(truth -maker) تلقی کردهاند. دراین مقاله, پس از بحث دربارة موارد کاربرد این نظریه در فلسفة اسلامی و شناسایی اصول و مبانی آن، توانایی این نظریه را در مقایسه با نظر منطق جدید در تحلیل سازمان قضیه ارزیابی نموده، با عنایت به مغایرت واقعیت با اندیشه, به شناسایی عناصر اصلی تئوری مطابقت می پردازیم. براساس این تحلیل، جمله «حامل صدق» و «صدق» محمولی تک موضعی است که احراز آن تابعی از احراز نسبت «مطابقت» است. اما « مطابقت » محمولی دو موضعی است که از نسبت بین وضعیت ترسیم شده توسط آن جمله و وضعیتی که در واقع اتفاق افتاده است حکایت میکند. بنابراین سازنده صدق نه واقع و نفس الامر, بلکه نسبت مذکور است. به علاوه, احراز مطابقت تابع احراز دسترسی به واقع یا نفس الامر می باشد

۴۸.

تناقض باوری

نویسنده: گراهام پریست مترجم: رحمت الله رضایی

منبع: معرفت فلسفی ۱۳۸۳ شماره ۳

حوزه های تخصصی:

حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق پارادکس ها

تعداد بازدید : 950 تعداد دانلود : 73

۴۹.

بررسی پارادکس نیو کوم(مقاله علمی وزارت علوم)

نویسنده: سید محمدعلی حجتی علیرضا دست افشان

منبع: نامه مفید ۱۳۸۳ شماره ۴۱

کلید واژه ها: پارادکس تصمیم (عمل) عقلانی پارادکس نیوکوم مطلوبیت انتظاری اصل رجحان علت مشترک علیت وارونه

حوزه های تخصصی:

حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق پارادکس ها

تعداد بازدید : 81

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

۵۰.

نظریة مطابقت در صدق و پارادکس دروغگو(مقاله علمی وزارت علوم)

نویسنده: رضا رسولی شربیانی

منبع: مقالات و بررسی ها ۱۳۸۳ شماره ۷۵

کلید واژه ها: صدق نظریة مطابقت شبهة دروغگو معرفت شناسی صدرایی

حوزه های تخصصی:

تعداد بازدید : 553 تعداد دانلود : 726

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

۵۱.

معمای جذر اصم و راه حل فاضل سراب ‏

نویسنده: محمدعلی اژه ای

منبع: خردنامه صدرا ۱۳۸۳ شماره ۳۶

حوزه های تخصصی:

تعداد بازدید : 392 تعداد دانلود : 98

۵۲.

برهان پذیری گزاره های ضروری ازلی

نویسنده: سید علی علم الهدی احد فرامرز قراملکی

منبع: پژوهشنامه فلسفه دین (نامه حکمت سابق) سال اول پاییز و زمستان ۱۳۸۲ شماره ۲

کلید واژه ها: ضرورت ازلی برهان پذیری برهان ضرورت ذاتی عرض ذاتی گزاره ی ضروری ازلی گزاره ی الهیاتی

حوزه های تخصصی:

حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق مبانی فلسفی موجهات

تعداد بازدید : 994 تعداد دانلود : 206

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

۵۳.

تأثیرات زبان طبیعی و مبانی فلسفی در تحلیل قضایا در منطق قدیم(مقاله علمی وزارت علوم)

نویسنده: سید مهدی امامی جمعه

منبع: دانشکده ادیبات و علوم انسانی دانشگاه اصفهان ۱۳۸۲ شماره ۳۲ و ۳۳

حوزه های تخصصی:

حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق منطق و زبان طبیعی

تعداد بازدید : 875 تعداد دانلود : 529

۵۴.

‌صدق‌ و پارادکس‌ دروغگو(مقاله پژوهشی حوزه)

نویسنده: عباس عارفی

منبع: ذهن ۱۳۸۲ شماره ۱۳

حوزه های تخصصی:

تعداد بازدید : 12

این‌ مقاله‌ دربارة‌ پارادکس‌ دروغگو(liar paradox) یا معمای‌ دروغگوliar ) conundrum) یا به‌ تعبیر فلاسفه‌ اسلامی‌ «جذرأصم» به‌ بحث‌ می‌پردازد. در این‌ مقاله‌ ابتدا مسأله‌ پارادکس‌ طرح‌ می‌شود، به‌ دنبال‌ آن‌ به‌ تقاریر مختلفی‌ که‌ در این‌ باره‌ ارائه‌ شده، به‌ ویژه‌ تقاریر پیچیدة‌ آن، اشاره‌ می‌شود. سپس‌ نمونه‌ها و گونه‌های‌ متنوع‌ از پاسخ‌هایی‌ که‌ فلاسفه‌ و منطق‌دانان‌ اسلامی‌ و غربی‌ بدین‌ پارادخش‌ یا ناسازه‌ یا تناقض‌نما داده‌اند، عرضه‌ می‌شود؛ و در پایان‌ نویسنده‌ بر مبنای‌ تفکیک‌ بین‌ حیث‌ حکایت‌ (intentionalitly) و حیث‌ مطابقت‌correspondence) )، برای‌ حل‌ پارادکس‌ دروغگو اقتراحی‌ را پیشنهاد می‌کند.

۵۵.

‌رهیافت‌ دوزبانی‌ تارسکی‌(مقاله پژوهشی حوزه)

نویسنده: علی اکبر احمدی افرمجانی

منبع: ذهن ۱۳۸۲ شماره ۱۳

حوزه های تخصصی:

تعداد بازدید : 657

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

۵۶.

‌نظریه‌ زیادگی‌ اظهار صدق‌ و نظریه‌ ‌غیرتوصیفی‌(مقاله پژوهشی حوزه)

نویسنده: رضا رسولی شربیانی

منبع: ذهن ۱۳۸۲ شماره ۱۳

حوزه های تخصصی:

تعداد بازدید : 856

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

۵۷.

نقدی بر انسجام گرایی

نویسنده: ریجارد فیومرتن مترجم: محمد سعیدی مهر

منبع: پژوهشنامه فلسفه دین (نامه حکمت سابق) سال اول بهار و تابستان ۱۳۸۲ شماره ۱

کلید واژه ها: صدق انسجام گرایی توجیه مبنا گرایی برونی گرایی درونی گرایی

حوزه های تخصصی:

تعداد بازدید : 86 تعداد دانلود : 830

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

۵۸.

معرفی کتاب: تمرکز بر صدق‌(Focusing on Truth)(مقاله پژوهشی حوزه)

نویسنده: مرتضی فتحی زاده

منبع: ذهن ۱۳۸۲ شماره ۱۳

حوزه های تخصصی:

تعداد بازدید : 20

۵۹.

شرطی ها و شروط صدق آنها در نظر منطق دانان مسلمان پس از ابن سینا ‏

نویسنده: مرتضی حاجی حسینی

منبع: خردنامه صدرا ۱۳۸۱ شماره ۲۸

حوزه های تخصصی:

تعداد بازدید : 549 تعداد دانلود : 427

۶۰.

نظریه توصیفات راسل و مشکل جانشینی در متون گرایشهای قضیه ای(مقاله علمی وزارت علوم)

نویسنده: محمدعلی عباسیان چالشتری

منبع: نامه مفید ۱۳۸۱ شماره ۳۰

کلید واژه ها: مستقل توصیفات معرفه گرایش‏هاى قضیه‏اى مشکل جانشینى قضیه - شى‏ء وابسته نظریه تسویرى توصیفات

حوزه های تخصصی:

تعداد بازدید : 622

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

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