تفکیک «تصور» و «تصدیق» از تمایزهای اصلی است که متقدمین در منطق و متأخرین در معرفت­شناسی از آن بهره برده­اند، هر دو گروه مقسم این دو را «علم حصولی» می‌دانند، این تقسیم در «معرفت­شناسی نوصدرایی» برای اقسام معرفت به کار رفته است، اما نمی­توان «تصدیق» را در اصطلاح معرفت­شناسی بنا بر تعریف فلسفۀ اسلامی «علم­حصولی» دانست. این تحقیق با مرور ادبیات فیلسوفان مسلمان به ویژه نوصدراییان، مدعی است که تفکیک ...

تعریف که در جواب ماهیّت و چیستی اشیاء و پدیده­ها می­آید، بیش­تر در فلسفه و منطق شناخته شده است. امّا در ادبیات نیز از تعریف برای کارکردهای گوناگونی، از جمله تعلیم، طنز و بیان هنری استفاده شده است. تعریف در شعرِ معاصر نوعی اسلوبِ بیان است که در     کتاب­های بلاغت سنتی و جدید توجّه چندانی بدان نشده است. هر چند تعریف­های هنری در شعر معاصر خالی از ارزش زیبایی­شناختی و تصویر­گری نیستند، امّا اهمیت این شیو...

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

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

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

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

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

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

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