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

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

برای گروه آبلی توپولوژیک g، مجموعة تمام همومورفیسم های پیوسته از g بتوی گروه دایره ای t همراه با توپولوژی فشرده- باز و عمل ضرب نقطه ای توابع که یک گروه آبلی توپولوژیک هاسدورف است بعنوان دوگان pontryagin این گروه شناخته می شود. فضای دوگان یک گروه آبلی توپولوژیک از لحاظ جبری ایزومورف با فضای دوگان هر زیرگروه چگال خود می باشد.“l. außenhofer” و “ m. j. chesco” مستقل از هم نشان دادند که فضای دوگان ی...

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

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

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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...