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

در قالب پی دی اف

در قالب پی دی اف

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

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

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

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

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

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