نتایج جستجو برای: سمانتیک چندارزشی

تعداد نتایج: 67  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1390

اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1389

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1388

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بجنورد - پژوهشکده فنی و مهندسی 1392

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

ژورنال: :فصلنامه اندیشه دینی دانشگاه شیراز 2013
علیرضا دست افشان سید محمدعلی حجتی محمد سعیدی مهر

ژورنال: اندیشه دینی 2013
سید محمدعلی حجتی علیرضا دست افشان محمد سعیدی مهر

ژورنال: حکمت و فلسفه 2009

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

ژورنال: :هویت شهر 2014
مصطفی عباس زادگان عباس ذکری

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1392

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

نظریۀ دلالت تصوّریِ اصول‌دانان از یک‌سو و دیدگاه فیلسوفان زبان در باب معناداریِ سمانتیکی از سوی دیگر، قابل مطالعۀ تطبیقی است. دلالت تصوّری، انتقال ذهن از لفظ به معنای آن به محض صدور لفظ از گوینده بدون توجّه به قصد و ارادۀ اوست. دلالت تصدیقی، دلالت لفظ بر معنای مقصود گوینده است. سمانتیک تقریباً به نظریۀ دلالت تصوّری نزدیک است؛ زیرا سمانتیک، مطالعۀ معنا به نحو مستقل از متکلّم یا مؤلّف است و پراگماتیک نیز ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید