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

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

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

داتِ منطقی در منطقِ کلاسیکِ گزاره‌ها بنا بر تعریف تابع ارزش (truth function)هستند. فیلسوفانِ منطق و زبانِ معاصر دو نظر عمده در بابِ تابعِ ارزش بودنِ اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی (که عبارتند از "چنین نیست که"، "و"، "یا" و "اگر...آنگاه...") مطرح نموده‌اند. برخی استدلال کرده‌اند که اداتِ متناظر با اداتِ منطقی در زبانِ طبیعی تابعِ ارزش نیستند و در مقابل برخی نیز استدلال‌هایی به نفع تابعِ ارزش بودنِ اداتِ مذکور ارائه نموده‌اند. در این میان، دفاعیاتِ گرایس (1975) از تابعِ ارزش بودنِ شرطی‌ها ("اگر...آنگاه...") در زبانِ طبیعی که بر اساسِ مفهومِ اظهارپذیری (assertibility) و معنای ضمنیِ (implicature) عبارات صورتبندی شده از ثقلِ مهمی در منابعِ فلسفیِ چند دهۀ اخیر برخودار بوده است. هدفِ اصلی این مقاله بررسی و سپس نقدِ دفاعیاتِ گرایس در خصوصِ تابعِ ارزش بودنِ شرطی‌ها در زبانِ طبیعی است.

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

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