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

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

این پایان نامه به همراه یک مقدمه شامل ترجمه هشت فصل از کتاب The Nature of Necessity آلوین پلنتینگا است. مقدمه شامل شرح مختصری از زندگی و افکار پلتینگابه همراه ملاحظاتی در مورد منطق موجهات و مفهوم ضرورت است. و هشت فصل کتاب پلنتینگا شامل،محدوده ضرورت، وجه گزاره‌ای و وجه شئ‌ای، ذات‌گرا‏یی و تحویل به تئوری مجموعه‌ها، جایگاه ضرورت، تابع هسته‌ای، جهان‌ها، کتابها و ویژگی‌های ذاتی، شاخص‌بندی اولیه ذات، این‌همانی بین جهانی یا افراد مقید‌به‌جهان، منطق موجهات و اشیاء ممکن و دلالت‌شناختی محض و کاربردی می باشد.

در این پایان‌نامه تمامیت قوی از نوع □ و◊ را در منطق وجهی گودل که روی مدل‌های کریپکی پایه‌گذاری شده است اثبات می‌کنیم که ‎در آن گزاره‌ها در هر جهان و رابطه‌ی دسترس‌پذیری بین جهان‌ها به طور نامتناهی در جبر گودل استاندارد [۱‚۰] ارزش دهی شده اند و به بررسی بعضی از عدم تقارن‌هایی که بین منطق‌های □ و◊ وجود دارد می‌پردازیم: در منطق نخست (□) مفهوم درستی به قاب‌هایی که رابطه‌ی دسترس‌پذیری آن‌ها دو مقداری است‏، فرو می‌کاهد و این منطق ویژگی مدل متناهی را ندارد. مفهوم درستی در منطق دومی (◊) نیازمند قاب‌هایی است که رابطه‌ی دسترس‌پذیری‌ آن‌ها حقیقتاً فازی باشد و این منطق ویژگی مدل متناهی را دارد. متناظرهای سیستم‌های وجهی کلاسیک D، T، S۴ وS۵ را نیز در نظر می‌گیریم. همچنین قضیه‌های تمامیت به زبان‌هایی که به یک مجموعه‌ی خوش‌ترتیب گسسته از ارزش‌های درستی نیز مجهز باشد گسترش داده خواهند‎ شد. ‏بازبرد اصلی این ‎‎‏پایان‌نامه [۶] می‌باشد.

هدف اصلی این پایان‌نامه بررسی مجموعه‌ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می‌شود که در منطق مرتبه اول پیوسته مجموعه‌ای از فرمول‌ها (تماماً) قابل‌ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می‌شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می‌کند، که بنابر آن ΣΙ=φ اگر و تنها اگرn-2--ΣΙ-φ برای تمام n<ω. این صورت تقریبی از تمامیت قوی بیان می‌کند که اگرΣΙ=φ، بنابراین اثبات‌های متناهی از Σ می‌توانند تقریب‌های دلخواهی از درستی φ را بدست دهد. به‌علاوه مسئله‌ای متفاوت که در نظریه مدل به‌طور سنتی مطرح می‌شود یعنی تصمیم‌پذیری را بررسی می‌کنیم. از تمامیت منطق مرتبه اول پیوسته حاصل می‌شود که یک نظریه کامل با اصول بازگشتی (یا حتی شمارش‌پذیر بازگشتی) تصمیم‌پذیر است.

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

ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می‌کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره‌ای فرو می‌کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می‌شود، تمرکز می‌کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه‌های موتیویک دارد که در آن یک مشخص‌سازی از تابع‌های تعریف‌پذیر مورد نیاز است.در این پایان‌نامه، یک حالت منطق پیوسته از قضیه هربراند را ثابت نموده، و از آن برای مشخص‌سازی عمل‌های تعریف‌پذیر روی فضاهای هیلبرت استفاده می‌کنیم. به ویژه، نشان داده می‌شود که عمل‌های تعریف‌پذیر به طور تکه‌ای توسط ترم‌ها تقریب زده می‌شوند‎. وضعیت مشابهی برای توسیع‌های فضاهای هیلبرت نیز برقرار است.در نوشتار این پایان نامه از مقاله زیر استفاده شده است. I. Goldbring, An approximate Herbrand’s theorem and definable functions in metric structures, Math. Log. Quart. 58, No. 3, 208-216(2012)

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

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