شرطی اکید
در منطق، یک شرطی اکید، یک شرطی است که تحت سیطره یک عملگر وجهی است؛ یعنی یک رابط منطقی از منطق موجهات. آنها از نظر منطقی، همارز با شرطی مادی از منطق کلاسیک هستند که با عملگر ضرورت از منطق موجهات ترکیب شده است. برای هر دو گزاره p و q، فرمول p → 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.
جستارهای وابسته
منابع
- ↑ Graham Priest, An Introduction to Non-Classical Logic: From if to is, 2nd ed, Cambridge University Press, 2008, ISBN 0-521-85433-4, p. 72.
- ↑ Nicholas Bunnin and Jiyuan Yu (eds), The Blackwell Dictionary of Western Philosophy, Wiley, 2004, ISBN 1-4051-0679-4, "strict implication," p. 660.
- ↑ Jonathan L. Kvanvig, "Creation, Deliberation, and Molinism," in Destiny and Deliberation: Essays in Philosophical Theology, Oxford University Press, 2011, ISBN 0-19-969657-8, p. 127–136.