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

در این پایان نامه، با به کارگیری پیشرفت های اخیر در زمینه? منطق های شناختی پویا، یک رهیافت نظریه مدلی برای استدلال درباره? پروتکل های امنیت بیان می کنیم که ما را به بیان دقیق وضعیت های شناختی بعدی عامل های شرکت داده شده در مراحل پروتکل با استفاده از مدل های کریپکی و ارتباط بین آن ها، بر پایه? به روز رسانی باور های این عامل ها، قادر می سازد. به عنوان مطالعه موردی، پروتکل سه مرحله ای ‎sra‎ و پرو...

چکیده ندارد.

در این مقاله با طرح دلالت شناسی سول کریپکی، فیلسوف و منطق دان آمریکایی معاصر در باب اسم های خاص و اسم های داستانی، به شرح و نقد آراء اومبرتو اکو فیلسوف، نشانه شناس و داستان نویس ایتالیایی در باب دلالت شناسی اسم های داستانی (fictional names) پرداخته ایم و در این میان، ردپای بعضی از مهم ترین این مباحث یعنی اسم های خاص واقعی را در آثار ابن سینا نشان داده ایم.

کریپکی (1982) از زبانِ یک شکاکِ فرضی تزِ "شناخت‌گراییِ معنایی" را نقد و رد می‌نماید؛ بر اساسِ تزِ مذکور احکامی که حاویِ اسناد معنا هستند (مثل این حکم که "مریم از عبارت 'میز' میز را مراد می‌کند") بیانگر حالت ذهنیِ باور که یک حالتِ ذهنیِ صدق‌پذیر است، می‌باشند. برایِ استدلال علیه این تز، کریپکی از تزِ دیگری که در ادبیاتِ فلسفی به تزِ "هنجارمندیِ معنا" مشهور است استفاده می‌نماید. بر اساسِ تزِ اخیر معنایِ یک عبارت، ...