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

گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

چکیده ندارد.

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

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

در این مقاله، بر مفهوم «روش شناسی» و تفاوت آن با «روش» تأکید می شود و در چارچوب این تفاوت گذاری، لایه های دخیل در پژوهش استفهامی مشخص می گردد. هدف آن است که با مشخص کردنِ این لایه ها، زمینۀ کاربرد منطقِ استفهامی در تحلیلِ نظام های رده بندی دانش، به عنوان بدیلی برای منطق استقرائی و قیاسی که نوعاً منطق اغلب پژوهش ها در این حوزه هستند، ارائه شود. روش: تحلیل مفهومی. یافته ها: منطق استفهامی به دنبالِ تبی...

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