کاربردهای سمانتیک های چندارزشی در منطق های ربط
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی
- نویسنده فاطمه میرطاهری
- استاد راهنما اسداله فلاحی فرشته نباتی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین مقدم و تالی که نمی توانند قضایای منطقهای e و r باشند، دو روش کلی معرفی میشود، از طرف دیگر تعریف پذیری «ضرورت» در منطق e و تعریف ناپذیری «ضرورت» در منطقهای t و r نیز اثبات شده و برای ااثبات استقلال اصول موضوعه منطقهای ربط نیز یک روش کلی معرفی میشود که در اثبات تمامی موارد فوق و چند مطلب دیگر هم از ماتریسهای چندارزشی استفاده میشود.
منابع مشابه
منطق ربط نزد شمس‌الدین سمرقندی
شمس‌الدین سمرقندی از منطق‌دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن‌سینا پیش نهاده است. از نظر ابن‌سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در‌نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی‌پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می‌داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می‌کند و به شرایط کمیت نمی‌پردازد و هنگام ارائة مثال نقض برای ضرب‌های عقیم، تفاوت ک...
متن کاملمعنا شناسی ادات ربط در منطق کوانتومی
در منطق کوانتومی، هر گزاره معادل با یک زیرفضای بسته هیلبرت در نظر گرفته میشود. بر این اساس، نقیض یک گزاره، معادل با مکمل متعامد یک زیرفضای بسته، ترکیب عطفی دو گزاره، معادل با اشتراک دو زیرفضای بسته و ترکیب فصلی آنها، معادل با سوپریمم دو زیرفضای بسته تعریف می‌شوند. این مقاله در تلاش است ضمن تبیین این موارد، معناشناسی ادات ربط در منطق کوانتومی را به دو صورت جبری و کریپکیایی معرفی کند و ارتباط ...
متن کاملمعنا شناسی ادات ربط در منطق کوانتومی
در منطق کوانتومی، هر گزاره معادل با یک زیرفضای بسته هیلبرت در نظر گرفته می شود. بر این اساس، نقیض یک گزاره، معادل با مکمل متعامد یک زیرفضای بسته، ترکیب عطفی دو گزاره، معادل با اشتراک دو زیرفضای بسته و ترکیب فصلی آنها، معادل با سوپریمم دو زیرفضای بسته تعریف می شوند. این مقاله در تلاش است ضمن تبیین این موارد، معناشناسی ادات ربط در منطق کوانتومی را به دو صورت جبری و کریپکیایی معرفی کند و ارتباط ای...
متن کاملمنطق ربط و سلب لزوم در شرطی سالبه ی کلیه
نگارنده در مقاله‌ی دیگری در تحلیل شرطی‌های سالبه‌ی کلیه، با فرمول‌بندی عبارات ابن‌سینا نشان داده است که به تحلیل ابن‌سینا ایراد صوری مهمی وارد است و تلاشهای ابن‌سینا در پاسخ به آن، پذیرفتنی نیستند. او به کمک تحلیل ابن‌سینا از موجبه‌ی کلیه، پاسخ دیگری به ایراد مورد نظر یافته، اما نشان داده است که این پاسخ نیز توان دفع ایراد را ندارد. در پایان، وی حل نهایی مسأله را، به عنوان مسأله‌ای باز، فراروی...
متن کاملمنطق ربط نزد شمس الدین سمرقندی
شمس الدین سمرقندی از منطق دانان قرن هفتم، در بحث قیاس شرطی دیدگاهی نو در برابر ابن سینا پیش نهاده است. از نظر ابن سینا، قیاس شرطی دقیقاً مانند قیاس حملی است و در نتیجه، 19 ضرب منتج دارد؛ اما سمرقندی این همانندی را نمی پذیرد و فقط 7 ضرب از قیاس شرطی را معتبر می داند. او در بیان شرایط انتاج فقط شرایط کیفیت را بیان می کند و به شرایط کمیت نمی پردازد و هنگام ارائه مثال نقض برای ضرب های عقیم، تفاوت کم...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023