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

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

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

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

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

منطق را علم یا فنی تعریف کرده اند که رعایت آن ذهن را از بخری مغالطات دور می کند اما همواره این طوال مطرح بوده است که کاربرد آن در قلمرو حکومت نظری و خصوصا الهیات بالمعنی الاخص چگونه است و آیا می توان مسائل نظری را با کمک این علم اثبات یا ابطال نمود؟ ماریومیگنوچی در مقاله ای که در آن موضوع علم مطلق و ازلی خداوند متعال را از نظر اسکندر افریدوسی و پروکلوس با کمک علم منطق مورد بررسی قرار داده است...

تعریف حقیقی از منظر جمهور فلاسفه، ارائة ذاتیات ماهوی شیء است. ارائة ذاتیات، متوقف بر شناخت فاعل شناسا نسبت به آن شیء است. لذا در هر شناختی لازم است که متعلَق شناخت و فاعل شناسا تبیین شوند. براساس مبانی نهایی ملاصدرا، متعلَق شناخت، یک وجود ظلی منبسط است که واجد سه مرتبة مادی، مثالی و عقلی می باشد به گونه­ای که مرتبة مادی و مثالی از اعراض و شئون مرتبة عقلی هستند. فاعل شناسا نیز به تناظر با عالم عین...

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

توجه منطق­دانان مسلمان به نسبت و ارائه تحلیل منطقی از احکام و خواص آن، و به­کارگیری قواعد استنتاجی متضمن نسبت امری مسلم به­نظر می­رسد؛ اما رهیافت آنها در یک سطح نبوده است. منطق­دانان در تبیین و تحلیل منطق ارسطویى به­علت عدم توجه به تمایز بین قضایاى متضمن نسبت و قضایاى متضمن مفاهیم نفسى دچار نوعی ناسازگارى بوده­اند؛ یعنى اگرچه ظاهراً منطق ارسطویى بر تحلیل موضوع محمولی از قضیه استوار است و احکام، ...