شرطی اکید

در منطق، یک شرطی اکید، یک شرطی است که تحت سیطره یک عملگر وجهی است؛ یعنی یک رابط منطقی از منطق موجهات. آنها از نظر منطقی، هم‌ارز با شرطی مادی از منطق کلاسیک هستند که با عملگر ضرورت از منطق موجهات ترکیب شده است. برای هر دو گزاره p و q، فرمول p → q می‌گوید که p به طور مادی نتیجه می‌دهد q را در حالی که $\Box (p\rightarrow q)$ می‌گوید که p، اکیداً q را نتیجه می‌دهد. شرطی‌های اکید، نتیجه تلاش کلارنس ایروینگ لوئیس برای پیدا کردن یک شرطی برای منطق است که می‌تواند به اندازه کافی بیانگر شرطی اخباری در زبان طبیعی باشد. آنها همچنین در مطالعه الهیات مونولیستی مورد استفاده قرار گرفته‌اند.

کتاب‌شناسی

• Edgington, Dorothy, 2001, "Conditionals," in Goble, Lou, ed. , The Blackwell Guide to Philosophical Logic. Blackwell.

For an introduction to non-classical logic as an attempt to find a better translation of the conditional, see:

• Priest, Graham, 2001. An Introduction to Non-Classical Logic. Cambridge Univ. Press.

For an extended philosophical discussion of the issues mentioned in this article, see:

• Mark Sainsbury, 2001. Logical Forms. Blackwell Publishers.
• Jonathan Bennett, 2003. A Philosophical Guide to Conditionals. Oxford Univ. Press.

جستارهای وابسته

• شرطی اخباری
• شرطی مادی
• نتیجه منطقی