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

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

مفهوم «جهانهای ممکن»، که ظاهراً نخستین بار لایب نیتس آن را به کاربرد، در دوران اخیر به واسطة نقشی که در دلالت شناسی منطق موجهات داشته است، بدان توجه شده است. مهم ترین نظریاتی که در باب جهانهای ممکن وجود دارد، به دو دستة کلّی فعلیت گرایی و امکان گرایی تقسیم می شوند که از هر یک روایتهای مختلفی ارائه شده است. در این جستار، روایتهای دیوید لویس و کریپکی از امکان گرایی و روایتهای رابرت استالنکر، رودریک...

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

امروزه تمایز میان جهات جمله ای ( de dicto ) وجهات شیئی ( de re ) از مباحث بسیار مهمی است که هم  در حوزه منطق موجهات و هم در قلمرو متافیزیک تحلیلی، جایگاه ویژه ای یافته است . برای مثال، پذیرش ضرورت شیئی یکی از مبانی اساسی پذیرش ذات گرائی(essentialism)  است.  در این مقاله پس از اشاره ای کوتاه به سابقه این تمایز در فلسفه غرب و اسلامی به تفاوت نحوی و معنائی این دوگونه جهت پرداخته می شود.  در ادامه ...

هر فرد آشنا به منطق می داند که اگر میان دو مفهوم کلی، نسبت عموم و خصوص مطلق برقرار باشد، همان نسبت - ولی با انقلاب‎- میان نقیض های آنها نیز برقرار است. اما باوجود دلایل مستدل در اثبات این قاعده، منطق دان بزرگ دبیران کاتبی قزوینی(600- 675 ق) شبهه ای در این زمینه طرح کرده و با ذکر مثال نقضی از منطق موجهات (در خصوص امکان عام و خاص)، کلیت قاعده را مورد تردید قرار داده است. دو نامه‏ طرح شبهه توسط کا...

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

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

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

چکیده ندارد.