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

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

زمینه گرایی معرفتی دیدگاهی جدید در معرفت شناسی است که انگیزه ظهور آن، تلاش برای حل مساله شک گرایی بوده است. این دیدگاه، اگر چه در حوزه معرفت شناسی ظهور کرده و ادعای حل یکی از قدیمی ترین مسایل آن را دارد، در واقع آموزه ای سمانتیکی است. زمینه گرایی معرفتی دیدگاهی درباره شروط صدق جملات معرفتی است؛ جملاتی مانند «S می داند که P» و «S نمی داند که P». این دیدگاه، به نوعی چرخش زبانی در معرفت شناسی است. زمینه گرا قصد دارد با استفاده از معنا و سمانتیک جملات معرفتی، مسایل معرفت شناسی را حل کند. در این مقاله، یکی از مبانی سمانتیکی زمینه گرایی - یعنی استاندارد معرفتی به عنوان مولفه بیان نشده را بررسی خواهیم کرد و نشان خواهیم داد که ادعای سمانتیکی آن ها، در بهترین حالت محل مناقشه خواهد بود.

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

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

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

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

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

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