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

هیلاری پاتنم (۱۹۲۶-۲۰۱۶)، فیلسوف برجسته‌ی تحلیلی، بخش مهمی از دوران طولانی تفلسفش را به این سوال می‌پردازد که «ذهن و زبان چگونه به جهان خارج چنگ می‌زنند؟» در مقام پاسخ به این سوال، در حوزه‌ی سمنتیک، برون‌گرایی معنایی را طرح می‌کند و در حوزه‌ی متافیزیک و انتولوژی، علیه رئالسیم متافیزیکی به پا می‌خیزد و دو استدلال ارائه می‌کند که یکی از آن‌ها استدلال مدل‌تئورتیک است. در این مقاله نشان خواهم داد که استدلال پاتنم به سود برون‌گرایی معنایی و استدلال مدل‌تئورتیکِ او علیه رئالیسم متافیزیکی، هرچند به لحاظ ظاهری دارای ساختار و صورت‌بندی متفاوتی هستند، اما درواقع اندیشه‌ی واحدی از هر دوی آن‌ها پشتیبانی می‌کند. در این راستا، پس از گزارش هریک از این استدلال‌ها، صورت‌بندی تازه‌ای از آن‌ها ارائه می‌شود. سپس بر پایه‌ی وجوه اشتراک این دو استدلال، اندیشه‌ی پشتیبان آن‌ دو معرفی خواهد شد. طبق این اندیشه‌ی پشتیبان، انفکاک قاطع میان ذهن و جهان خارج منجر به نامتعین شدن رابطه‌ای ارجاعی میان آن‌ها می‌شود اما بنا به درک متعارف، این رابطه متعین است؛ پس ذهن و جهان خارج منفک از یک‌دیگر نیستند؛ به عبارت دیگر، درهم‌تنیده‌اند.

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

برخی از فیلسوفان زبان معتقدند که گاه عبارات زبانی با آن‌که از ساختار خبری برخوردارند، اما صدق و کذب نمی‌پذیرند، زیرا قصد گوینده از بیان آن‌‌ها نه توصیف، بلکه انجام یک فعل است. چنین جملاتی را افعال گفتاری می‌خوانند. پیش از این، منطق‌‌دانان مسلمان نیز به این مسئله توجه کرده‌‌اند. آنان این موضوع را با عنوان «انشای اخبارنُما» به بحث گذاشته‌اند. انشای اخبارنُما در مواضع گوناگونی مطرح شده است. نقد ملاک صدق و کذب‌‌پذیری خبر و نیز حل پارادوکس دروغ‌گو زمینة طرح این مسئله را فراهم آورده است. اگرچه مسئلة افعال گفتاری تطور و تحول شایانی در منطق دورة اسلامی نیافت، اما کشف این مسئله و تفطن به آن را باید از آنِِ منطق‌‌دانان مسلمان دانست. تأمل در تاریخچة دیدگاه‌‌های منطق‌‌دانان دورة اسلامی در این مسئله و نیز مطالعة تطبیقی آن‌‌ها با آرای فیلسوفان زبان آموزندة نکات منطقی‌ ـ ‌معرفتی است.

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

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

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

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

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

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

در این پایان نامه، به بررسی منطق های ربط می پردازیم این پایان نامه، شامل سه فصل است. در فصل اول تعاریف و قضایایی را که از منطق کلاسیک و منطق موجهات ‏نابهنجار مورد نیاز است، بیان می کنیم.‏ مفهوم منطق ربط، الفبا، معناشناسی و هم چنین توسیع های این منطق را در فصل دوم ارائه می دهیم در فصل سوم به معرفی یکی از کاربردهای این منطق که در واقع در مدل سازی پیش بینی ترافیک است، می ‏پردازیم