شرطی اکید

در منطق، یک شرطی اکید، یک شرطی است که تحت سیطره یک عملگر وجهی است؛ یعنی یک رابط منطقی از منطق موجهات. آنها از نظر منطقی، هم ارز با شرطی مادی از منطق کلاسیک هستند که با عملگر ضرورت از منطق موجهات ترکیب شده است. برای هر دو گزاره p و q، فرمول p → q می گوید که p به طور مادی نتیجه می دهد q را در حالی که ◻ ( p → q ) {\displaystyle \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:
For an extended philosophical discussion of the issues mentioned in this article, see: