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

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

انتخاب :

صفحات :

از صفحه 1 تا 13

مشخصات اثر

ثبت نظر

عنوان :

پاتنم، برون‌گرایی معنایی و استدلال مدل‌تئورتیک

نویسنده:

حامد قدیری؛ محمد سعیدی مهر

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

زبان :

فارسی

کلیدواژه‌های اصلی :

رئالیسم متافیزیکی (منطق) , رئالیسم درونی (منطق) , فلسفه تحلیل زبانی ( تحلیل زبان ) , فلسفه تحلیلی , معناشناسی (منطق) , منطق جدید , منطق کلاسیک , برون‌گرایی معنایی , استدلال مدل‌تئورتیک , عدم‌تعین ارجاع

چکیده :

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

انتخاب :

صفحات :

از صفحه 113 تا 136

مشخصات اثر

ثبت نظر

عنوان :

آیا شرطی های خبری غیر تابع ارزشی هستند؟

نویسنده:

مسعود الوند

نوع منبع :

مقاله

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: منطق پژوهی,

کلیدواژه‌های اصلی :

زبان طبیعی (منطق) , زبان صوری (منطق) , استلزام تابع ارزشی (منطق) , استلزام معنایی (منطق) , دلالت ضمنی (منطق) , ادات منطقی , منطق جدید , منطق گزاره ها , ادات تابع ارزشی

چکیده :

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

انتخاب :

صفحات :

از صفحه 1 تا 17

مشخصات اثر

ثبت نظر

عنوان :

بررسی معناشناسی کریپکی برای منطق های فازی

نویسنده:

پروین صفری

نوع منبع :

رساله تحصیلی

منابع دیجیتالی :

متن ناقص پایان نامه

وضعیت نشر :

تبریز: دانشگاه تبریز,

زبان :

فارسی

کلیدواژه‌های اصلی :

معناشناسی (منطق) , منطق جدید , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق فازی , منطق گودل , قاب های کریپکی

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

عنوان :

معرفی منطق های آزاد

نویسنده:

نصیبا تبریزیان

نوع منبع :

رساله تحصیلی

وضعیت نشر :

کرمان: دانشگاه شهید باهنر کرمان,

زبان :

فارسی

کلیدواژه‌های اصلی :

منطق ریاضی , منطق جدید , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق آزاد , منطق کلاسیک مرتبه اول

چکیده :

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

انتخاب :

مشخصات اثر

ثبت نظر

3 4 5 6 7 8 9 10 11 12

تعداد رکورد ها : 186

درخواست مدرک

کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید

چنانچه قبلا عضو سایت شده‌اید ورود به سایت در غیر اینصورت عضویت در سایت را انتخاب نمایید

ورود به سایت

عضویت در سایت

ارسال نظر

نوع

توضیحات

آدرس پست الکترونیکی

کد امنیتی **

با موفقیت به ثبت رسید

كليه حقوق محفوظ است ، استفاده از مطالب با ذكر منبع بلامانع است.