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

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

هنگامی ‌که اصل 174 قانون اساسی، نظارت بر «حُسن جریان امور» را بر عهده سازمان بازرسی قرار داد، از جمله نخستین پرسش­هایی که از بدو امر در مجلس خُبرگان قانون اساسی طرح شد؛ این بود که مراد از «حُسن جریان امور» چیست؟ به رغم مباحث طرح شده در جلسات خُبرگان قانون اساسی، مکاتبات میان سازمان بازرسی و شورای نگهبان و نشست­های علمی برگزار شده توسط سازمان، همچنان ابهام در معنای «حسن جریان امور» باقی است. به عقید...

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

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

در این تحقیق با بررسی علم مدیریت دانش به‎عنوان حوزۀ میان‎رشته‎ای، تلاش شده است به این سؤال پاسخ داده شود که ساختار علمی و نقشۀ دانشی پژوهش‌های مدیریت دانش در دو حیطۀ حوزه‌های علمی و کلیدواژه‌ها به چه صورتی است؟ برای این کار، حدود 40000 سند علمی که مدیریت دانش یکی از کلیدواژه‎های آن بود، در پایگاه علمی اسکوپوس انتخاب شد و در حیطه‎های علمی مختلف، بررسی شدند. برای هر یک از شاخص‌های علم‌سنجی شامل ح...

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