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

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

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

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

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

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

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

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

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