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

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

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.

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

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

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

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.

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

پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

موضوع این مقاله «مقایسه ی کاربرد معنایی سیمرغ در منطق الطّیر عطّار و مثنوی معنوی مولانا» می‌باشد. عطار و مولانا سیمرغ را در چند معنای گوناگون به کاربرده اند؛ تا به کمک آن اندیشه های عارفانه ی خود را به خوبی القا کنند. در این مقاله به معرفی سیمرغ به عنوان پرنده ای افسانه ای که در ادبیات عرفانی جایگاه ویژه ای دارد،پرداخته شده است. سیمرغ و کوه قاف در منطق الطّیر و مثنوی از کنایات معروف عرفانی هستند. ...